297 search results - page 27 / 60 » Extending the VoDKA architecture to improve resource modelli... |
ISPASS
2006
IEEE
14 years 3 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
DAC
2006
ACM
14 years 10 months ago
2006
ACM
In this paper, we present a method that helps improve the performance of Bounded Model Checking by automatically strengthening invariants so that the termination proof may be obta...
FPL
2007
Springer
14 years 3 months ago
2007
Springer
This paper presents a novel architecture for domain-specific FPGA devices. This architecture can be optimised for both speed and density by exploiting domain-specific informatio...
WSC
2004
13 years 10 months ago
2004
The Virtual Range (VR) is an environment that integrates in a seamless fashion several models to improve complex systems visualization. A complex system is a non-linear system of ...
GLOBECOM
2006
IEEE
14 years 3 months ago
2006
IEEE
— A collection of Grid computing resources interconnected by an application-configurable network of lightpaths is called a LambdaGrid. It provides data-intensive applications wit...