7103 search results - page 1175 / 1421 » Program Generation and Components |
122
Voted
SPIN
2001
Springer
15 years 8 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
126
Voted
ASPLOS
2000
ACM
15 years 8 months ago
2000
ACM
The emergence of the Internet as a trusted medium for commerce and communication has made cryptography an essential component of modern information systems. Cryptography provides ...
134
Voted
DL
1999
Springer
15 years 8 months ago
1999
Springer
Digital libraries of music have the potential to capture popular imagination in ways that more scholarly libraries cannot. We are working towards a comprehensive digital library o...
151
Voted
OOPSLA
1999
Springer
15 years 8 months ago
1999
Springer
Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object spa...
176
Voted
ASPLOS
1996
ACM
15 years 7 months ago
1996
ACM
Branch prediction is an important mechanism in modern microprocessor design. The focus of research in this area has been on designing new branch prediction schemes. In contrast, v...