47 search results - page 2 / 10 » spin 2004 |
194
Voted
SPIN
2004
Springer
16 years 25 days ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
162
click to vote
COMBINATORICS
2004
15 years 7 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.
185
click to vote
ICFEM
2004
Springer
16 years 26 days 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...
162
Voted
PKDD
2004
Springer
16 years 25 days ago
2004
Springer
133
Voted
CORR
2004
Springer
15 years 7 months ago
2004
Springer
