2736 search results - page 418 / 548 » Understanding programmer language |
210
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
196
click to vote
VL
2002
IEEE
15 years 11 months ago
2002
IEEE
In recent years, real world objects have been used to reflect information previously shown on the computer screen. While most earlier efforts have required significant developer...
162
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
207
click to vote
ESOP
2001
Springer
15 years 11 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
160
click to vote
ASPLOS
2000
ACM
15 years 10 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 ...