Sciweavers

1893 search results - page 154 / 379
» Computational composites
Sort
View
IEEEPACT
2007
IEEE
15 years 7 months ago
Verification-Aware Microprocessor Design
The process of verifying a new microprocessor is a major problem for the computer industry. Currently, architects design processors to be fast, power-efficient, and reliable. Howe...
Anita Lungu, Daniel J. Sorin
MFCS
1994
Springer
15 years 4 months ago
A Proof System for Asynchronously Communicating Deterministic Processes
We introduce in this paper new communication and synchronization constructs which allow deterministic processes, communicating asynchronously via unbounded FIFO bu ers, to cope wi...
Frank S. de Boer, M. van Hulst
141
Voted
COLCOM
2008
IEEE
15 years 2 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart
91
Voted
PAMI
2008
160views more  PAMI 2008»
15 years 23 days ago
Parametric Image Alignment Using Enhanced Correlation Coefficient Maximization
In this work, we propose the use of a modified version of the correlation coefficient as a performance criterion for the image alignment problem. The proposed modification has the ...
Georgios D. Evangelidis, Emmanouil Z. Psarakis
ICCV
2001
IEEE
16 years 2 months ago
Concentric Mosaic(s)Planar Motion and 1D Cameras
General SFM methods give poor results for images captured by constrained motions such as planar motion of concentric mosaics (CM). In this paper, we propose new SFM algorithms for...
Long Quan, Le Lu, Heung-Yeung Shum, Maxime Lhuilli...