2838 search results - page 488 / 568 » Verifying Controlled Components |
SIGGRAPH
2000
ACM
14 years 1 months ago
2000
ACM
A surface light field is a function that assigns a color to each ray originating on a surface. Surface light fields are well suited to constructing virtual images of shiny objec...
ECOOP
2000
Springer
14 years 1 months ago
2000
Springer
Modern software must evolve in response to changing conditions. In the most widely used programming environments, code is static and cannot change at runtime. This poses problems ...
ITNG
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract--If we are to deploy sensor applications in a realistic business context, we must provide innovative middleware services to control and enforce required system behavior; i...
CODES
1999
IEEE
14 years 1 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...
ISLPED
1999
ACM
14 years 1 months ago
1999
ACM
-- The goal of a dynamic power management policy is to reduce the power consumption of an electronic system by putting system components into different states, each representing ce...