Sciweavers

1507 search results - page 211 / 302
» Summary
Sort
View
SG
2004
Springer
15 years 11 months ago
Animating 2D Digital Puppets with Limited Autonomy
In this paper we describe the graphical realization and authoring of a semi-autonomous animated persona, called a Digital Puppet. Digital Puppets augment on-line educational materi...
Erin Shaw, Catherine LaBore, Yuan-Chun Chiu, W. Le...
TACAS
2004
Springer
107views Algorithms» more  TACAS 2004»
15 years 11 months ago
Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...
Pavel Krcál, Wang Yi
WOMPAT
2004
Springer
15 years 11 months ago
Dragon: A Static and Dynamic Tool for OpenMP
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
Oscar Hernandez, Chunhua Liao, Barbara M. Chapman
ACSAC
2003
IEEE
15 years 11 months ago
Isolated Program Execution: An Application Transparent Approach for Executing Untrusted Programs
In this paper, we present a new approach for safe execution of untrusted programs by isolating their effects from the rest of the system. Isolation is achieved by intercepting fi...
Zhenkai Liang, V. N. Venkatakrishnan, R. Sekar
AGILEDC
2003
IEEE
15 years 11 months ago
PARFAIT: Towards a Framework-based Agile Reengineering Process
The paper presents a sketch of a framework-based agile reengineering process, named PARFAIT1 , whose objective is to provide the users with evolved versions of legacy systems, as ...
Maria Istela Cagnin, José Carlos Maldonado,...