4386 search results - page 376 / 878 » A Tamper-Resistant Programming Language System |
148
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...
120
click to vote
HASKELL
2008
ACM
15 years 5 months ago
2008
ACM
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
133
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
The AgentSpeak agent-oriented programming language has recently been extended with a number of new features, such as speech-act based communication, internal belief additions, and...
136
click to vote
ENTCS
2007
15 years 3 months ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
175
click to vote
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...