1494 search results - page 81 / 299 » Less Extreme Programming |
125
click to vote
HPCA
2006
IEEE
16 years 2 months ago
2006
IEEE
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
142
click to vote
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
A limited form of dependent types, called Generalized Algebraic Data Types (GADTs), has recently been added to the list of Haskell extensions supported by the Glasgow Haskell Comp...
136
click to vote
ECOOP
2005
Springer
15 years 8 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
151
Voted
ICS
2004
Tsinghua U.
15 years 7 months ago
2004
Tsinghua U.
Studying program behavior is a central component in architectural designs. In this paper, we study and exploit one aspect of program behavior, the behavior repetition, to expedite...
161
click to vote
BMCBI
2002
15 years 2 months ago
2002
Background: Covariance models (CMs) are probabilistic models of RNA secondary structure, analogous to profile hidden Markov models of linear sequence. The dynamic programming algo...