Sciweavers

4235 search results - page 4 / 847
» Processes in Space
Sort
View
ENTCS
1998
101views more  ENTCS 1998»
13 years 7 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 1 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
ICASSP
2011
IEEE
12 years 11 months ago
A metric approach toward point process divergence
Estimating divergence between two point processes, i.e. probability laws on the space of spike trains, is an essential tool in many computational neuroscience applications, such a...
Sohan Seth, Austin J. Brockmeier, José Carl...
IPPS
1998
IEEE
13 years 11 months 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 7 months ago
On Markov-Additive Jump Processes
In 1995, Pacheco and Prabhu introduced the class of so
Lothar Breuer