4917 search results - page 486 / 984 » Software Engineering is Not Computer Science |
173
click to vote
VMCAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
135
click to vote
WADT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
131
click to vote
CISIS
2010
IEEE
15 years 10 months ago
2010
IEEE
—A new parallel programming framework for DNA sequence alignment in homogeneous multi-core processor architectures is proposed. Contrasting with traditional coarse-grained parall...
137
click to vote
COMPSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
The objective of research support systems (RSS) is to support and improve research, which may be viewed as a counterpart of decision support systems (DSS) for scientists. Web-base...
122
Voted
AOSD
2003
ACM
15 years 10 months ago
2003
ACM
Strategic programming is a generic programming idiom for processing compound data such as terms or object structures. At the heart of the approach is the separation of two concern...