2019 search results - page 112 / 404 » Programming with Shared Data Abstractions |
SIGOPSE
2004
ACM
15 years 3 months ago
2004
ACM
Abstract: Designing and managing dependable systems is a difficult endeavor. In this paper, we describe challenges in this vast problem space, including provisioning and allocatin...
HCI
2009
14 years 7 months ago
2009
Where the Object-Oriented paradigm set about abstracting objects, iented (AO) theory draws on Psychology to abstract mentalist notions like: beliefs, perceptions, goals, and intent...
150
click to vote
TPHOL
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
Abstract- Processing streaming media comprisesseveral program phases (often distinct) that are periodic and independent of application data. In this paper we characterize execution...
ASPLOS
1998
ACM
15 years 2 months ago
1998
ACM
Thread-level speculation is a technique that enables parallel execution of sequential applications on a multiprocessor. This paper describes the complete implementation of the sup...