Sciweavers

1511 search results - page 113 / 303
» Event Processing - past, present and future
Sort
View
ZUM
2000
Springer
107views Formal Methods» more  ZUM 2000»
15 years 8 months ago
How to Drive a B Machine
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
Helen Treharne, Steve Schneider
EMSOFT
2010
Springer
15 years 2 months ago
Power-aware temporal isolation with variable-bandwidth servers
Variable-bandwidth servers (VBS) control process execution speed by allocating variable CPU bandwidth to processes. VBS enables temporal isolation of EDF-scheduled processes in th...
Silviu S. Craciunas, Christoph M. Kirsch, Ana Soko...
SEKE
2009
Springer
15 years 11 months ago
Resource Allocation for a Modular Software System
Most existing software optimization research assumes advance knowledge of the component parameters. Perfect future knowledge of fault detection is an unnecessary oversimplificati...
Lance Fiondella, Swapna S. Gokhale
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
15 years 10 months ago
Accurate and scalable reliability analysis of logic circuits
Reliability of logic circuits is emerging as an important concern that may limit the benefits of continued scaling of process technology and the emergence of future technology al...
Mihir R. Choudhury, Kartik Mohanram
ACMDIS
2000
ACM
15 years 8 months ago
Augmented Reality as a Design Tool for Mobile Interfaces
This paper challenges user interface paradigms for mobile devices, by using the technical classification of augmented reality interfaces as a ‘thinking tool’ to develop ideas ...
Olav W. Bertelsen, Christina Nielsen