Sciweavers

19700 search results - page 3883 / 3940
» DNA-Based Computation Times
Sort
View
OOPSLA
1995
Springer
14 years 11 days ago
Subtypes vs. Where Clauses: Constraining Parametric Polymorphism
All object-oriented languages provide support for subtype polymorphism, which allows the writing of generic code that works for families of related types. There is also a need, ho...
Mark Day, Robert Gruber, Barbara Liskov, Andrew C....
TAPSOFT
1995
Springer
14 years 11 days ago
Anatomy of the Pentium Bug
The Pentium computer chip’s division algorithm relies on a table from which five entries were inadvertently omitted, with the result that 1738 single precision dividenddivisor ...
Vaughan R. Pratt
ICDT
2010
ACM
161views Database» more  ICDT 2010»
14 years 4 days ago
Data Correspondence, Exchange, and Repair
Checking the correspondence between two or more database instances and enforcing it is a procedure widely used in practice without however having been explored from a theoretical ...
Gösta Grahne, Adrian Onet
APGV
2010
ACM
309views Visualization» more  APGV 2010»
14 years 4 days ago
Evaluating the effectiveness of visualization techniques for schematic diagrams in maintenance tasks
In order to perform daily maintenance and repair tasks in complex electrical and mechanical systems, technicians commonly utilize a large number of diagrams and documents detailin...
SungYe Kim, Insoo Woo, Ross Maciejewski, David S. ...
EDBT
2010
ACM
152views Database» more  EDBT 2010»
14 years 4 days ago
Feedback-based annotation, selection and refinement of schema mappings for dataspaces
The specification of schema mappings has proved to be time and resource consuming, and has been recognized as a critical bottleneck to the large scale deployment of data integrati...
Khalid Belhajjame, Norman W. Paton, Suzanne M. Emb...
« Prev « First page 3883 / 3940 Last » Next »