890 search results - page 67 / 178 » Programming language methods in computer security |
129
click to vote
IEEEPACT
2009
IEEE
15 years 6 days ago
2009
IEEE
Efficiently using the hardware capabilities of the Cell processor, a heterogeneous chip multiprocessor that uses several levels of parallelism to deliver high performance, and bei...
131
click to vote
JFP
2008
15 years 2 months ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
216
Voted
POPL
2007
ACM
16 years 2 months ago
2007
ACM
A method is presented for computing all higher-order partial derivatives of a multivariate function Rn R. This method works by evaluating the function under a nonstandard interpre...
131
Voted
SAC
2002
ACM
15 years 2 months ago
2002
ACM
In most of today's agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper...
111
click to vote
OOPSLA
2009
Springer
15 years 9 months ago
2009
Springer
The Task Parallel Library (TPL) is a library for .NET that makes it easy to take advantage of potential parallelism in a program. The library relies heavily on generics and delega...