1301 search results - page 81 / 261 » Specifications via Realizability |
NIME
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes the concept, design, realization and evaluation of a radically augmented musical instrument named the Overtone Violin. The rationale behind the development of...
GI
2009
Springer
14 years 2 months ago
2009
Springer
: In this paper we present the concurrent constraint functional programming CCFL and an abstract machine for the evaluation of CCFL programs in a multicore environment. The source ...
IFIP
2009
Springer
14 years 2 months ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
The newly introduced Microprocessor Architecture for Java Computing MAJC supports parallelism in a hierarchy of levels: multiprocessors on chip,vertical micro threading, instruct...
ASPDAC
2001
ACM
14 years 1 months ago
2001
ACM
Abstract--We present a processor-programmable built-in selftest (BIST) scheme suitable for embedded memory testing in the system-on-a-chip (SOC) environment. The proposed BIST circ...