Sciweavers

8278 search results - page 74 / 1656
» Context-Aware Process Networks
Sort
View
ICCAD
1998
IEEE
82views Hardware» more  ICCAD 1998»
15 years 4 months ago
Symbolic model checking of process networks using interval diagram techniques
In this paper, an approach to symbolic model checking of process networks is introduced. It is based on interval decision diagrams (IDDs), a representation of multi-valued functio...
Karsten Strehl, Lothar Thiele
99
Voted
CCE
2007
15 years 13 days ago
Control of integrated process networks - A multi-time scale perspective
In this paper, we analyze the dynamics of integrated process networks featuring large recycle streams and small purge streams. We consider a prototype network comprising of a reac...
Michael Baldea, Prodromos Daoutidis
76
Voted
CN
2006
58views more  CN 2006»
15 years 19 days ago
Dynamically extending the Corral with native code for high-speed packet processing
By combining the Open Kernel Environment, a Click-like software model known as Corral and basic concepts of active networking, we allow third-party code to control the code organi...
Herbert Bos, Bart Samwel, Ilja Booij
102
Voted
ICIP
2003
IEEE
16 years 2 months ago
Road network extraction in remote sensing by a Markov object process
In this paper, we rely on the theory of marked point processes to perform an unsupervised road network extraction from optical and radar images. A road network is modeled by a Mar...
Caroline Lacoste, Xavier Descombes, Josiane Zerubi...
GLOBECOM
2007
IEEE
15 years 7 months ago
Process for QoS-Aware IP Network Planning Using Accounting Data and Effective Bandwidth Estimation
- In this paper we describe QoSPlan – a generalized process for preparing information relevant to QoS-aware IP network planning. QoSPlan is designed to reduce the cost of deploym...
Alan Davy, Dmitri Botvich, Brendan Jennings