Sciweavers

867 search results - page 77 / 174
» A Model for Dynamic Shape and Its Applications
Sort
View
ISSTA
2009
ACM
15 years 7 months ago
Precise pointer reasoning for dynamic test generation
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
Bassem Elkarablieh, Patrice Godefroid, Michael Y. ...
106
Voted
ADAEUROPE
2005
Springer
15 years 6 months ago
Integrating Application-Defined Scheduling with the New Dispatching Policies for Ada Tasks
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
Mario Aldea Rivas, Javier Miranda, Michael Gonz&aa...
LCPC
2000
Springer
15 years 4 months ago
SmartApps: An Application Centric Approach to High Performance Computing
State-of-the-art run-time systems are a poor match to diverse, dynamic distributed applications because they are designed to provide support to a wide variety of applications, with...
Lawrence Rauchwerger, Nancy M. Amato, Josep Torrel...
111
Voted
SIGGRAPH
1998
ACM
15 years 4 months ago
Wires: A Geometric Deformation Technique
Finding effective interactive deformation techniques for complex geometric objects continues to be a challenging problem in modeling and animation. We present an approach that is ...
Karan Singh, Eugene Fiume
MIDDLEWARE
2005
Springer
15 years 6 months ago
WildCAT: a generic framework for context-aware applications
We present WildCAT, an extensible Java framework to ease the creation of context-aware applications. WildCAT provides a simple yet powerful dynamic model to represent an applicati...
Pierre-Charles David, Thomas Ledoux