6274 search results - page 739 / 1255 » Proofs, Programs, Processes |
162
click to vote
ICCD
2008
IEEE
16 years 4 months ago
2008
IEEE
— Increasing sizes of benchmarks make detailed simulation an extremely time consuming process. Statistical techniques such as the SimPoint methodology have been proposed in order...
217
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
— In this study we introduce NetBench, a benchmarking suite for network processors. NetBench contains a total of 9 applications that are representative of commercial applications...
171
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper describes the design and implementation of a lightweight static security analyzer that exploits the compilation process of the gcc compiler. The tool is aimed at giving...
282
click to vote
ESCIENCE
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present the design of Aneka, a .NET based service-oriented platform for desktop grid computing that provides: (i) a configurable service container hosting plugga...
191
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...