Sciweavers

2674 search results - page 271 / 535
» On architecture transparency in operating systems
Sort
View
AAAI
2008
15 years 9 months ago
On-line Planning and Scheduling: An Application to Controlling Modular Printers
This paper summarizes recent work reported at ICAPS on applying artificial intelligence techniques to the control of production printing equipment. Like many other real-world appl...
Minh Binh Do, Wheeler Ruml, Rong Zhou
FROCOS
2007
Springer
16 years 28 days ago
Architecting Solvers for SAT Modulo Theories: Nelson-Oppen with DPLL
We offer a transition system representing a high-level but detailed architecture for SMT solvers that combine a propositional SAT engine with solvers for multiple disjoint theorie...
Sava Krstic, Amit Goel
CAMP
2005
IEEE
16 years 11 days ago
An Intelligent and Task-Independent Controller for Video Sequence Analysis
—This paper describes a task-independent controller that allows for an easy implementation of vision systems for processing video sequences. The controller does not have a fixed ...
José Bins, Thor List, Robert B. Fisher, Dav...
JCDL
2005
ACM
101views Education» more  JCDL 2005»
16 years 9 days ago
Grid-based digital libraries: cheshire3 and distributed retrieval
The University of California, Berkeley and the University of Liverpool are developing a Information Retrieval and Digital Library system (Cheshire3) that operates in both singlepr...
Ray R. Larson, Robert Sanderson
DAC
2001
ACM
16 years 7 months ago
Hardware/Software Instruction Set Configurability for System-on-Chip Processors
New application-focused system-on-chip platforms motivate new application-specific processors. Configurable and extensible processor architectures offer the efficiency of tuned lo...
Albert Wang, Earl Killian, Dror E. Maydan, Chris R...