452 search results - page 84 / 91 » Symbolic Execution of Behavioral Requirements |
ICRA
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract— Hitting and batting tasks, such as tennis forehands, ping-pong strokes, or baseball batting, depend on predictions where the ball can be intercepted and how it can prop...
124
click to vote
MIDDLEWARE
2010
Springer
14 years 9 months ago
2010
Springer
Enterprise distributed real-time and embedded (DRE) publish/subscribe (pub/sub) systems manage resources and data that are vital to users. Cloud computing—where computing resourc...
120
click to vote
PLDI
2012
ACM
13 years 1 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
WWW
2007
ACM
15 years 11 months ago
2007
ACM
The development of user interfaces (UIs) is one of the most timeconsuming aspects in software development. In this context, the lack of proper reuse mechanisms for UIs is increasi...
PPOPP
2009
ACM
15 years 11 months ago
2009
ACM
Message Passing Interface (MPI) is a widely used standard for managing coarse-grained concurrency on distributed computers. Debugging parallel MPI applications, however, has alway...