440 search results - page 79 / 88 » Local reasoning for abstraction and sharing |
224
click to vote
HPDC
2012
IEEE
13 years 9 months ago
2012
IEEE
Hadoop has become a critical component in today’s cloud environment. Ensuring good performance for Hadoop is paramount for the wide-range of applications built on top of it. In ...
201
click to vote
CODES
2006
IEEE
16 years 20 days ago
2006
IEEE
Predicting timing behavior is key to efficient embedded real-time system design and verification. Especially memory accesses and co-processor calls over shared communication net...
190
click to vote
IEEESCC
2005
IEEE
16 years 6 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...
224
click to vote
CONCUR
2005
Springer
16 years 4 days ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
176
click to vote
DLOG
2009
15 years 4 months ago
2009
Abstract. GridTest is a framework for testing automated theorem provers using randomly generated formulas. It can be used to run tests locally, in a single computer, or in a comput...