208 search results - page 10 / 42 » ipps 1998 |
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Abstract. We extend the refinement calculus to permit the derivation of programs in the Bulk Synchronous Parallelism (BSP) style. This demonstrates that formal approaches developed...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
We study the automation of the verification of Unity programs with infinite or parameterized state space. This paper presents methods allowing the transformation of some second-ord...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
This study1 explores the applicability of fully automatic parallelizing techniques for parallel computers. In this study, we capitalize on a variety of traditional compiling techn...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Given an (undirected) graph G = V; E; a clique of G is a subset of vertices in which every pair is connected by an edge. The problem of finding a clique of maximum size is a class...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Dynamicreconfigurationoffieldprogrammablegatearrays(FPGAs)hasrecentlyemergedasthenextstepinreconfigurable computing. Sanders,ALockheedMartinCompany,isdevelopingtheenablingtechnolo...