9059 search results - page 1660 / 1812 » The design of eco-feedback technology |
ECOOP
2006
Springer
14 years 27 days ago
2006
Springer
Adaptive Programming (AP) allows for the separate definition of data structures and traversals with attached computations, performed during the traversal, that operate on these dat...
ESCIENCE
2006
IEEE
14 years 27 days ago
2006
IEEE
We view scientific workflows as the domain scientist's way to harness cyberinfrastructure for e-Science. Domain scientists are often interested in "end-to-end" fram...
ARVLSI
2001
IEEE
14 years 26 days ago
2001
IEEE
Control of adaptive optical elements for real-time wavefront phase distortion compensation is a rapidly growing field of research and technology development. Wavefront correction ...
CODES
2001
IEEE
14 years 26 days ago
2001
IEEE
Compiler technology is becoming a key component in the design of embedded systems, mostly due to increasing participation of software in the design process. Meeting system-level ob...
CAV
2000
Springer
14 years 25 days ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...