Sciweavers

2472 search results - page 203 / 495
» Parallel Key Exchange
Sort
View
ENTCS
2007
86views more  ENTCS 2007»
15 years 6 months ago
On the Non-sequential Nature of Domain Models of Real-number Computation
Escard´o, Hofmann and Streicher showed that real-number computations in the interval-domain environment are inherently parallel, in the sense that they imply the presence of weak...
Thomas Anberrée
INFORMATICALT
1998
118views more  INFORMATICALT 1998»
15 years 6 months ago
Conservative Simulation for Discrete Event Systems
Abstract. More real systems have many components and their simulation requires significant execution times. The practical needs have conducted to distributed simulation rather tha...
Alexandru Cicortas
DATESO
2010
233views Database» more  DATESO 2010»
15 years 4 months ago
Efficient Implementation of XPath Processor on Multi-Core CPUs
Abstract. Current XPath processors use direct approach to query evaluation which is quite inefficient in some cases and usually implemented serially. This may be a problem in case ...
Martin Krulis, Jakub Yaghob
SIGSOFT
2009
ACM
16 years 7 months ago
Asserting and checking determinism for multithreaded programs
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
Jacob Burnim, Koushik Sen
HPDC
1998
IEEE
15 years 10 months ago
Metascheduling: A Scheduling Model for Metacomputing Systems
Abstract Metacomputing is the seamless application of geographically-separated distributed computing resources to user applications. We consider the scheduling of metaapplications;...
Jon B. Weissman