225 search results - page 2 / 45 » State Exploration with Multiple State Groupings |
FM
2005
Springer
13 years 11 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
ICPP
1993
IEEE
13 years 9 months ago
1993
IEEE
Abstract — In MIMD (Multiple Instruction stream, Multiple Data stream) execution, each processor has its own state. Although these states are generally considered to be independe...
IJMMS
1998
13 years 5 months ago
1998
controls, recoverability, and how strictly views should be shared between students. Teachers can also add structure to the group’s activities by setting the simulation environmen...
VTC
2006
IEEE
13 years 11 months ago
2006
IEEE
— In this paper, we compare two selective-repeat automatic-repeat-request (SR-ARQ) protocols for spatial multiplexing multiple-input multiple-output (MIMO) orthogonal frequency-d...
CAV
1992
Springer
13 years 9 months ago
1992
Springer
State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storin...