10707 search results - page 342 / 2142 » Designing executable abstractions |
126
click to vote
AC
2002
Springer
15 years 4 months ago
2002
Springer
Abstract. Delay-Insensitive Sequential Processes is a structured, parallel programming language. It facilitates the clear, succinct and precise specification of the way an asynchro...
112
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
asks abstracted from observation of typical search tasks performed by 48 participants using a modified Google interface. Kelly and Belkin defined context of search more broadly tha...
118
click to vote
SP
1999
IEEE
15 years 9 months ago
1999
IEEE
This work introduces a new approach to code safety. We present Naccio, a system architecture that allows a large class of safety policies to be expressed in a general and platform...
116
click to vote
IH
1999
Springer
15 years 9 months ago
1999
Springer
In this paper, we focus on a step of the watermarking process whose importance has been disregarded so far. In this perspective, we introduce the vector extraction paradigm which i...
128
click to vote
FMOODS
2007
15 years 6 months ago
2007
Abstract. Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in funct...