Sciweavers

4539 search results - page 631 / 908
» Approaches to Compute Workflow Complexity
Sort
View
HAPTICS
2003
IEEE
15 years 12 months ago
Dynamic Local Models for Stable Multi-Contact Haptic Interaction with Deformable Objects
This paper describes a new technique for allowing multiple users to haptically interact with a set of deformable slowly-simulated objects in a stable manner. Stability has been ap...
Federico Barbagli, John Kenneth Salisbury Jr., Dom...
PG
2003
IEEE
15 years 12 months ago
High-Quality Point-Based Rendering on Modern GPUs
In the last years point-based rendering has been shown to offer the potential to outperform traditional triangle based rendering both in speed and visual quality when it comes to ...
Mario Botsch, Leif Kobbelt
WETICE
2003
IEEE
15 years 12 months ago
Design and Implementation of Virtual Private Services
Large scale distributed applications such as electronic commerce and online marketplaces combine network access with multiple storage and computational elements. The distributed r...
Sotiris Ioannidis, Steven M. Bellovin, John Ioanni...
FM
2003
Springer
160views Formal Methods» more  FM 2003»
15 years 11 months ago
Translation-Based Compositional Reasoning for Software Systems
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
Fei Xie, James C. Browne, Robert P. Kurshan
HPCA
2002
IEEE
15 years 11 months ago
Fine-Grain Priority Scheduling on Multi-Channel Memory Systems
Configurations of contemporary DRAM memory systems become increasingly complex. A recent study [5] shows that application performance is highly sensitive to choices of configura...
Zhichun Zhu, Zhao Zhang, Xiaodong Zhang