5451 search results - page 973 / 1091 » Typed Operational Semantics |
115
click to vote
PPOPP
2010
ACM
16 years 26 days 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 ...
IAT
2009
IEEE
15 years 10 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...
135
Voted
AUTOMOTIVEUI
2009
ACM
15 years 10 months 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...
103
Voted
IMC
2009
ACM
15 years 10 months 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...
128
Voted
ICS
2007
Tsinghua U.
15 years 9 months 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...