2255 search results - page 324 / 451 » High Assurance Software Systems |
143
click to vote
ESCIENCE
2006
IEEE
16 years 9 days ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...
154
click to vote
SAC
2006
ACM
16 years 6 days ago
2006
ACM
Esterel is a concurrent synchronous language for developing reactive systems. As an alternative to the classical software and hardware synthesis paths, the reactive processing app...
169
click to vote
EDOC
2005
IEEE
15 years 12 months ago
2005
IEEE
The web services architecture came as answers to the search for interoperability among applications. In recent years there has been a growing interest in deploying on the Internet...
144
click to vote
IPPS
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper presents the design and implementation of a thread virtual machine, called TNT (or TiNy-Threads) for the IBM Cyclops64 architecture (the latest Cyclops architecture tha...
316
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Data copy is an important compiler optimization which dynamically rearranges the layout of arrays by copying their elements into local buffers. Traditionally, array copy...