5639 search results - page 490 / 1128 » Timed Abstract Non-interference |
127
click to vote
PERVASIVE
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We show that accelerometers embedded in a television remote control can be used to distinguish household members based on the unique way each person wields the remote. Th...
128
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
123
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
128
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—Advances in chip-multiprocessor processing capabilities has led to an increased power consumption and temperature hotspots. Maintaining the on-chip temperature is import...
144
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper presents a tool for exploring different parallelization options for an application. It can be used to quickly find a high-quality match between an application and a ...