1173 search results - page 192 / 235 » Program Derivation Using Analogy |
116
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
The memory consistency model is a fundamental system property characterizing a multiprocessor. The relative merits of strict versus relaxed memory models have been widely debated ...
144
click to vote
Publication
In this paper we address the problem of defining a measure of diversity for a population of individuals whose genome can be subjected to major reorganizations during the evolution...
171
click to vote
ISCA
2012
IEEE
13 years 4 months ago
2012
IEEE
Soft error reliability has become a first-order design criterion for modern microprocessors. Architectural Vulnerability Factor (AVF) modeling is often used to capture the probab...
103
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Auctions are an important means for purchasing material in the era of e-commerce. Research on auctions often studies them in isolation. In practice, however, auction agents are pa...
143
click to vote
OOPSLA
2010
Springer
15 years 21 days ago
2010
Springer
Domain-specific languages offer high expressive power foa particular problem domain, abstracting over the accidental complexity associated with traditional software development. ...