5235 search results - page 677 / 1047 » Analysis of Multithreaded Programs |
180
click to vote
JCP
2008
15 years 6 months ago
2008
Supply chain risk evaluation is a multi-criteria decision making problem under fuzzy environments. To tackle the problem, this paper firstly identifies and discusses some of the im...
176
click to vote
JCS
2006
15 years 6 months ago
2006
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...
195
click to vote
LISP
2008
15 years 6 months ago
2008
Automatic differentiation is a semantic transformation that applies the rules of differential calculus to source code. It thus transforms a computer program that computes a mathema...
179
click to vote
NAR
2006
15 years 6 months ago
2006
Multiple sequence alignment programs are an invaluable tool in computational biology. A-Bruijn Alignment (ABA) is a method for multiple sequence alignment that represents an align...
147
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...