1081 search results - page 193 / 217 » CODES: An Integrated Approach to Composable Modeling and Sim... |
ASPDAC
2006
ACM
13 years 11 months ago
2006
ACM
The verification of modern computing systems has grown to dominate the cost of system design, often with limited success as designs continue to be released with latent bugs. This t...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedula...
ADHOC
2010
13 years 7 months ago
2010
In this paper, we investigate the reliable data transport problem in underwater sensor networks. Underwater sensor networks are significantly different from terrestrial sensor net...
CP
2001
Springer
14 years 2 days ago
2001
Springer
Instruction scheduling is one of the most important steps for improving the performance of object code produced by a compiler. The local instruction scheduling problem is to nd a m...