2227 search results - page 234 / 446 » Reversibility and Models for Concurrency |
194
click to vote
CAD
2006
Springer
15 years 6 months 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...
236
click to vote
ASE
1998
15 years 6 months 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, ...
180
click to vote
SMI
2010
IEEE
15 years 5 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...
154
click to vote
IEEEARES
2010
IEEE
16 years 1 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...
193
click to vote
DATE
2009
IEEE
16 years 1 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...