Sciweavers

658 search results - page 80 / 132
» Evaluation of alternative presentation control techniques
Sort
View
MEMOCODE
2008
IEEE
14 years 3 months ago
Static Deadlock Detection for the SHIM Concurrent Language
Concurrent programming languages are becoming mandatory with the advent of multi-core processors. Two major concerns in any concurrent program are data races and deadlocks. Each a...
Nalini Vasudevan, Stephen A. Edwards
ICC
2007
IEEE
114views Communications» more  ICC 2007»
14 years 3 months ago
Service Level Agreement Framework for Differentiated Survivability in GMPLS-based IP-over-Optical Networks
Abstract: In the next generation optical internet, GMPLSbased IP-over-optical networks, ISPs will be required to support a wide variety of applications each having their own requir...
David Harle, Saud Albarrak, Fuead Ali, Anna Urra, ...
PADL
1999
Springer
14 years 1 months ago
CHAT: The Copy-Hybrid Approach to Tabling
The copying approach to tabling (CAT) is an alternative to SLG-WAM and based on incrementally copying the areas that the SLG-WAM freezes to preserve execution states of suspended ...
Bart Demoen, Konstantinos F. Sagonas
COMPGEOM
2005
ACM
13 years 11 months ago
Dynamic maintenance of molecular surfaces under conformational changes
We present an efficient algorithm for maintaining the boundary and surface area of protein molecules as they undergo conformational changes. We also describe a robust implementati...
Eran Eyal, Dan Halperin
TVCG
2011
257views more  TVCG 2011»
13 years 3 months ago
A Spatially Augmented Reality Sketching Interface for Architectural Daylighting Design
—We present an application of interactive global illumination and spatially augmented reality to architectural daylight modeling that allows designers to explore alternative desi...
Yu Sheng, Theodore C. Yapo, Christopher Young, Bar...