1502 search results - page 34 / 301 » Computational Realizations of Living Systems |
148
Voted
CONCUR
2009
Springer
15 years 1 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
273
click to vote
ICS
2001
Tsinghua U.
15 years 8 months ago
2001
Tsinghua U.
For most parallel and high performance systems, tuning guides provide the users with advices to optimize the execution time of their programs. Execution time may be very sensitive...
112
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
The act of computer programming is generally considered to be temporally removed from a computer program’s execution. In this paper we discuss the idea of programming as an acti...
108
click to vote
SOFSEM
2009
Springer
16 years 28 days 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...
119
Voted
MOBIQUITOUS
2005
IEEE
15 years 9 months ago
2005
IEEE
Applications designed for ubiquitous computing environments need to be coded in a specific way in order to fully realize the benefits of ubiquitous computing. Currently, applicati...