219 search results - page 32 / 44 » Automatic Verification of Determinism for Structured Paralle... |
105
click to vote
AAAI
1992
14 years 11 months ago
1992
Effective problem-solving about complex engineered devices requires device models that are both adequate for the problem and computationally efficient . Producing such models requ...
IWMM
1992
Springer
15 years 1 months ago
1992
Springer
Abstract. Automatic storage management is important in highly parallel programming environments where large numbers of objects and processes are being constantly created and discar...
HPCN
1994
Springer
15 years 1 months ago
1994
Springer
The exact knowledge of the heat flow in heterojunction bipolar transistors (HBT) during power operation is an important key factor for the systematic improvement of power density,...
ACSD
2010
IEEE
14 years 7 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
102
click to vote
FCCM
2008
IEEE
15 years 4 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...