6201 search results - page 73 / 1241 » Implementation of Axiomatic Language |
154
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
Architecture description languages are widely used to perform architecture exploration for application-driven designs, whereas the RT-level is the commonly accepted level for hard...
127
click to vote
PUC
2010
14 years 10 months ago
2010
In this paper, we describe the design and implementation of an audio wiki application accessible via both the Public Switched Telephone Network and the Internet. The application ex...
121
click to vote
PSC
1992
15 years 8 months ago
1992
Abstract. This paper describes an implementation technique for Multilisp's future construct aimed at large shared-memory multiprocessors. The technique is a variant of lazy ta...
120
click to vote
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
132
Voted
POPL
2009
ACM
15 years 10 months ago
2009
ACM
Haskell has a rich set of synchronization primitives for implemented-state concurrency abstractions, ranging from the very high level (Software Transactional Memory) to the very l...