90 search results - page 6 / 18 » Parallel Assignments in Software Model Checking |
183
click to vote
CGO
2009
IEEE
16 years 19 days ago
2009
IEEE
—The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. This model allows programmers to sp...
164
click to vote
LCPC
2007
Springer
15 years 12 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
159
Voted
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a periodic diagnostic algorithm based on the testing model of computation for real-time systems. The diagnostic task runs on every processor of the system. When the task...
173
click to vote
IJON
2007
15 years 5 months ago
2007
Parallel computers have the computing power needed to simulate biologically accurate neuronal network models. Partitioning is the process of cutting a model in pieces and assignin...
164
Voted
KBSE
2008
IEEE
16 years 6 days ago
2008
IEEE
Reportedly, supercomputer designer Seymour Cray once said that he would sooner use two strong oxen to plow a field than a thousand chickens. Although this is undoubtedly wise when...