7092 search results - page 1023 / 1419 » Parallelizing constraint programs |
160
click to vote
ICS
2005
Tsinghua U.
16 years 9 days ago
2005
Tsinghua U.
A key step in program optimization is the determination of optimal values for code optimization parameters such as cache tile sizes and loop unrolling factors. One approach, which...
175
click to vote
IPSN
2005
Springer
16 years 9 days ago
2005
Springer
— Simulation can be an important step in the development of software for wireless sensor networks and has been the subject of intense research in the past decade. While most prev...
181
click to vote
WEA
2005
Springer
16 years 8 days ago
2005
Springer
Ordered Binary Decision Diagrams (OBDDs) are a data structure for Boolean functions which supports many useful operations. It finds applications in CAD, model checking, and symbol...
186
click to vote
ICA3PP
2005
Springer
16 years 7 days ago
2005
Springer
Shared Memory is an interesting communication paradigm for SMP machines and clusters. Weak consistency models have been proposed to improve efficiency of shared memory applications...
169
Voted
ECOOPW
2003
Springer
16 years 1 days ago
2003
Springer
levels of abstraction. Lacking well-established technologies and models for representing and accessing program dynamics, tools must use ad-hoc mechanisms. This limits reuse and int...