6961 search results - page 1165 / 1393 » Domain-Oriented design Environments |
172
click to vote
IEEEPACT
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents the Cameron Project 1 , which aims to provide a high level, algorithmic language and optimizing compiler for the development of image processing applications o...
163
click to vote
INFOCOM
1999
IEEE
15 years 10 months ago
1999
IEEE
Networks that support multiple services through "link-sharing" must address the fundamental conflicting requirement between isolation among service classes to satisfy ea...
157
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Adaptive parallel computations--computations that can adapt to changes in resource availability and requirement--can effectively use networked machines because they dynamically ex...
185
click to vote
IWCC
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper, we propose a novel Single I/O Space architecture for achieving a Single System Image (SSI) at the I/O subsystem level. This is very much desired in a scalable clust...
175
click to vote
LICS
1999
IEEE
15 years 10 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...