Sciweavers

7527 search results - page 362 / 1506
» Design and implementation of the KioskNet system
Sort
View
DAC
2004
ACM
16 years 7 months ago
Circuit-aware architectural simulation
Architectural simulation has achieved a prominent role in the system design cycle by providing designers the ability to quickly examine a wide variety of design choices. However, ...
Seokwoo Lee, Shidhartha Das, Valeria Bertacco, Tod...
CADE
2008
Springer
16 years 7 months ago
MaLARea SG1- Machine Learner for Automated Reasoning with Semantic Guidance
This paper describes a system combining model-based and learning-based methods for automated reasoning in large theories, i.e. on a large number of problems that use many axioms, l...
Geoff Sutcliffe, Jirí Vyskocil, Josef Urban...
ACSD
2005
IEEE
90views Hardware» more  ACSD 2005»
16 years 11 days ago
Extensible and Scalable Time Triggered Scheduling
The objective of this paper is to present how to design a system that can accommodate additional functionality with either no changes to the design or adding architectural modules...
Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanaja...
VISAPP
2007
15 years 7 months ago
High performance realtime vision for mobile robots on the GPU
We present a real time vision system designed for and implemented
Christian Folkers, Wolfgang Ertel
ASPLOS
2006
ACM
16 years 21 days ago
Geiger: monitoring the buffer cache in a virtual machine environment
Virtualization is increasingly being used to address server management and administration issues like flexible resource allocation, service isolation and workload migration. In a...
Stephen T. Jones, Andrea C. Arpaci-Dusseau, Remzi ...