Sciweavers

1701 search results - page 6 / 341
» Computer Science and State Machines
Sort
View
75
Voted
ICCS
2004
Springer
15 years 3 months ago
Evolutionary State Assignment for Synchronous Finite State Machines
: Synchronous finite state machines are very important for digital sequential designs. Among other important aspects, they represent a powerful way for synchronizing hardware comp...
Nadia Nedjah, Luiza de Macedo Mourelle
FECS
2006
141views Education» more  FECS 2006»
14 years 11 months ago
Continuous improvement of the Computer Science Undergraduate Program at CSULA
The Department of Computer Science at California State University, Los Angeles has established an assessment process to guide the continuous improvement of the undergraduate curri...
Russ Abbott, Vladimir Akis, Valentino Crespi, Huip...
SPIN
2005
Springer
15 years 3 months ago
Memory Efficient State Space Storage in Explicit Software Model Checking
Sami Evangelista, Jean-François Pradat-Peyr...