Sciweavers

9842 search results - page 393 / 1969
» Compositional timing analysis
Sort
View
WSC
2004
15 years 7 months ago
Variance-Based Sampling for Cycle Time - Throughput Confidence Intervals
In the analysis of a manufacturing system, the analyst is often interested in the change in mean cycle time as a function of different throughput (start rate) levels. Since the va...
Rachel T. Johnson, Sonia E. Leach, John W. Fowler,...
RTS
2008
131views more  RTS 2008»
15 years 5 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
ICASSP
2010
IEEE
15 years 4 months ago
Learning from other subjects helps reducing Brain-Computer Interface calibration time
A major limitation of Brain-Computer Interfaces (BCI) is their long calibration time, as much data from the user must be collected in order to tune the BCI for this target user. I...
Fabien Lotte, Cuntai Guan

Publication
166views
17 years 4 months ago
Mapping Accessibility Over Time
This study compares the changes in levels of accessibility over time in the Minneapolis - St. Paul region using two different modes (car and public transport). The importance of ...
A. M. El-Geneidy, D. M. Levinson
GLOBECOM
2008
IEEE
16 years 14 days ago
Terabit Ethernet: A Time-Space Carrier Sense Multiple Access Method
To achieve Terabit and Petabit switching, both time (high transmission speed) and space (multi-stage interconnection network) technologies are required. We propose an Ethernet for...
Joseph Y. Hui, David A. Daniel