15614 search results - page 109 / 3123 » The State of State |
112
click to vote
ICRA
2005
IEEE
15 years 6 months ago
2005
IEEE
— In this paper a novel formalism to characterize contact states between an articulated polyhedral object and a polyhedral environment for the generation of the graph of feasible...
86
Voted
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
Searching the state space of a system using enumerative and on-the-fly depth-first traversal is an established technique for model checking finite-state systems. In this paper, ...
98
Voted
ICALP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
74
Voted
TOOLS
1999
IEEE
15 years 5 months ago
1999
IEEE
Object State and Version Recovery in N-Version Programming Alexander Romanovsky
84
Voted
VMV
2004
15 years 2 months ago
2004
A limiting factor in the performance of a rendering system is the number of state changes, i.e., changes of the attributes material, texture, shader program, etc., in the stream o...