Sciweavers

4616 search results - page 326 / 924
» Extreme Components Analysis
Sort
View
ICCAD
2001
IEEE
84views Hardware» more  ICCAD 2001»
16 years 1 months ago
Stars in VCC: Complementing Simulation with Worst-Case Analysis
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
Felice Balarin
TPHOL
2009
IEEE
15 years 11 months ago
Formal Analysis of Optical Waveguides in HOL
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...
Osman Hasan, Sanaz Khan Afshar, Sofiène Tah...
ICASSP
2008
IEEE
15 years 11 months ago
Mutual information based relevance network analysis: a Parkinson'S disease study
Monitoring the dynamics of networks in the brain is of central importance in normal and disease states. Current methods of detecting networks in the recorded EEG such as correlati...
Pamela Wen-Hsin Lee, Z. Jane Wang, Martin J. McKeo...
CODES
2007
IEEE
15 years 11 months ago
Complex task activation schemes in system level performance analysis
The design and analysis of today’s complex real-time systems requires advanced methods. Due to ever growing functionality, hardware complexity and component interaction, applyin...
Wolfgang Haid, Lothar Thiele
109
Voted
ICRA
2007
IEEE
127views Robotics» more  ICRA 2007»
15 years 11 months ago
A Comparative Dependability Analysis of Antagonistic Actuation Arrangements for Enhanced Robotic Safety
Abstract— In this paper we introduce an analysis of dependability of an elementary yet critical component of robotic systems designed to operate in environments shared with human...
Roberto Filippini, Soumen Sen, Giovanni Tonietti, ...