2689 search results - page 321 / 538 » ParalleX: A Study of A New Parallel Computation Model |
201
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
210
click to vote
ISCA
2010
IEEE
16 years 2 days ago
2010
IEEE
Given the multicore microprocessor revolution, we argue that the architecture research community needs a dramatic increase in simulation capacity. We believe FPGA Architecture Mod...
204
click to vote
ICTAC
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. P systems (known also as membrane systems) are biologically motivated theoretical models of distributed and parallel computing. The two most interesting questions in the ...
206
click to vote
DSN
2002
IEEE
16 years 6 days ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
184
click to vote
HPCA
2008
IEEE
16 years 7 months ago
2008
IEEE
Converged fabrics that support data, storage, and cluster networking in a unified fashion are desirable for their cost and manageability advantages. Recent trends towards higher-b...