7961 search results - page 1382 / 1593 » Input-Output Model Programs |
141
click to vote
MFCS
2009
Springer
16 years 28 days ago
2009
Springer
We consider finite graphs whose edges are labeled with elements, called colors, taken from a fixed finite alphabet. We study the problem of determining whether there is an infi...
184
click to vote
NETCOOP
2009
Springer
16 years 28 days ago
2009
Springer
We study the impact of user association policies on flow-level performance in interference limited wireless networks. Most research in this area has used static interference model...
143
click to vote
OOPSLA
2009
Springer
16 years 28 days ago
2009
Springer
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...
138
click to vote
PVM
2009
Springer
16 years 28 days ago
2009
Springer
Petascale machines with close to a million processors will soon be available. Although MPI is the dominant programming model today, some researchers and users wonder (and perhaps e...
153
click to vote
TLCA
2009
Springer
16 years 28 days ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...