Sciweavers

2451 search results - page 217 / 491
» Alternative Test Methods Using IEEE 1149.4
Sort
View
115
Voted
KBSE
2008
IEEE
15 years 10 months ago
How Program History Can Improve Code Completion
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...
Romain Robbes, Michele Lanza
142
Voted
DSN
2008
IEEE
15 years 5 months ago
Experiences with formal specification of fault-tolerant file systems
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...
Roxana Geambasu, Andrew Birrell, John MacCormick
3DPVT
2004
IEEE
115views Visualization» more  3DPVT 2004»
15 years 7 months ago
Specularity Elimination in Range Sensing for Accurate 3D Modeling of Specular Objects
We present a novel range sensing method that is capable of constructing accurate 3D models of specular objects. Our method utilizes a new range imaging concept called multi-peak r...
Johnny Park, Avinash C. Kak
ICCV
2005
IEEE
16 years 5 months ago
Parameter-Free Radial Distortion Correction with Centre of Distortion Estimation
We propose a method of simultaneously calibrating the radialdistortionfunctionofacameraalongwith theotherinternal calibration parameters. The method relies on the use of a planar ...
Richard I. Hartley, Sing Bing Kang
146
Voted
KBSE
2009
IEEE
15 years 10 months ago
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients
Methods in object-oriented concurrent libraries hide internal synchronization details. However, information hiding may result in clients causing thread safety violations by invoki...
Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sa...