13306 search results - page 2314 / 2662 » Theoretical Computer Science |
184
click to vote
ASAP
2009
IEEE
16 years 4 months ago
2009
IEEE
—This paper describes the acceleration of virtual ecology models using field-programmable gate arrays (FPGAs). Our approach targets models generated by the Virtual Ecology Workb...
195
click to vote
ASAP
2009
IEEE
16 years 4 months ago
2009
IEEE
The advent of the mobile age has heavily changed the requirements of today’s communication devices. Data transmission over interference-prone wireless channels requires addition...
214
click to vote
EUROSYS
2010
ACM
16 years 4 months ago
2010
ACM
Deployment of SSDs in enterprise settings is limited by the low erase cycles available on commodity devices. Redundancy solutions such as RAID can potentially be used to protect a...
191
click to vote
TACAS
2010
Springer
16 years 2 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
199
click to vote
HYBRID
2010
Springer
16 years 2 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...