11328 search results - page 239 / 2266 » Timed Branching Processes |
138
click to vote
FPGA
2006
ACM
15 years 7 months ago
2006
ACM
Abstract-- In this paper, we introduce a novel architecture for constructing caches for lookup operations that are used in a variety of network processing applications. The disting...
133
click to vote
ENTCS
2008
15 years 4 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
108
click to vote
CCE
2005
15 years 3 months ago
2005
The process to be modeled produces micro-hollow particles based on spray drying technology. This process involves droplet formation, solvent(s) evaporation, formation of the imper...
159
click to vote
SIAMAM
2002
15 years 3 months ago
2002
A new morphological multiscale method in 3D image processing is presented which combines the image processing methodology based on nonlinear diffusion equations and the theory of g...
149
Voted
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
Our experimental analysis of several popular XPath processors reveals a striking fact: Query evaluation in each of the systems requires time exponential in the size of queries in ...