3911 search results - page 714 / 783 » Using Operational Architecture to Model Embedded Software |
136
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
With ever-increasing power density and cooling costs in modern high-performance systems, dynamic thermal management (DTM) has emerged as an effective technique for guaranteeing th...
141
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
The efficient mapping of program parallelism to multi-core processors is highly dependent on the underlying architecture. This paper proposes a portable and automatic compiler-bas...
119
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
—A new lightweight planar parallel platform aims to greatly improve operational speed of electronic manufacturing process and to realize a “smart parallel platform” through t...
138
Voted
ESORICS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The goal of Steganographic File Systems (SFSs) is to protect users from coercion attacks by providing plausible deniability on the existence of hidden files. We consider ...
125
Voted
IFM
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...