217 search results - page 29 / 44 » Providing Serializability for Pregel-like Graph Processing S... |
118
Voted
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
146
Voted
VIS
2007
IEEE
16 years 4 months ago
2007
IEEE
The effectiveness of direct volume rendering is difficult to validate and users may not know whether they have successfully explored the data or not. This limits its applications....
147
Voted
SIGADA
1999
Springer
15 years 7 months ago
1999
Springer
In this paper we will demonstrate how Ada and its Distributed Annex may be used to relocate concurrent objects in a distributed data ow application. This relocation mechanism will...
143
click to vote
DDEP
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Notations like SGML and XML represent document structures using tree structures; while this is in general a step forward from earlier systems, it creates certain difficul...
175
Voted
FPGA
2010
ACM
15 years 3 months ago
2010
ACM
We use reconfigurable hardware to construct a high throughput Bayesian computing machine (BCM) capable of evaluating probabilistic networks with arbitrary DAG (directed acyclic gr...