2520 search results - page 129 / 504 » Model-checking behavioral programs |
126
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
In many scientific domains, researchers are turning to large-scale behavioral simulations to better understand real-world phenomena. While there has been a great deal of work on s...
103
click to vote
ASPLOS
2010
ACM
15 years 7 months ago
2010
ACM
Temperature is a dominant factor in the performance, reliability, and leakage power consumption of modern processors. As a result, increasing numbers of researchers evaluate therm...
112
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
Many threats that plague today’s networks (e.g., phishing, botnets, denial of service attacks) are enabled by a complex ecosystem of attack programs commonly called malware. To ...
102
click to vote
DATE
2003
IEEE
15 years 6 months ago
2003
IEEE
The widening gap between processor and memory speeds renders data locality optimization a very important issue in data-intensive embedded applications. Throughout the years hardwa...
124
click to vote
SC
1995
ACM
15 years 4 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...