Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
10,706
The model checker SPIN.
- IEEE Trans. on Software Eng.
, 1997
"... Abstract-SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design errors in applications ranging from high-level descriptions of distributed algorithms to detailed code for controlling telephone exchanges. This paper gives an overview of ..."
Abstract
-
Cited by 1516 (26 self)
- Add to MetaCart
Abstract-SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design errors in applications ranging from high-level descriptions of distributed algorithms to detailed code for controlling telephone exchanges. This paper gives an overview
Spin Systems
, 1999
"... The occurrence of mesoscopic fluctuations in statistical systems implies, from the point of view of dynamical theory, the existence of local instabilities. However, the presence of such fluctuations can make a system, as a whole, more stable from the thermodynamic point of view. Thus, in many cases, ..."
Abstract
- Add to MetaCart
The occurrence of mesoscopic fluctuations in statistical systems implies, from the point of view of dynamical theory, the existence of local instabilities. However, the presence of such fluctuations can make a system, as a whole, more stable from the thermodynamic point of view. Thus, in many cases
Extensibility, safety and performance in the SPIN operating system
, 1995
"... This paper describes the motivation, architecture and performance of SPIN, an extensible operating system. SPIN provides an extension infrastructure, together with a core set of extensible services, that allow applications to safely change the operating system's interface and implementation. Ex ..."
Abstract
-
Cited by 458 (16 self)
- Add to MetaCart
This paper describes the motivation, architecture and performance of SPIN, an extensible operating system. SPIN provides an extension infrastructure, together with a core set of extensible services, that allow applications to safely change the operating system's interface and implementation
Using spin images for efficient object recognition in cluttered 3D scenes
- IEEE Transactions on Pattern Analysis and Machine Intelligence
, 1999
"... We present a 3-D shape-based object recognition system for simultaneous recognition of multiple objects in scenes containing clutter and occlusion. Recognition is based on matching surfaces by matching points using the spin-image representation. The spin-image is a data level shape descriptor that i ..."
Abstract
-
Cited by 582 (9 self)
- Add to MetaCart
We present a 3-D shape-based object recognition system for simultaneous recognition of multiple objects in scenes containing clutter and occlusion. Recognition is based on matching surfaces by matching points using the spin-image representation. The spin-image is a data level shape descriptor
Quantum Spin Systems 1
, 2004
"... The theory of quantum spin systems is concerned with properties of quantum systems with an infinite number of degrees of freedom that each ..."
Abstract
- Add to MetaCart
The theory of quantum spin systems is concerned with properties of quantum systems with an infinite number of degrees of freedom that each
Supersymmetry and spin systems
- J. Phys. A
, 1976
"... Abstract. It is shown that supersymmetry may be applied to spin systems. A simple algebra is proposed and various examples are discussed. It is argued that certain correlation functions must vanish on account of supersymmetry. 1. ..."
Abstract
-
Cited by 15 (0 self)
- Add to MetaCart
Abstract. It is shown that supersymmetry may be applied to spin systems. A simple algebra is proposed and various examples are discussed. It is argued that certain correlation functions must vanish on account of supersymmetry. 1.
Decoherence in quantum spin systems
, 2008
"... Abstract. Computer simulations of decoherence in quantum spin systems require the solution of the time-dependent Schrödinger equation for interacting quantum spin systems over extended periods of time. We use exact diagonalization, the Chebyshev polynomial technique, four Suzuki-formula algorithms, ..."
Abstract
- Add to MetaCart
Abstract. Computer simulations of decoherence in quantum spin systems require the solution of the time-dependent Schrödinger equation for interacting quantum spin systems over extended periods of time. We use exact diagonalization, the Chebyshev polynomial technique, four Suzuki-formula algorithms
Geometrical string and spin systems
, 1993
"... We formulate the geometrical string which has been proposed in the articles [1, 2, 3] on the euclidean lattice. It is possible to find such spin systems with local interaction which reproduce the same surface dynamics. In the three-dimensional case this spin system is a usual Ising ferromagnet with ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
We formulate the geometrical string which has been proposed in the articles [1, 2, 3] on the euclidean lattice. It is possible to find such spin systems with local interaction which reproduce the same surface dynamics. In the three-dimensional case this spin system is a usual Ising ferromagnet
Results 1 - 10
of
10,706
