Sciweavers

9325 search results - page 1414 / 1865
» The decentralized implementability problem
Sort
View
PDIS
1996
IEEE
15 years 11 months ago
The Strobe Algorithms for Multi-Source Warehouse Consistency
A warehouse is a data repository containing integrated information for e cient querying and analysis. Maintaining the consistency of warehouse data is challenging, especially if t...
Yue Zhuge, Hector Garcia-Molina, Janet L. Wiener
SPDP
1996
IEEE
15 years 11 months ago
Impact Of Load Balancing On Unstructured Adaptive Grid Computations For Distributed-Memory Multiprocessors
The computational requirements for an adaptive solution of unsteady problems change as the simulation progresses. This causes workload imbalance among processors on a parallel mac...
Andrew Sohn, Rupak Biswas, Horst D. Simon
ICANN
1997
Springer
15 years 11 months ago
Simulation of Spiking Neural Networks on Different Hardware Platforms
: Substantial evidence indicates that the time structure of neuronal spike trains is relevant in neuronal signal processing. Bio-inspired spiking neural networks are taking these r...
Axel Jahnke, Tim Schönauer, Ulrich Roth, K. M...
ICLP
1997
Springer
15 years 11 months ago
The Complexity of Model Checking in Modal Event Calculi
Kowalski and Sergot’s Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which propert...
Iliano Cervesato, Massimo Franceschet, Angelo Mont...
ICLP
1997
Springer
15 years 11 months ago
Non-Failure Analysis for Logic Programs
We provide a method whereby, given mode and (upper approximation) type information, we can detect procedures and goals that can be guaranteed to not fail (i.e., to produce at leas...
Saumya K. Debray, Pedro López-García...
« Prev « First page 1414 / 1865 Last » Next »