6010 search results - page 452 / 1202 » Computational Approaches to Drug Design |
196
Voted
DAC
2007
ACM
16 years 8 months ago
2007
ACM
The inherent limitations of embedded systems make them particularly vulnerable to attacks. We have developed a hardware monitor that operates in parallel to the embedded processor...
164
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
194
click to vote
DAC
2001
ACM
16 years 8 months ago
2001
ACM
Energy consumption has become an increasingly important consideration in designing many real-time embedded systems. Variable voltage processors, if used properly, can dramatically...
185
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
170
click to vote
APPT
2007
Springer
16 years 1 months ago
2007
Springer
The memory size limits the scalability of virtual machine systems. There have been some researches about sharing identical pages among guest systems to reduce memory usage. However...