2520 search results - page 358 / 504 » Model-checking behavioral programs |
102
click to vote
ANSS
2004
IEEE
15 years 6 months ago
2004
IEEE
To enable optimizations in memory access behavior of high performance applications, cache monitoring is a crucial process. Simulation of cache hardware is needed in order to allow...
113
click to vote
CGO
2006
IEEE
15 years 5 months ago
2006
IEEE
Static compilers use profiling to predict run-time program behavior. Generally, this requires multiple input sets to capture wide variations in run-time behavior. This is expensiv...
123
click to vote
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
During System on Chip (SoC) design, Network on Chip (NoC) prototyping is used for adapting NoC parameters to the application running on the chip. This prototyping is currently don...
109
Voted
FM
2006
Springer
15 years 5 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
131
click to vote
HPDC
2000
IEEE
15 years 5 months ago
2000
IEEE
Increased platform heterogeneity and varying resource availability in distributed systems motivates the design of resource-aware applications, which ensure a desired performance l...