Sciweavers

3868 search results - page 578 / 774
» A Distributed Parallel Programming Framework
Sort
View
PPOPP
2010
ACM
16 years 3 months ago
Model-driven autotuning of sparse matrix-vector multiply on GPUs
We present a performance model-driven framework for automated performance tuning (autotuning) of sparse matrix-vector multiply (SpMV) on systems accelerated by graphics processing...
Jee W. Choi, Amik Singh, Richard W. Vuduc
ECEASST
2008
110views more  ECEASST 2008»
15 years 6 months ago
Independence Analysis of Firing and Rule-based Net Transformations in Reconfigurable Object Nets
: The main idea behind Reconfigurable Object Nets (RONs) is to support the visual specification of controlled rule-based net transformations of place/transition nets (P/T nets). RO...
Enrico Biermann, Tony Modica
DSVIS
2005
Springer
15 years 12 months ago
A Calculus for the Refinement and Evolution of Multi-user Mobile Applications
The calculus outlined in this paper provides a formal architectural framework for describing and reasoning about the properties of multi-user and mobile distributed interactive sys...
W. Greg Phillips, T. C. Nicholas Graham, Christoph...
178
Voted
ICALP
2003
Springer
15 years 11 months ago
Secrecy in Untrusted Networks
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
Michele Bugliesi, Silvia Crafa, Amela Prelic, Vlad...
DEXAW
1998
IEEE
109views Database» more  DEXAW 1998»
15 years 10 months ago
Expressing Dynamics of Mobile Agent Systems Using Ambient Calculus
The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agentbased systems lack cl...
Peter Stañski, Arkady B. Zaslavsky