520 search results - page 54 / 104 » Playing to Retain the Advantage |
VMCAI
2007
Springer
14 years 3 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
ISLPED
2006
ACM
14 years 3 months ago
2006
ACM
This paper presents an energy-conservation method for multiple disks and their cache memory. Our method periodically resizes the cache memory and controls the rotation speeds unde...
SMA
2005
ACM
14 years 2 months ago
2005
ACM
Numerous simplification methods have been proposed for speeding up engineering analysis/ simulation. A recently proposed medial axis reduction is one such method, that is particul...
SARA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This article introduces a technique for improving the efficiency of diagnosis through approximate compilation. We extend the approach of compiling a diagnostic model, as...
UML
2005
Springer
14 years 2 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...