10870 search results - page 1973 / 2174 » Model Checking Programs |
130
click to vote
NETCOOP
2009
Springer
15 years 8 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...
OOPSLA
2009
Springer
15 years 8 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...
84
Voted
PVM
2009
Springer
15 years 8 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...
108
click to vote
TLCA
2009
Springer
15 years 8 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...
128
click to vote
ASPDAC
2009
ACM
15 years 8 months ago
2009
ACM
— Multiprocessors on a chip are the reality of these days. Semiconductor industry has recognized this approach as the most efficient in order to exploit chip resources, but the ...