47 search results - page 2 / 10 » spin 2004 |
130
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
116
click to vote
COMBINATORICS
2004
15 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.
121
click to vote
ICFEM
2004
Springer
15 years 9 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...
CORR
2004
Springer
15 years 4 months ago
2004
Springer
