2233 search results - page 155 / 447 » Modular type classes |
140
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Object invariants describe the consistency of object-oriented data structures and are central to reasoning about the correctness of object-oriented software. Yet, reasoni...
170
Voted
KBSE
2002
IEEE
15 years 10 months ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
144
Voted
PADS
1996
ACM
15 years 9 months ago
1996
ACM
Advances in massively parallel platforms are increasing the prospects for high performance discrete event simulation. Still the di culty in parallel programming persists and there...
162
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
Encapsulation of states in object-oriented programs hinders the search for test data using evolutionary testing. As client code is oblivious to the internal state of a server obje...
150
Voted
AUTOMATICA
2010
15 years 5 months ago
2010
We consider a class of systems influenced by perturbations that are nonlinearly parameterized by unknown constant parameters, and develop a method for estimating the unknown param...