12981 search results - page 2379 / 2597 » Model Checking (Abstract) |
141
click to vote
EUROPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Performance of the on-chip cache is critical for processor. The multithread program model usually employed by on-chip many-core architectures may have effects on cache ac...
201
click to vote
FC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The dawning Ubiquitous Computing age demands a new attacker model for the myriads of pervasive computing devices used: since a potentially malicious user is in full contr...
138
click to vote
FMICS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
144
click to vote
FSKD
2010
Springer
15 years 5 months ago
2010
Springer
Abstract--Worldwide health scientists are producing, accessing, analyzing, integrating, and storing massive amounts of digital medical data daily, through observation, experimentat...
154
click to vote
GG
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence ...