2940 search results - page 149 / 588 » Relational Parametricity and Control |
141
click to vote
RELMICS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
123
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
Security is a crucial aspect in any modern software system. To ensure security in the final product, security requirements must be considered in the entire software development p...
114
click to vote
IPPS
1996
IEEE
15 years 8 months ago
1996
IEEE
The growing disparity between processor and memory speeds has caused memory bandwidth to become the performance bottleneck for many applications. In particular, this performance g...
148
click to vote
ICAD
2004
15 years 6 months ago
2004
The aim of this paper is to investigate the possibility of using the spatial extent of sound sources as a mean of carrying information in sonification designs. To do so, we studie...
142
click to vote
JLP
2006
15 years 4 months ago
2006
We investigate the connections between the process algebra for hybrid systems of Bergstra and Middelburg and the formalism of hybrid automata of Henzinger et al. We give interpreta...