444 search results - page 16 / 89 » Sensitive state-space exploration |
ICSE
2008
IEEE-ACM
16 years 18 days ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
ICRA
2002
IEEE
15 years 4 months ago
2002
IEEE
Trajectory design for high-dimensional systems with nonconvex constraints is a challenging problem considered in this paper. Classical dynamic programming is often employed, but c...
SPIN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The most expensive operation in explicit state model checking is the hash computation required to store the explored states in a hash table. One way to reduce this comput...
103
click to vote
VLSID
2002
IEEE
16 years 5 days ago
2002
IEEE
The paper presents two new approaches to multiobjective design space exploration for parametric VLSI systems. Both considerably reduce the number of simulations needed to determin...
103
click to vote
NSDI
2004
15 years 1 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....