380 search results - page 57 / 76 » A Case Study on Partial Evaluation in Embedded Software Desi... |
151
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
158
Voted
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
Power consumption is an important design parameter for embedded and portable systems. Software-controlled (or dynamic) power management (DPM) has recently emerged as an attractive...
146
click to vote
CODES
2006
IEEE
15 years 11 months ago
2006
IEEE
Time-critical multi-processor systems require guaranteed services in terms of throughput, bandwidth etc. in order to comply to hard real-time constraints. However, guaranteedservi...
146
click to vote
HICSS
2007
IEEE
15 years 12 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
164
Voted
EMSOFT
2005
Springer
15 years 11 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...