448 search results - page 83 / 90 » Dynamic Algorithms for the Dyck Languages |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Decision-support requires the gathering and presentation of information, but is subject to many kinds of resource restrictions (e.g. cost, length, time). Individual users differ n...
PPOPP
2010
ACM
15 years 6 months ago
2010
ACM
We present Lazy Binary Splitting (LBS), a user-level scheduler of nested parallelism for shared-memory multiprocessors that builds on existing Eager Binary Splitting work-stealing...
77
Voted
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
109
click to vote
ASPLOS
2004
ACM
15 years 3 months ago
2004
ACM
Increased integration in the form of multiple processor cores on a single die, relatively constant die sizes, shrinking power envelopes, and emerging applications create a new cha...