453 search results - page 79 / 91 » Using Symbolic Simulation for Bounded Property Checking |
TIME
2006
IEEE
14 years 3 months ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
AMAI
2004
Springer
13 years 9 months ago
2004
Springer
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
—While there has been much progress in designing backpressure based stabilizing algorithms for multihop wireless networks, end-to-end performance (e.g., end-to-end buffer usage) ...
CHI
2010
ACM
14 years 4 months ago
2010
ACM
In this paper, we present gBook, a prototype for a new style of e-Book reader that uses flexible inputs and page orientation to simulate the properties of reading a bound printed ...
ICRA
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents an algorithm, called PCG, for planning the foothold positions of spider-like robots in planar tunnels bounded by piecewise linear walls. The paper focuses on 3-...