Sciweavers

1003 search results - page 144 / 201
» How to Parallelize Sequential Processes
Sort
View
IPPS
2000
IEEE
15 years 5 months ago
ClusterNet: An Object-Oriented Cluster Network
Abstract. Parallel processing is based on utilizing a group of processors to efficiently solve large problems faster than is possible on a single processor. To accomplish this, the...
Raymond Hoare
HCW
1999
IEEE
15 years 5 months ago
An On-Line Performance Visualization Technology
We present a new software technology for on-line performance analysis and visualization of complex parallel and distributed systems. Often heterogeneous, these systems need capabi...
Aleksandar M. Bakic, Matt W. Mutka, Diane T. Rover
IPPS
1999
IEEE
15 years 5 months ago
Mechanical Verification of a Garbage Collector
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
Klaus Havelund
CSCW
1996
ACM
15 years 5 months ago
Hypermedia Structures and the Division of Labor in Meeting Room Collaboration
The type of collaboration for a group, whether working in parallel or collectively, is a style for a group influenced by many factors, among them the technology that the group wor...
Gloria Mark, Jörg M. Haake, Norbert A. Streit...
96
Voted
EUROPAR
2006
Springer
15 years 5 months ago
PAM-SoC: A Toolchain for Predicting MPSoC Performance
In the past, research on Multiprocessor Systems-on-Chip (MPSoC) has focused mainly on increasing the available processing power on a chip, while less effort was put into specific s...
Ana Lucia Varbanescu, Henk J. Sips, Arjan J. C. va...