7274 search results - page 89 / 1455 » Abstractions for network update |
126
Voted
IUI
2012
ACM
13 years 8 months ago
2012
ACM
The status updates posted to social networks, such as Twitter and Facebook, contain a myriad of information about what people are doing and watching. During events, such as sports...
87
Voted
OSDI
2004
ACM
16 years 1 months ago
2004
ACM
Abstractions as the Foundation for Storage Infrastructure John MacCormick, Nick Murphy, Marc Najork, Chandramohan A. Thekkath, and Lidong Zhou Microsoft Research Silicon Valley Wr...
112
click to vote
ENTCS
2008
15 years 25 days ago
2008
ion in PRISM1 Mark Kattenbelt Marta Kwiatkowska Gethin Norman David Parker Oxford University Computing Laboratory, Oxford, UK Modelling and verification of systems such as communi...
93
Voted
IRREGULAR
1997
Springer
15 years 4 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
104
click to vote
ISAAC
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Correction networks are comparator networks that sort inputs differing from sorted sequences of length N in a small number of positions. The main application of such netw...