Sciweavers

1384 search results - page 165 / 277
» Physical limits of inference
Sort
View
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
15 years 3 months ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
SAC
2009
ACM
15 years 2 months ago
Leveraging OWL for GIS interoperability: rewards and pitfalls
Information systems often require combining datasets available in different formats, and geographical information systems are no exception. While semantic technologies have been u...
Serge Boucher, Esteban Zimányi
SIGMETRICS
1999
ACM
15 years 2 months ago
NFS Sensitivity to High Performance Networks
This paper examines NFS sensitivity to performance characteristics of emerging networks. We adopt an unusual method of inserting controlled delays into live systems to measure sen...
Richard P. Martin, David E. Culler
ICSE
1999
IEEE-ACM
15 years 2 months ago
Lightweight Extraction of Object Models from Bytecode
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...
Daniel Jackson, Allison Waingold
SMILE
1998
Springer
15 years 2 months ago
From Ordinal to Euclidean Reconstruction with Partial Scene Calibration
Abstract. Since uncalibrated images permit only projective reconstruction, metric information requires either camera or scene calibration. We propose a stratified approach to proje...
Daphna Weinshall, P. Anandan, Michal Irani