7040 search results - page 1001 / 1408 » The Single Model Principle |
152
click to vote
LCPC
1998
Springer
15 years 11 months ago
1998
Springer
Although SIMD (Single Instruction stream Multiple Data stream) parallel computers have existed for decades, it is only in the past few years that a new version of SIMD has evolved...
162
click to vote
SIGGRAPH
2010
ACM
15 years 10 months ago
2010
ACM
We introduce a new method for simulating frictional contact between volumetric objects using interpenetration volume constraints. When applied to complex geometries, our formulati...
194
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
The ability to locate promoters within a section of DNA is known to be a very difficult and very important task in DNA analysis. We document an approach that incorporates the conce...
178
click to vote
EUPROJECTS
2006
Springer
15 years 10 months ago
2006
Springer
The mobile user can interact with devices in the environment using either the devices themselves or a device she carries with her. This requires an adaption of the user interface t...
144
click to vote
FMICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...