Sciweavers

1658 search results - page 112 / 332
» Implementing Bit-addressing with Specialization
Sort
View
ENTCS
2008
64views more  ENTCS 2008»
13 years 9 months ago
General Refinement, Part Two: Flexible Refinement
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
Steve Reeves, David Streader
SIAMSC
2008
173views more  SIAMSC 2008»
13 years 8 months ago
A Fast Iterative Method for Eikonal Equations
In this paper we propose a novel computational technique to solve the Eikonal equation. The proposed method manages the list of active nodes and iteratively updates the solutions ...
Won-Ki Jeong, Ross T. Whitaker
IJVR
2007
171views more  IJVR 2007»
13 years 8 months ago
Real Time Rendering and Animation of Virtual Characters
—In this paper, we focus on the different aspects of real time visualization and animation of realistic virtual characters. The common goal for our research was to come up with s...
Yvonne Jung, Christian Knöpfle
AMCS
2011
341views Mathematics» more  AMCS 2011»
13 years 3 months ago
FSP and FLTL framework for specification and verification of middle-agents
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
Amelia Badica, Costin Badica
SOSP
2009
ACM
14 years 5 months ago
Modular data storage with Anvil
Databases have achieved orders-of-magnitude performance improvements by changing the layout of stored data – for instance, by arranging data in columns or compressing it before ...
Mike Mammarella, Shant Hovsepian, Eddie Kohler