Sciweavers

4616 search results - page 562 / 924
» Extreme Components Analysis
Sort
View
149
Voted
KBSE
2003
IEEE
15 years 11 months ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...
157
Voted
EUROPAR
2003
Springer
15 years 11 months ago
Distributed Application Monitoring for Clustered SMP Architectures
Abstract. Performance analysis for terascale computing requires a combination of new concepts including distribution, on-line processing and automation. As a foundation for tools r...
Karl Fürlinger, Michael Gerndt
158
Voted
GW
2003
Springer
100views Biometrics» more  GW 2003»
15 years 11 months ago
Performance Gestures of Musicians: What Structural and Emotional Information Do They Convey?
Abstract. This paper analyzes how expressive gestures of a professional clarinetist contribute to the perception of structural and emotional information in musical performance. The...
Bradley W. Vines, Marcelo M. Wanderley, Carol Krum...
140
Voted
MSS
2000
IEEE
89views Hardware» more  MSS 2000»
15 years 10 months ago
Access Coordination of Tertiary Storage for High Energy Physics Applications
We describe a real implementation of a software component that manages caching of files from a tertiary storage management system to a large disk cache developed for use in the a...
Luis M. Bernardo, Arie Shoshani, Alex Sim, Henrik ...
NPAR
2000
ACM
15 years 10 months ago
Performance-driven hand-drawn animation
We present a novel method for generating performance-driven, “hand-drawn” animation in real-time. Given an annotated set of hand-drawn faces for various expressions, our algor...
Ian Buck, Adam Finkelstein, Charles E. Jacobs, All...