2255 search results - page 316 / 451 » High Assurance Software Systems |
189
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
The rapid growth of silicon densities has made it feasible to deploy reconfigurable hardware as a highly parallel computing platform. However, in most cases, the application needs...
153
click to vote
CC
2001
Springer
15 years 10 months ago
2001
Springer
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...
172
click to vote
LCPC
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Processing and analyzing large volumes of data plays an increasingly important role in many domains of scienti c research. We are developing a compiler which processes da...
179
click to vote
AUTONOMICS
2008
ACM
15 years 8 months ago
2008
ACM
In a container transport system, wireless sensor networks (WSNs) can be used for monitoring products while they are being transported. To be commercially interesting, these WSNs m...
193
click to vote
AVI
2010
15 years 8 months ago
2010
Gaze visualizations hold the potential to facilitate usability studies of interactive systems. However, visual gaze analysis in threedimensional virtual environments still lacks m...