1002 search results - page 93 / 201 » Towards Graph Programs for Graph Algorithms |
132
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
126
Voted
DATE
2002
IEEE
15 years 7 months ago
2002
IEEE
Optimizing power consumption at high-level is a critical step towards power-efficient digital system designs. This paper addresses the power management problem by scheduling a giv...
111
Voted
EMNLP
2006
15 years 4 months ago
2006
We investigate the problem of learning a part-of-speech (POS) lexicon for a resource-poor language, dialectal Arabic. Developing a high-quality lexicon is often the first step tow...
129
click to vote
PPOPP
2012
ACM
13 years 10 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
150
click to vote
SOFTVIS
2010
ACM
15 years 2 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...