Sciweavers

1620 search results - page 43 / 324
» An Annotation-Based Framework for Parallel Computing
Sort
View
IPPS
2003
IEEE
15 years 7 months ago
Towards a Theory of Bisimulation for a Fragment of Verilog
In this paper, we have developed an operational semantic framework for a non-trival subset of Verilog which features event–driven computation, shared variable concurrency. The b...
Li Yongjian, Jifeng He
MIDDLEWARE
2007
Springer
15 years 8 months ago
A domain-independent middleware framework for context-aware applications
Rossano P. Pinto, Eleri Cardozo, Paulo R. S. L. Co...
PPAM
2007
Springer
15 years 8 months ago
The Vine Toolkit: A Java Framework for Developing Grid Applications
Michael Russell, Piotr Dziubecki, Piotr Grabowski,...
EUROPAR
2006
Springer
15 years 6 months ago
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, bu...
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Mas...