1746 search results - page 74 / 350 » Architecture for Agent Programming Languages |
SCAM
2006
IEEE
14 years 2 months ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
DSL
2009
13 years 5 months ago
2009
Abstract. We present the Operator Language (OL), a framework to automatically generate fast numerical kernels. OL provides the structure to extend the program generation system Spi...
ITP
2010
13 years 12 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
IPPS
2000
IEEE
14 years 14 days ago
2000
IEEE
One of the keys for the success of parallel processing is the availability of high-level programming languages for on-the-shelf parallel architectures. Using explicit message passi...
VMV
2004
13 years 9 months ago
2004
In the last few years, GPUs have become new, promising targets for general purpose programming. Their inherent parallel architecture makes them particularly suited for scientific ...