4520 search results - page 620 / 904 » Algebraic Techniques for Timed Systems |
171
click to vote
SC
2005
ACM
16 years 9 days ago
2005
ACM
We present a new methodology for generating and adapting octree meshes for terascale applications. Our approach combines existing methods, such as parallel octree decomposition and...
148
click to vote
VRST
2005
ACM
16 years 9 days ago
2005
ACM
Inverse Kinematics (IK) is a popular technique for synthesizing motions of virtual characters. In this paper, we propose a Linear Programming based IK solver (LPIK) for interactiv...
166
click to vote
MIDDLEWARE
2005
Springer
16 years 7 days ago
2005
Springer
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Dual-quorum replication combines volume leases and qu...
175
click to vote
SAS
2005
Springer
16 years 6 days ago
2005
Springer
A technique for generating invariant polynomial inequalities of bounded degree is presented using the abstract interpretation framework. It is based on overapproximating basic semi...
154
click to vote
PAM
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Router queues can impact both round-trip times and throughput. Yet little is publicly known about queue provisioning employed by Internet services providers for the route...