47 search results - page 2 / 10 » spin 2004 |
SPIN
2004
Springer
13 years 10 months ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
COMBINATORICS
2004
13 years 4 months ago
2004
A construction supporting a conjecture that different ground state pairs exist in the 2-dimensional Edwards-Anderson Ising spin glass is presented.
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. In this paper we present a technique for the Spin tool, inspired by practical experiences with Spin and a FireWire protocol. We show how to guide simulations with Spin, b...
PKDD
2004
Springer
13 years 10 months ago
2004
Springer
CORR
2004
Springer
13 years 4 months ago
2004
Springer
