1746 search results - page 252 / 350 » Architecture for Agent Programming Languages |
102
Voted
EUROSYS
2007
ACM
15 years 9 months ago
2007
ACM
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
139
click to vote
HOPL
2007
15 years 4 months ago
2007
AppleScript is a scripting language and environment for the Mac OS. Originally conceived in 1989, AppleScript allows end-users to automate complex tasks and customize Mac OS appli...
121
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
118
click to vote
IJHPCA
2007
15 years 10 days ago
2007
A key characteristic of today’s high performance computing systems is a physically distributed memory, which makes the efficient management of locality essential for taking adv...
201
Voted
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...