4067 search results - page 381 / 814 » Programs for Applying Symmetries |
172
click to vote
CSMR
2005
IEEE
16 years 14 days ago
2005
IEEE
Building reverse engineering or reengineering tools often requires parsers for many different programming languages. The diffusion of dialects and variants makes many available pa...
156
click to vote
ENC
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
181
click to vote
SAC
2005
ACM
16 years 12 days ago
2005
ACM
In this paper, we have briefly explored the aspect-oriented approach as a tool for supporting the software evolution. The aim of this analysis is to highlight the potentiality an...
190
click to vote
SC
2005
ACM
16 years 12 days ago
2005
ACM
In developing High-Performance Computing (HPC) software, time to solution is an important metric. This metric is comprised of two main components: the human effort required develo...
153
click to vote
BIRTHDAY
2005
Springer
16 years 12 days ago
2005
Springer
We present an extension of first-order predicate logic with a novel predicate ‘at t’ meaning intuitively “this term is a variable symbol”. We give simple sequent proof-ru...