2227 search results - page 234 / 446 » Reversibility and Models for Concurrency |
114
Voted
CAD
2006
Springer
15 years 20 days ago
2006
Springer
We investigate 3D shape reconstruction from measurement data in the presence of constraints. The constraints may fix the surface type or set geometric relations between parts of a...
152
Voted
ASE
1998
15 years 9 days ago
1998
The process of understanding a source code in a high-level programming language involves complex computation. Given a piece of legacy code and a library of program plan templates, ...
93
Voted
SMI
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract—This paper develops a new trivariate hierarchical spline scheme for volumetric data representation. Unlike conventional spline formulations and techniques, our new frame...
103
Voted
IEEEARES
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract—Abstract virology has seen the apparition of successive viral models, all based on Turing-equivalent formalisms. Considering recent malware, these are only partially cov...
121
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—We present an optimal methodology for dynamic voltage scheduling problem in the presence of realistic assumption such as leakage-power and intra-task overheads. Our contribution...