4609 search results - page 750 / 922 » Automatic Generation of Sigma-Protocols |
168
click to vote
FATES
2005
Springer
16 years 3 hour ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
159
click to vote
FPL
2005
Springer
16 years 3 hour ago
2005
Springer
This paper addresses exploitation of the capabilities of platform FPGAs to implement embedded networking for systems on chip. In particular, a methodology for exploring trade-offs...
183
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Cray X1 Fortran and C/C++ compilers provide a number of loop transformations, notably vectorization and multistreaming, in order to exploit the multistreaming processor (MSP) hard...
182
click to vote
ICS
2005
Tsinghua U.
15 years 12 months ago
2005
Tsinghua U.
We consider a cluster architecture in which dynamic content is generated by a database back-end and a collection of Web and application server front-ends. We study the effect of t...
149
click to vote
ISMIR
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes a novel music playback interface, called Musicream, which lets a user unexpectedly come across various musical pieces similar to those liked by the user. With...