2432 search results - page 184 / 487 » Using simple abstraction to reinvent computing for paralleli... |
140
click to vote
ICPPW
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Most image processing applications are characterized by computation-intensive operations, and high memory and performance requirements. Parallelized implementation on s...
136
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
122
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
119
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract—We study a problem of broadcasting confidential messages to multiple receivers under an information-theoretic secrecy constraint. Two scenarios are considered: 1) all r...
114
click to vote
HPCC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. FAST-EVP is a simulation tool for internal combustion engines running on cluster platforms; it has evolved from the KIVA-3V code base, but has been extensively rewritten ...