10055 search results - page 1248 / 2011 » Structured programming using processes |
199
Voted
ICALP
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We study the use of the elaboration preorder (due to ArunKumar and Natarajan) in the framework of up-to techniques for weak bisimulation. We show that elaboration yields ...
187
click to vote
IFIP
2004
Springer
16 years 25 days ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
169
click to vote
ISMIR
2004
Springer
16 years 25 days ago
2004
Springer
We present a new method for establishing an alignment between a polyphonic musical score and a corresponding sampled audio performance. The method uses a graphical model containin...
157
click to vote
HICSS
2000
IEEE
15 years 12 months ago
2000
IEEE
We describe the implementation and use of a reverse compiler from Analog Devices 21xx assembler source to ANSI-C with optional use of the language extensions for the TMS320C6x pr...
179
click to vote
UIST
1999
ACM
15 years 11 months ago
1999
ACM
This paper describes a novel physical icon [3] or “phicon-” based system that can be programmed to issue a range of commands about what the user wishes to do with handdrawn wh...