Sciweavers

7040 search results - page 954 / 1408
» The Single Model Principle
Sort
View
SIGOPSE
2000
ACM
15 years 11 months ago
Gaia: enabling active spaces
Ubiquitous computing promotes physical spaces with hundreds of specialized embedded devices that increase our productivity, alleviate some specific everyday tasks and provide new ...
Manuel Román, Roy H. Campbell
234
Voted
ADL
2000
Springer
284views Digital Library» more  ADL 2000»
15 years 11 months ago
A Boolean Query Processing with a Result Cache in Mediator Systems
A mediator system is a kind of a meta-search engine that provides a seamlessly integrated search service for diverse search engines (collections). Since collections of a mediator ...
Jae-Heon Cheong, Sang-goo Lee
ASPDAC
1999
ACM
98views Hardware» more  ASPDAC 1999»
15 years 11 months ago
Generation of Interpretive and Compiled Instruction Set Simulators
Abstract Due to the large variety of di erent embedded processor types, retargetable software development tools, such as compilers and simulators, have received attention recently....
Rainer Leupers, Johann Elste, Birger Landwehr
POPL
1999
ACM
15 years 11 months ago
A Core Calculus of Dependency
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
Martín Abadi, Anindya Banerjee, Nevin Heint...
HOTOS
1999
IEEE
15 years 11 months ago
Hey, You Got Your Compiler in My Operating System!
Several operating systems projects revolve around moving functionality above or below the kernel "red line" to increase flexibility or performance. We describe how a gen...
Jon Howell, Mark H. Montague