8917 search results - page 1713 / 1784 » Abstraction in Algorithm Animation |
123
click to vote
OTM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Web portals hosting large-scale internet applications have become popular due to the variety of services they provide to their users. These portals are developed using co...
157
Voted
QOSA
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Component interfaces, as advanced by the Common Component Architecture (CCA), enable easy access to complex software packages for high-performance scientific computing. ...
142
click to vote
SAT
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new method to break symmetry in graph coloring problems. While most alternative techniques add symmetry breaking predicates in a pre-processing step, we deve...
162
click to vote
HASKELL
2009
ACM
15 years 9 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
140
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...