Sciweavers

1855 search results - page 73 / 371
» A coding theorem for distributed computation
Sort
View
ICS
1992
Tsinghua U.
15 years 4 months ago
The CODE 2.0 graphical parallel programming language
CODE 2.0 is a graphical parallel programming system that targets the three goals of ease of use, portability, and production of efficient parallel code. Ease of use is provided by...
Peter Newton, James C. Browne
122
Voted
CASSIS
2004
Springer
15 years 4 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
IPPS
2003
IEEE
15 years 5 months ago
A Compilation Framework for Distributed Memory Parallelization of Data Mining Algorithms
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
Xiaogang Li, Ruoming Jin, Gagan Agrawal
HPCC
2007
Springer
15 years 6 months ago
Strategies and Implementation for Translating OpenMP Code for Clusters
OpenMP is a portable shared memory programming interface that promises high programmer productivity for multithreaded applications. It is designed for small and middle sized shared...
Deepak Eachempati, Lei Huang, Barbara M. Chapman
ECOOPW
1999
Springer
15 years 4 months ago
Understanding Object Oriented Software Systems without Source Code Inspection
An approach for metrics-based tool support for the task of understanding object oriented software systems is presented. It stresses the combined presentation of structural informa...
Gerd Köhler, Heinrich Rust, Frank Simon