Sciweavers

2040 search results - page 110 / 408
» On the Complexity of Error Explanation
Sort
View
ICDT
1997
ACM
95views Database» more  ICDT 1997»
14 years 1 months ago
Type-Consistency Problems for Queries in Object-Oriented Databases
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...
Yasunori Ishihara, Hiroyuki Seki, Minoru Ito
NC
2008
120views Neural Networks» more  NC 2008»
13 years 9 months ago
Combining self-healing and proofreading in self-assembly
Molecular self-assembly is a promising approach to bottom-up fabrication of complex structures. A major impediment to the practical use of self-assembly to create complex structure...
David Soloveichik, Matthew Cook, Erik Winfree
PROPERTYTESTING
2010
13 years 7 months ago
Sublinear Algorithms in the External Memory Model
We initiate the study of sublinear-time algorithms in the external memory model [Vit01]. In this model, the data is stored in blocks of a certain size B, and the algorithm is char...
Alexandr Andoni, Piotr Indyk, Krzysztof Onak, Roni...
ECRTS
2003
IEEE
14 years 2 months ago
Fault-Tolerant Clock Synchronization for Embedded Distributed Multi-Cluster Systems
When time-triggered (TT) systems are to be deployed for large embedded real-time (RT) control systems in cars and airplanes, one way to overcome bandwidth limitations and achieve ...
Michael Paulitsch, Wilfried Steiner
VL
2000
IEEE
120views Visual Languages» more  VL 2000»
14 years 1 months ago
Visualizing the Synchronization of Java-Threads with UML
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
Katharina Mehner, Annika Wagner