2811 search results - page 145 / 563 » Real-Time Component-Based Systems |
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
We present uniform approaches to establish complexity bounds for decision problems such as reachability and simulation, that arise naturally in the verification of timed software s...
ICONS
2009
IEEE
14 years 4 months ago
2009
IEEE
The power saving is one of the important issue in the embedded systems. To reduce the consumption of the microprocessor of such a system, a way is to power down it when it is inac...
ARC
2010
Springer
14 years 4 months ago
2010
Springer
This paper presents the design and FPGA-implementation of a sampler that is suited for sampling real-time events in embedded systems. Such sampling is useful, for example, to test ...
ICEIS
2008
IEEE
14 years 4 months ago
2008
IEEE
HICSS
2007
IEEE
14 years 4 months ago
2007
IEEE
