5149 search results - page 130 / 1030 » Timed Asynchronous Distributed Systems |
109
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— In this paper, dynamic practical stability properties of infinite-dimensional sampled-data systems are discussed. A family of finite-dimensional discrete-time control...
125
click to vote
UIST
2003
ACM
15 years 7 months ago
2003
ACM
Classroom BRIDGE supports activity awareness by facilitating planning and goal revision in collaborative, project-based middle school science. It integrates largescreen and deskto...
123
click to vote
ICS
2010
Tsinghua U.
15 years 7 months ago
2010
Tsinghua U.
– Communication overhead is one of the dominant factors that affect performance in high-performance computing systems. To reduce the negative impact of communication, programmers...
139
Voted
CONCUR
2001
Springer
15 years 7 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
112
Voted
ICPADS
1998
IEEE
15 years 6 months ago
1998
IEEE
A user-defined telecooperation service (UTS) provides service elements for application-specific communication and cooperation processes as well as integrated means for the service...