Sciweavers

2357 search results - page 108 / 472
» Computing Refactorings of Behavior Models
Sort
View
CVPR
2000
IEEE
16 years 4 months ago
A General Method for Errors-in-Variables Problems in Computer Vision
The Errors-in-Variables (EIV) model from statistics is often employed in computer vision thoughonlyrarely under this name. In an EIV model all the measurements are corrupted by no...
Bogdan Matei, Peter Meer
125
Voted
CANDC
2005
ACM
15 years 4 months ago
Computational schemes for biomimetic sculpture
A prototype system for the automatic evolution of biomimetic structures using structural automata is described and its utility for generating digital sculpture is demonstrated. Sc...
Brower Hatcher, Karl Aspelund, Andrew R. Willis, J...
111
Voted
NSDI
2008
15 years 5 months ago
DieCast: Testing Distributed Systems with an Accurate Scale Model
Large-scale network services can consist of tens of thousands of machines running thousands of unique software configurations spread across hundreds of physical networks. Testing ...
Diwaker Gupta, Kashi Venkatesh Vishwanath, Amin Va...
FIDJI
2004
Springer
15 years 6 months ago
Modeling and Analysis of Exception Handling by Using UML Statecharts
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...
Gergely Pintér, István Majzik
133
Voted
ICCAD
1994
IEEE
127views Hardware» more  ICCAD 1994»
15 years 6 months ago
Synthesis of concurrent system interface modules with automatic protocol conversion generation
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
Bill Lin, Steven Vercauteren