1922 search results - page 259 / 385 » Systems biology, models, and concurrency |
133
click to vote
RTSS
2007
IEEE
15 years 7 months ago
2007
IEEE
It is challenging to process transactions in a timely fashion using fresh data, e.g., current stock prices, since database workloads may considerably vary due to dynamic data/reso...
SIGMOD
2003
ACM
16 years 1 months ago
2003
ACM
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...
SOFSEM
2009
Springer
15 years 10 months ago
2009
Springer
We introduce the first process algebra with non-blocking reading actions for modelling concurrent asynchronous systems. We study the impact this new kind of actions has on fairnes...
121
click to vote
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— Emerging spread spectrum high-speed data networks utilize multiple channels via orthogonal codes or frequency-hopping patterns such that multiple users can transmit con...
137
click to vote
CODES
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...