2771 search results - page 129 / 555 » Using Computational Reflection in Optimistic Distributed Sim... |
131
click to vote
WSC
2004
15 years 6 months ago
2004
We develop a hierarchical distributed production planning and control methodology, called DISCS, for a large and unstable semiconductor manufacturing process. The upper layer of D...
151
click to vote
PODC
1999
ACM
15 years 9 months ago
1999
ACM
We present a new approach for reasoning about liveness properties of distributed systems, represented as automata. Our approach is based on simulation relations, and requires reas...
135
Voted
MOBISYS
2003
ACM
16 years 4 months ago
2003
ACM
Wireless local-area networks are becoming increasingly popular. They are commonplace on university campuses and inside corporations, and they have started to appear in public area...
145
click to vote
CCGRID
2006
IEEE
15 years 11 months ago
2006
IEEE
Traffic congestion has become a major concern for many cities throughout the world. Simulations provide useful tools for engineer to plan traffic systems and government to make de...
129
Voted
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...