3281 search results - page 552 / 657 » An Approach to use Executable Models for Testing |
CORR
2008
Springer
13 years 8 months ago
2008
Springer
A new computer haptics algorithm to be used in general interactive manipulations of deformable virtual objects is presented. In multimodal interactive simulations, haptic feedback ...
EWSA
2004
Springer
14 years 2 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
ASPLOS
1996
ACM
14 years 1 months ago
1996
ACM
On a distributed memory machine, hand-coded message passing leads to the most efficient execution, but it is difficult to use. Parallelizing compilers can approach the performance...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
VISUALIZATION
1997
IEEE
14 years 1 months ago
1997
IEEE
Terrain visualization is a difficult problem for applications requiring accurate images of large datasets at high frame rates, such as flight simulation and ground-based aircraf...