974 search results - page 129 / 195 » Formal Modeling of Communication Traces |
ICDE
2010
IEEE
15 years 11 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...
ICPP
1994
IEEE
15 years 3 months ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
130
click to vote
CSCW
2011
ACM
14 years 6 months ago
2011
ACM
The performance of a collaborative system depends on how two mandatory collaborative tasks, processing and transmission of user commands, are scheduled. We have developed multiple...
119
click to vote
HICSS
1999
IEEE
15 years 3 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
ASYNC
2000
IEEE
15 years 4 months ago
2000
IEEE
Fault Abstraction and Collapsing Framework for Asynchronous Circuits Philip P. Shirvani, Subhasish Mitra Center for Reliable Computing Stanford University Stanford, CA Jo C. Eberge...