17082 search results - page 270 / 3417 » Abstractions for Mobile Computation |
116
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
ion Refinement by Controllability and Cooperativeness Analysis Freddy Y.C. Mang and Pei-Hsin Ho Advanced Technology Group, Synopsys, Inc. {fmang, pho}@synopsys.com nt a new abstrac...
141
click to vote
CAV
2006
Springer
15 years 7 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
156
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
rexample Guided Abstraction-Refinement Framework for Markov Decision Processes ROHIT CHADHA and MAHESH VISWANATHAN Dept. of Computer Science, University of Illinois at Urbana-Champ...
129
click to vote
ACMIDC
2010
15 years 8 months ago
2010
This paper discusses design iterations of Mobile Stories – a mobile technology that empowers children to collaboratively read and create stories. We present the design and discu...
124
Voted
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Window Abstraction for Infinite Markov Chains Thomas A. Henzinger1 , Maria Mateescu1 , and Verena Wolf1,2 1 EPFL, Switzerland 2 Saarland University, Germany Abstract. We present an...