Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Numerical Study and Ex Vivo Assessment of HIFU Treatment Time Reduction through Optimization of Focal Point Trajectory

Subjects: optimization; HIFU; ultrasound surgeryLas Vegas; United States

  • Source: The 14th International Symposium on Therapeutic Ultrasound (ISTU) ; https://centralesupelec.hal.science/hal-01272364 ; The 14th International Symposium on Therapeutic Ultrasound (ISTU), Apr 2014, Las

تفاصيل العنوان

×
Conference

First experimental demonstration of real-time orchestration in a Multi-head metro network

Subjects: time-domain wavelength interleaved networking; burst switching; centralised control planeGraz; Austria

  • Source: IEEE Xplore Digital Library ; 16th International Conference on Transparent Optical Networks (ICTON 2014) ; https://hal.science/hal-01084900 ; 16th International Conference on Transparent Optical

تفاصيل العنوان

×
Conference

System-level Non-interference for Constant-time Cryptography

Subjects: Coq; constant-time cryp-tography; stealth memoryScottsdale; United States

  • Source: ACM SIGSAC Conference on Computer and Communications Security, CCS'14 ; https://inria.hal.science/hal-01101950 ; ACM SIGSAC Conference on Computer and Communications Security, CCS'14, Nov 2014,

تفاصيل العنوان

×
Conference

The quantitative linear-time–branching-time spectrum

Subjects: Quantitative verification; System distance; Distance hierarchyMumbai; India

  • Source: FSTTCS - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science ; https://inria.hal.science/hal-01088038 ; FSTTCS - IARCS Annual Conference on Foundations of

تفاصيل العنوان

×
Conference

Interactive Horizon Graphs: Improving the Compact Visualization of Multiple Time Series

Subjects: Visualization; Horizon Graphs; Time SeriesParis; France

  • Source: Proceedings of the 2013 Annual Conference on Human Factors in Computing Systems (CHI 2013) ; https://inria.hal.science/hal-00781390 ; Proceedings of the 2013 Annual Conference on Human Factors in

تفاصيل العنوان

×
Conference

1d-SAX: A Novel Symbolic Representation for Time Series

Subjects: SAX; time series retrieval; [SHS.INFO]Humanities and Social Sciences/Library and information sciences

  • Source: Advances in Intelligent Data Analysis ; International Symposium on Intelligent Data Analysis ; https://shs.hal.science/halshs-00912512 ; International Symposium on Intelligent Data Analysis, 2013,

تفاصيل العنوان

×
Conference

A unifying view of loosely time-triggered architectures

Subjects: Modeling of computer architecture; Time-Triggered Architecture; Elastic CircuitsScottsdale; Arizona; United States

  • Source: EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software ; https://inria.hal.science/hal-01583734 ; EMSOFT '10 Proceedings of the tenth ACM international conference on

تفاصيل العنوان

×
  • 1-10 ل  2,328 نتائج ل ""Time""