3378 search results - page 138 / 676 » A universe of binding and computation |
NIME
2004
Springer
15 years 3 months ago
2004
Springer
New Interfaces for Musical Expression must speak to the nature of ‘instrument’, that is, it must always be understood that the interface binds to a complex musical phenomenon....
ICPP
2000
IEEE
15 years 2 months ago
2000
IEEE
Message-passing is a well known approach for parallelizing programs. The widely used standard MPI (Message passing interface) also defines C++ bindings. Nevertheless, there is a ...
CONCUR
1997
Springer
15 years 2 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
DAC
1996
ACM
15 years 2 months ago
1996
ACM
: Electromigration induced degradation in integrated circuits has been accelerated by continuous scaling of device dimensions. We present a methodology for synthesizing high-reliab...
FOCS
1989
IEEE
15 years 2 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...