5239 search results - page 138 / 1048 » Model-Integrated Embedded Systems |
DAC
1998
ACM
14 years 11 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
OSDI
2008
ACM
14 years 10 months ago
2008
ACM
We present Quanto, a network-wide time and energy profiler for embedded network devices. By combining well-defined interfaces for hardware power states, fast high-resolution energ...
DATE
2007
IEEE
14 years 4 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
DSN
2006
IEEE
14 years 4 months ago
2006
IEEE
Embedded control systems consist of multiple components with different criticality levels interacting with each other. For example, in a passenger jet, the navigation system inter...
EUC
2004
Springer
14 years 3 months ago
2004
Springer
Every computer needs a timer mechanism to keep track of current time and also for various accounting purposes such as calculating the time spent by a process in CPU utilization, di...