Sciweavers

22 search results - page 5 / 5
» Decision problems for pushdown threads
Sort
View
187
Voted
IJCAI
1989
15 years 4 months ago
Preprocessing Search Spaces for Branch and Bound Search
Heuristic search procedures are useful in a large number of problems of practical importance. Such procedures operate by searching several paths in a search space at the same time...
Qiang Yang, Dana S. Nau
126
Voted
LCTRTS
2009
Springer
15 years 10 months ago
Software transactional memory for multicore embedded systems
Embedded systems, like general-purpose systems, can benefit from parallel execution on a symmetric multicore platform. Unfortunately, concurrency issues present in general-purpos...
Jennifer Mankin, David R. Kaeli, John Ardini