Sciweavers

21324 search results - page 294 / 4265
» Making the case for computing
Sort
View
IPPS
2000
IEEE
15 years 8 months ago
Memory Management in a Combined VIA/SCI Hardware
Abstract In this document we make a brief review of memory management and DMA considerations in case of common SCI hardware and the Virtual Interface Architecture. On this basis we...
Mario Trams, Wolfgang Rehm, Daniel Balkanski, Stan...
ACSC
2004
IEEE
15 years 8 months ago
An Approach to Specifying Software Frameworks
A framework is a reusable design that requires software components to function. To instantiate a framework, a software engineer must provide the software components required by th...
Leesa Murray, David A. Carrington, Paul A. Stroope...
EXACT
2007
15 years 6 months ago
Learning Models from Temporal-Logic Properties via Explanations
Given a model and a property expressed in temporal logic, a model checker normally produces a counterexample in case the model does not satisfy the property. This counterexample i...
Miguel A. Carrillo, David A. Rosenblueth
AMDO
2008
Springer
15 years 6 months ago
Bone Glow: An Improved Method for the Assignment of Weights for Mesh Deformation
Many real-time algorithms for mesh deformation driven by animation of an underlying skeleton make use of a set of per-bone weights associated with each vertex. There are few unguid...
Rich Wareham, Joan Lasenby
ICAD
2004
15 years 5 months ago
The Importance of Interaction in Sonification
This paper argues for a special focus on the use of dynamic human interaction to explore datasets while they are being transformed into sound. We describe why this is a special ca...
Andy Hunt, Thomas Hermann