Sciweavers

483 search results - page 61 / 97
» Timing Games and Shared Memory
Sort
View
FSTTCS
2005
Springer
14 years 3 months ago
Reachability Analysis of Multithreaded Software with Asynchronous Communication
We introduce asynchronous dynamic pushdown networks (ADPN), a new model for multithreaded programs in which pushdown systems communicate via shared memory. ADPN generalizes both CP...
Ahmed Bouajjani, Javier Esparza, Stefan Schwoon, J...
IPPS
1999
IEEE
14 years 2 months ago
PM-PVM: A Portable Multithreaded PVM
PM-PVM is a portable implementation of PVM designed to work on SMP architectures supporting multithreading. PM-PVM portability is achieved through the implementation of the PVM fu...
Claudio M. P. Santos, Júlio S. Aude
IPPS
1996
IEEE
14 years 2 months ago
Implementing the Data Diffusion Machine Using Crossbar Routers
The Data Diffusion Machine is a scalable virtual shared memory architecture. A hierarchical network is used to ensure that all data can be located in a time bounded by O(logp), wh...
Henk L. Muller, Paul W. A. Stallard, David H. D. W...
IJWBC
2006
58views more  IJWBC 2006»
13 years 10 months ago
UnaWare: supporting tacit design knowledge exchange
: DYNAMO (Dynamic Architectural Memory Online) is an interactive platform to share ideas, knowledge and insights in the form of concrete building projects among designers in differ...
Ann Heylighen, Mathias Casaer, Herman Neuckermans
DATE
2002
IEEE
117views Hardware» more  DATE 2002»
14 years 2 months ago
Effective Software Self-Test Methodology for Processor Cores
Software self-testing for embedded processor cores based on their instruction set, is a topic of increasing interest since it provides an excellent test resource partitioning tech...
Nektarios Kranitis, Antonis M. Paschalis, Dimitris...