Sciweavers

2227 search results - page 266 / 446
» Reversibility and Models for Concurrency
Sort
View
WCRE
2006
IEEE
14 years 4 months ago
An Industrial Case Study of Program Artifacts Viewed During Maintenance Tasks
Research on maintenance task structure modeling has so far examined only how often program artifacts are modified, and what information can be deduced from modification records....
Lijie Zou, Michael W. Godfrey
ICSM
2005
IEEE
14 years 4 months ago
Annotated Inclusion Constraints for Precise Flow Analysis
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
Ana Milanova, Barbara G. Ryder
APGV
2005
ACM
250views Visualization» more  APGV 2005»
14 years 4 months ago
A perceptual framework for contrast processing of high dynamic range images
Image processing often involves an image transformation into a domain that is better correlated with visual perception, such as the wavelet domain, image pyramids, multi-scale con...
Rafal Mantiuk, Karol Myszkowski, Hans-Peter Seidel
PADS
2005
ACM
14 years 4 months ago
Merging Parallel Simulation Programs
In earlier work cloning is proposed as a means for efficiently splitting a running simulation midway through its execution into multiple parallel simulations. In simulation cloni...
Abhishek Agarwal, Maria Hybinette
PG
2003
IEEE
14 years 4 months ago
A State Machine for Real-Time Cutting of Tetrahedral Meshes
We introduce an algorithm that consistently and accurately processes arbitrary intersections in tetrahedral meshes in real-time. The intersection surfaces are modeled up to the cu...
Daniel Bielser, Pascal Glardon, Matthias Teschner,...