117 search results - page 9 / 24 » Avoiding State Explosion for Distributed Systems with Timest... |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
81
Voted
ICPADS
2000
IEEE
15 years 1 months ago
2000
IEEE
We describe a simple protocol that enhances the communication between end nodes and “the network”. Other than the majority of QoS signaling systems, it achieves scalability by...
ICDE
2010
IEEE
15 years 9 months ago
2010
IEEE
Monitoring global states of an application deployed over distributed nodes becomes prevalent in today's datacenters. State monitoring requires not only correct monitoring resu...
ASPDAC
2005
ACM
14 years 11 months ago
2005
ACM
— In this paper, a methodology for analyzing closed loop clock distribution and active deskewing networks is proposed. An active clock distribution and deskewing network is model...
RTAS
2006
IEEE
15 years 3 months ago
2006
IEEE
A notable features of many proposed Wireless Sensor Networks (WSNs) deployments is their scale: hundreds to thousands of nodes linked together. In such systems, modeling the state...