11172 search results - page 2013 / 2235 » Testing Physical Systems |
184
click to vote
DSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
171
click to vote
DSRT
2004
IEEE
15 years 10 months ago
2004
IEEE
State-of-the-art Massively Multiplayer Games such as EverQuest and Ultima Online are currently implemented as client-server systems. Although this approach allows the development ...
158
click to vote
CIARP
2006
Springer
15 years 10 months ago
2006
Springer
Error correcting output codes (ECOC) represent a successful extension of binary classifiers to address the multiclass problem. Lately, the ECOC framework was extended from the bina...
167
click to vote
CLEF
2006
Springer
15 years 10 months ago
2006
Springer
Having being proposed for the fourth time, the QA at CLEF track has confirmed a still raising interest from the research community, recording a constant increase both in the numbe...
181
click to vote
FMCAD
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Probabilistic techniques for verification of finite-state transition systems offer huge memory savings over deterministic techniques. The two leading probabilistic scheme...