7766 search results - page 317 / 1554 » Testing Nondeterminate Systems |
167
click to vote
ICES
2005
Springer
16 years 6 days ago
2005
Springer
This paper describes circuit evolutionary experiments at extreme low temperatures, including the test of all system components at this extreme environment (EE). In addition to hard...
188
click to vote
GECCO
2005
Springer
16 years 4 days ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
168
click to vote
ICCD
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes a novel communication scheme, which is guaranteed to be free of synchronization failures, amongst multiple synchronous modules operating independently. In thi...
154
click to vote
VLDB
1995
ACM
15 years 10 months ago
1995
ACM
: This paper defines a framework for explaining redo recovery after a system crash. In this framework, an installation graph explains the order in which operations must be install...
169
click to vote
EDM
2010
15 years 8 months ago
2010
Functional magnetic resonance imaging (fMRI) data were collected while students worked with a tutoring system that taught an algebra isomorph. A cognitive model predicted the distr...