Sciweavers

4235 search results - page 4 / 847
» Process Spaces
Sort
View
ENTCS
1998
101views more  ENTCS 1998»
13 years 8 months ago
A Fully Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes
Abstract Metric-Space Denotational Semantics for Reactive Probabilistic Processes M.Z. Kwiatkowska and G.J. Norman School of Computer Science, University of Birmingham, Edgbaston, ...
Marta Z. Kwiatkowska, Gethin Norman
SAMOS
2007
Springer
14 years 2 months ago
Design Space Exploration of Configuration Manager for Network Processing Applications
—Current FPGAs provide a powerful platform for network processing applications. The main challenge is the exploitation of the reconfiguration to increase the performance of the s...
Christoforos Kachris, Stamatis Vassiliadis
IPPS
1998
IEEE
14 years 19 days ago
Memory Space Representation for Heterogeneous Network Process Migration
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
Kasidit Chanchio, Xian-He Sun
QUESTA
2002
49views more  QUESTA 2002»
13 years 8 months ago
On Markov-Additive Jump Processes
In 1995, Pacheco and Prabhu introduced the class of so
Lothar Breuer
ICDE
2008
IEEE
132views Database» more  ICDE 2008»
14 years 9 months ago
The Space Complexity of Processing XML Twig Queries Over Indexed Documents
Abstract-- Current twig join algorithms incur high memory costs on queries that involve child-axis nodes. In this paper we provide an analytical explanation for this phenomenon. In...
Mirit Shalem, Ziv Bar-Yossef