9110 search results - page 1462 / 1822 » Formally-Based Design Evaluation |
153
click to vote
DAC
2010
ACM
15 years 7 months ago
2010
ACM
We present RAMP Gold, an economical FPGA-based architecture simulator that allows rapid early design-space exploration of manycore systems. The RAMP Gold prototype is a high-throu...
156
click to vote
JCDL
2010
ACM
15 years 7 months ago
2010
ACM
Access to data crucial to research is often slow and difficult. When research problems cross disciplinary boundaries, problems are exacerbated. This paper argues that it is import...
237
click to vote
JTRES
2010
ACM
15 years 7 months ago
2010
ACM
We present oSCJ, an implementation of the draft of Safety Critical Java (SCJ) specification. SCJ is designed to make Java amenable to writing mission- and safety-critical software...
182
click to vote
RECSYS
2010
ACM
15 years 7 months ago
2010
ACM
An increasing number of social networking platforms are giving users the option to endorse entities that they find appealing, such as videos, photos, or even other users. We defin...
161
click to vote
SIGCOMM
2010
ACM
15 years 7 months ago
2010
ACM
The basic building block of ever larger data centers has shifted from a rack to a modular container with hundreds or even thousands of servers. Delivering scalable bandwidth among...