1597 search results - page 250 / 320 » A Design Method for Object-Oriented Programming |
201
Voted
POPL
1995
ACM
15 years 7 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...
178
Voted
ECOOP
2010
Springer
15 years 7 months ago
2010
Springer
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
143
Voted
BMCBI
2004
15 years 3 months ago
2004
Background: Large-scale sequence comparison is a powerful tool for biological inference in modern molecular biology. Comparing new sequences to those in annotated databases is a u...
141
Voted
IEEECIT
2010
IEEE
15 years 2 months ago
2010
IEEE
With the increasing popularity of COTS (commercial off the shelf) components and multi-core processor in space and aviation applications, software fault tolerance becomes attracti...
133
Voted
MICRO
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...