8917 search results - page 1706 / 1784 » Abstraction in Algorithm Animation |
137
click to vote
ICDE
2010
IEEE
16 years 3 months ago
2010
IEEE
Scientific workflows are increasingly used for rapid integration of existing algorithms to form larger and more comgrams. Such workflows promise to provide more abstract, yet execu...
135
click to vote
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
Dealing with interference is one of the primary challenges to solve in the design of protocols for wireless ad-hoc networks. Most of the work in the literature assumes localized o...
124
click to vote
POPL
2010
ACM
16 years 19 days ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
126
click to vote
POPL
2010
ACM
16 years 19 days ago
2010
ACM
The automated inference of quantified invariants is considered one of the next challenges in software verification. The question of the right precision-efficiency tradeoff for the...
148
click to vote
PPOPP
2010
ACM
16 years 15 days ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...