5451 search results - page 973 / 1091 » Typed Operational Semantics |
141
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
Chip multi-processors (CMPs) have become ubiquitous, while tools that ease concurrent programming have not. The promise of increased performance for all applications through ever ...
134
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
Distributed Partially Observable Markov Decision Problems (DisPOMDPs) are emerging as a popular approach for modeling sequential decision making in teams operating under uncertain...
163
click to vote
AUTOMOTIVEUI
2009
ACM
16 years 23 days ago
2009
ACM
Auditory display research for driving has mainly focused on collision warning signals, and recent studies on auditory invehicle information presentation have examined only a limit...
147
click to vote
IMC
2009
ACM
16 years 23 days ago
2009
ACM
Internet exchange points (IXPs) are an important ingredient of the Internet AS-level ecosystem—a logical fabric of the Internet made up of about 30,000 ASes and their mutual bus...
164
click to vote
ICS
2007
Tsinghua U.
16 years 12 days ago
2007
Tsinghua U.
Positive results from new object-oriented tools for scientific programming are reported. Using template classes, abstractions of matrix representations are available that subsume...