12333 search results - page 2210 / 2467 » System Level Modelling for Hardware Software Systems |
144
click to vote
CAV
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. In using the logic of equality with unininterpreted functions to verify hardware systems, specific characteristics of the formula describing the correctness condition ca...
144
click to vote
CHI
2009
ACM
16 years 5 months ago
2009
ACM
Contemporary work increasingly involves interacting with strangers in technology-mediated environments. In this context, we come to rely on digital artifacts to infer characterist...
150
click to vote
ARCS
2009
Springer
15 years 11 months ago
2009
Springer
The disparity between microprocessor clock frequencies and memory latency is a primary reason why many demanding applications run well below peak achievable performance. Software c...
138
click to vote
IPCCC
2006
IEEE
15 years 10 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
156
click to vote
SCOPES
2004
Springer
15 years 10 months ago
2004
Springer
For mobile embedded systems, the energy consumption is a limiting factor because of today’s battery capacities. Besides the processor, memory accesses consume a high amount of en...