Sciweavers

2227 search results - page 170 / 446
» Reversibility and Models for Concurrency
Sort
View
185
Voted
PRESENCE
1998
83views more  PRESENCE 1998»
15 years 5 months ago
Real-Time Continuous Multi-Resolution Method for Models of Arbitrary Topology
Many multiresolution methods have been proposed. Most of them emphasize accuracy and hence are slow. Some methods may be fast, but they may not preserve the geometry of the model....
Rynson W. H. Lau, Mark Green, Danny S. P. To, Jani...
TIP
2010
164views more  TIP 2010»
15 years 29 days ago
A Marked Point Process for Modeling Lidar Waveforms
Lidar waveforms are 1D signals representing a train of echoes caused by reflections at different targets. Modeling these echoes with the appropriate parametric function is useful ...
Clément Mallet, Florent Lafarge, Michel Rou...
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
15 years 10 months ago
Using Feature Modeling for Program Comprehension and Software Architecture Recovery
: The available evidence in a legacy software system, which can help in its understanding and recovery of its architecture are not always sufficient. Very often the system's d...
Ilian Pashov, Matthias Riebisch
DAGSTUHL
2006
15 years 7 months ago
Rule-based Model Extraction from Source Code
Abstract. In the context of an approach for reengineering legacy software systems at the architectural level, we present in this paper a reverse engineering methodology that uses a...
Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly...
ET
2010
122views more  ET 2010»
15 years 3 months ago
Fault Models for Quantum Mechanical Switching Networks
This work justifies several quantum gate level fault models and discusses the causal error mechanisms thwarting correct function. A quantum adaptation of the classical test set gen...
Jacob D. Biamonte, Jeff S. Allen, Marek A. Perkows...