Sciweavers

5022 search results - page 357 / 1005
» Data structures and problem solving using Java
Sort
View
125
Voted
NCA
2005
IEEE
15 years 9 months ago
Protocol Composition Frameworks A Header-Driven Model
Protocol composition frameworks provide off-the-shelf composable protocols to simplify the development of custom protocol stacks. All recent protocol frameworks use a general-purp...
Daniel C. Bünzli, Sergio Mena, Uwe Nestmann
122
Voted
SYNTHESE
2008
81views more  SYNTHESE 2008»
15 years 3 months ago
The inclosure scheme and the solution to the paradoxes of self-reference
All paradoxes of self-reference seem to share some structural features. Russell in 1908 and especially Priest nowadays have advanced structural descriptions that successfully ident...
Jordi Valor Abad
127
Voted
PLDI
2003
ACM
15 years 9 months ago
A type and effect system for atomicity
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
Cormac Flanagan, Shaz Qadeer
142
Voted
PDIS
1996
IEEE
15 years 7 months ago
Querying the World Wide Web
The World Wide Web is a large, heterogeneous, distributedcollectionof documents connected by hypertext links. The most common technologycurrently used for searching the Web depend...
Alberto O. Mendelzon, George A. Mihaila, Tova Milo
149
Voted
CLUSTER
2009
IEEE
15 years 1 months ago
MITHRA: Multiple data independent tasks on a heterogeneous resource architecture
With the advent of high-performance COTS clusters, there is a need for a simple, scalable and faulttolerant parallel programming and execution paradigm. In this paper, we show that...
Reza Farivar, Abhishek Verma, Ellick Chan, Roy H. ...