1154 search results - page 191 / 231 » Mathematizing C concurrency |
161
Voted
ISCA
1997
IEEE
15 years 4 months ago
1997
IEEE
Recent technological advances have produced network interfaces that provide users with very low-latency access to the memory of remote machines. We examine the impact of such netw...
93
Voted
SIGOPSE
1990
ACM
15 years 4 months ago
1990
ACM
u s e s t h e p r i m a r y c o p y r e p l i c a t i o nAbstract technique [1, 26, 27]. In this method, client calls are directed to a single primary server, which communicatesThi...
169
Voted
CAV
2003
Springer
15 years 4 months ago
2003
Springer
odular Abstraction Refinement Thomas A. Henzinger1 , Ranjit Jhala1 , Rupak Majumdar1 , and Shaz Qadeer2 1 University of California, Berkeley 2 Microsoft Research, Redmond Abstract....
141
Voted
MOBISYS
2008
ACM
15 years 2 months ago
2008
ACM
Wireless sensor networks have been traditionally designed to be privately owned and used. Hence the two hallmark features of sensor networks, namely customized network application...
126
Voted
CASES
2005
ACM
15 years 2 months ago
2005
ACM
The concurrent synchronous language Esterel allows proto treat reactive systems in an abstract, concise manner. An Esterel program is typically first translated into other, non-s...