Sciweavers

3771 search results - page 494 / 755
» Subobject Transformation Systems
Sort
View
APLAS
2008
ACM
15 years 6 months ago
Certified Reasoning in Memory Hierarchies
Abstract. Parallel programming is rapidly gaining importance as a vector to develop high performance applications that exploit the improved capabilities of modern computer architec...
Gilles Barthe, César Kunz, Jorge Luis Sacch...
CAISE
2008
Springer
15 years 6 months ago
Semi-Automated Model Synchronisation in SOM
Model-driven engineering is at the forefront among recent attempts to information systems development. Models are gradually refined from domain specific descriptions to more concre...
Christian Flender, Thomas Hettel, Michael Lawley, ...
CRV
2008
IEEE
106views Robotics» more  CRV 2008»
15 years 6 months ago
A Framework of View-Dependent Planar Scene Active Camouflage
Active camouflage is a technique for occluding objects disappear from the observer. Current implementations make assumptions on the viewpoints of both the observer and the camoufl...
Huei-Yung Lin, Wen-Nung Lie, Ming-Liang Wang
FDL
2008
IEEE
15 years 6 months ago
RTL Generation of Channel Architecture Templates for a Template-based SoC Design Flow
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
Jinhyun Cho, Soonwoo Choi, Soo Chae
DPHOTO
2010
195views Hardware» more  DPHOTO 2010»
15 years 5 months ago
Direct PSF estimation using a random noise target
Conventional point spread function (PSF) measurement methods often use parametric models for the estimation of the PSF. This limits the shape of the PSF to a specific form provide...
Johannes Brauers, Claude Seiler, Til Aach