7961 search results - page 1382 / 1593 » Input-Output Model Programs |
105
Voted
MFCS
2009
Springer
15 years 10 months 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...
145
Voted
NETCOOP
2009
Springer
15 years 10 months 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...
97
Voted
OOPSLA
2009
Springer
15 years 10 months 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...
101
Voted
PVM
2009
Springer
15 years 10 months 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...
121
Voted
TLCA
2009
Springer
15 years 10 months 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...