Sciweavers

1675 search results - page 184 / 335
» A Structured Approach to Parallel Programming: Methodology a...
Sort
View
HPCA
2006
IEEE
16 years 4 months ago
Completely verifying memory consistency of test program executions
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
Chaiyasit Manovit, Sudheendra Hangal
EDO
2000
Springer
15 years 7 months ago
The Importance of Resource Management in Engineering Distributed Objects
: Middleware technologies such as CORBA and DCOM have been developed as a means of tackling heterogeneity and complexity problems inherent in distributed systems. However, more wor...
Hector A. Duran-Limon, Gordon S. Blair
TAPSOFT
1997
Springer
15 years 8 months ago
Specifying Complex and Structured Systems with Evolving Algebras
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
Wolfgang May
WSC
2004
15 years 5 months ago
An Automatic Distributed Simulation Environment
Developing a sequential simulation program is not an easy task. Developing a distributed simulation program is harder than a sequential one because it is necessary to deal with ma...
Sarita Mazzini Bruschi, Regina Helena Carlucci San...
CASES
2007
ACM
15 years 8 months ago
Compiler generation from structural architecture descriptions
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
Florian Brandner, Dietmar Ebner, Andreas Krall