7109 search results - page 253 / 1422 » Process Algebra with Combinators |
152
click to vote
IANDC
2006
15 years 4 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
152
click to vote
TWC
2008
15 years 4 months ago
2008
Reliable channel state information at the transmitter (CSIT) can improve the throughput of wireless networks significantly. In a realistic scenario, there is a mismatch between th...
176
click to vote
SCP
2000
15 years 4 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
164
click to vote
CVPR
2004
IEEE
16 years 6 months ago
2004
IEEE
In this paper, we propose a robust model selection criterion for mixtures of subspaces called minimum effective dimension (MED). Previous information-theoretic model selection cri...
219
click to vote
POPL
2003
ACM
16 years 4 months ago
2003
ACM
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...