Sciweavers

2300 search results - page 220 / 460
» Maximally Concurrent Programs
Sort
View
RSP
2006
IEEE
120views Control Systems» more  RSP 2006»
16 years 15 days ago
A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
Isabelle Hurbain, Corinne Ancourt, François...
CIDR
2009
155views Algorithms» more  CIDR 2009»
15 years 7 months ago
LifeRaft: Data-Driven, Batch Processing for the Exploration of Scientific Databases
Workloads that comb through vast amounts of data are gaining importance in the sciences. These workloads consist of "needle in a haystack" queries that are long running ...
Xiaodan Wang, Randal C. Burns, Tanu Malik
TRIER
2002
15 years 6 months ago
Precise Interprocedural Dependence Analysis of Parallel Programs
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...
Markus Müller-Olm
POPL
2009
ACM
16 years 7 months ago
Verifying liveness for asynchronous programs
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
Pierre Ganty, Rupak Majumdar, Andrey Rybalchenko
INFORMS
1998
150views more  INFORMS 1998»
15 years 6 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper