4067 search results - page 424 / 814 » Programs for Applying Symmetries |
187
click to vote
PODS
2008
ACM
16 years 6 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
187
Voted
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
We introduce the All-Termination(T) problem: given a termination solver, T, and a program (a set of functions), find every set of formal arguments whose consideration is sufficie...
151
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we propose a scalable and transparent parallelization scheme using threads for multi-core processor. The performance achieved by our scheme is scalable to the num...
171
click to vote
TOOLS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many researchers claim that crosscutting concerns, which emerge in early software development stages, are harmful to software stability. On the other hand, there is a lack of effec...
177
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Aspect-oriented programming (AOP) languages introduce new constructs that can lead to new types of faults, which must be targeted by testing techniques. In particular, AOP languag...