2227 search results - page 140 / 446 » Reversibility and Models for Concurrency |
154
click to vote
FMOODS
2003
15 years 7 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
168
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
157
click to vote
ACSD
2006
IEEE
16 years 5 days ago
2006
IEEE
An optimized functional design space exploration method for multimedia applications is proposed. The basis of the method is a way of representing the dependency and the concurrenc...
126
Voted
EPEW
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. People with special needs may find difficulties using electronic consumer devices, user interfaces limit their chances of having full control on them. The Universal Remot...
139
click to vote
RECOMB
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. There have been many widely used genome rearrangement models, such as reversals, HannenhalliPevzner, and double-cut and join. Though each one can be precisely defined, t...