1128 search results - page 131 / 226 » Little Engines of Proof |
119
Voted
CGO
2004
IEEE
15 years 4 months ago
2004
IEEE
Efficient inter-thread value communication is essential for improving performance in Thread-Level Speculation (TLS). Although several mechanisms for improving value communication ...
88
Voted
COMPSAC
2004
IEEE
15 years 4 months ago
2004
IEEE
The influence of architecture in assurance of system safety is being increasingly recognised in mission-critical software applications. Nevertheless, most architectural strategies...
EMSOFT
2004
Springer
15 years 4 months ago
2004
Springer
High-level programming languages offer significant expressivity but provide little or no guarantees about resource use. Resourcebounded languages -- such as hardware-description l...
131
Voted
EUROMICRO
2006
IEEE
15 years 4 months ago
2006
IEEE
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
100
click to vote
CODES
2001
IEEE
15 years 4 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...