22560 search results - page 4242 / 4512 » Development of Transportation Systems |
223
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
The Air Force has enthusiastically endorsed, at its most senior levels, advanced thinking with regard to the application of information technology. Recently, the notion of a Joint...
162
click to vote
NOMS
2000
IEEE
15 years 11 months ago
2000
IEEE
The Distributed Resource Controller (DRC) technology described in this paper provides a novel approach to interfacing applications with emerging network mechanisms to deliver Qual...
140
click to vote
ASPLOS
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the architecture and implementation of the AlphaServer GS320, a cache-coherent non-uniform memory access multiprocessor developed at Compaq. The AlphaServer G...
236
click to vote
POPL
2000
ACM
15 years 11 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
174
click to vote
BIRTHDAY
2000
Springer
15 years 11 months ago
2000
Springer
Niklaus Wirth has received much deserved fame for the creation of Pascal, but in many ways, he subsequently became a victim of Pascal's success. In an age of rising specializ...