2943 search results - page 425 / 589 » Software Implementation of Synchronous Programs |
125
click to vote
BILDMED
2008
15 years 6 months ago
2008
With the broad availability and increasing performance of commodity graphics processors (GPU), non-graphical applications have become an active field of research. However, leveragi...
132
click to vote
WSC
2004
15 years 6 months ago
2004
The IAGO Project explores the question of whether a software model, in the form of a computational model of cognitive behavior, can contribute to better anticipation of asymmetric...
138
click to vote
WSC
1994
15 years 6 months ago
1994
CSIM is a simulation model-building toolkit that is used by C/C++ programmers to implement processoriented, discrete-event simulation models. These models mimic the operation of c...
132
click to vote
UTP
2010
15 years 2 months ago
2010
Abstract. This paper presents a framework for reasoning about the security of confidential data within software systems. A novelty is that we use Hoare and He's Unifying Theor...
142
click to vote
JMLR
2010
14 years 11 months ago
2010
We present a continuous time Bayesian network reasoning and learning engine (CTBN-RLE). A continuous time Bayesian network (CTBN) provides a compact (factored) description of a co...