495 search results - page 5 / 99 » A Compiler for the Smart Space |
ICDCSW
2003
IEEE
14 years 3 months ago
2003
IEEE
We developed Smart Furniture, which extemporaneously converts the legacy non-smart space into a Smart Hot-spot which consists of computational services. Since the Smart Furniture ...
JNW
2008
13 years 9 months ago
2008
Service personalization is an important goal for any smart environment. Comfort systems may be adjusted in an automatic way when a given user is present, and multimedia devices may...
LPAR
2012
Springer
12 years 5 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
AINA
2007
IEEE
14 years 4 months ago
2007
IEEE
A new system named Home-Explorer is proposed to search and localize physical artifacts in smart indoor environment. Our view is object-centered and sensors are attached to several...
CGO
2003
IEEE
14 years 3 months ago
2003
IEEE
To meet the performance demands of modern architectures, compilers incorporate an everincreasing number of aggressive code transformations. Since most of these transformations are...