20175 search results - page 136 / 4035 » Is abstraction the key to computing |
CAV
2007
Springer
15 years 7 months ago
2007
Springer
lued Abstraction for Continuous-Time Markov Chains⋆ Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 RWTH Aachen University1 , TU Munich2 , University of...
133
Voted
FMCAD
2008
Springer
15 years 2 months ago
2008
Springer
el Sequential Memory Abstraction for Model Checking Per Bjesse Advanced Technology Group Synopsys Inc. Many designs intermingle large memories with wide data paths and nontrivial c...
101
Voted
TOSEM
2002
15 years 12 days ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
DAC
1996
ACM
15 years 5 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
119
click to vote
ACIVS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Being aware of other vehicles on the road ahead is a key information to help driver assistance systems to increase driver's safety. This paper addresses this problem...