2520 search results - page 430 / 504 » Model-checking behavioral programs |
107
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
As bioinformatics is an emerging application of high performance computing, this paper first evaluates the memory performance of several representative bioinformatics application...
106
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Dynamically allocating computing nodes to parallel applications is a promising technique for improving the utilization of cluster resources. We introduce the concept of dynamic ef...
111
click to vote
ISPASS
2006
IEEE
15 years 8 months ago
2006
IEEE
Detailed microarchitectural simulators are not well suited for exploring large design spaces due to their excessive simulation times. We introduce AXCIS, a framework for fast and ...
105
click to vote
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
One of the fundamental decisions in content networks is how the information about the existing contents is deployed and accessed. In particular, in many content network architectu...
123
click to vote
RTCSA
2006
IEEE
15 years 8 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...