1835 search results - page 202 / 367 » Functional Programming of Behavior-Based Systems |
168
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
135
click to vote
TACAS
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
129
Voted
ADAEUROPE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
219
click to vote
SMC
2007
IEEE
15 years 11 months ago
2007
IEEE
— The development of networking and client/server systems over the Internet had led to many collaborative work software applications. To extend the graphic design collaborative p...
156
click to vote
CCGRID
2009
IEEE
15 years 12 months ago
2009
IEEE
Cloud computing systems fundamentally provide access to large pools of data and computational resources through a variety of interfaces similar in spirit to existing grid and HPC ...