3091 search results - page 575 / 619 » The Color Between Two Others |
121
click to vote
CICLING
2003
Springer
15 years 8 months ago
2003
Springer
In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible...
146
click to vote
FCT
2003
Springer
15 years 8 months ago
2003
Springer
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a natural extension of bandwidth to partially ordered layo...
152
click to vote
ISSRE
2002
IEEE
15 years 8 months ago
2002
IEEE
An important aspect of developing models relating the number and type of faults in a software system to a set of structural measurement is defining what constitutes a fault. By de...
113
click to vote
SPAA
2010
ACM
15 years 8 months ago
2010
ACM
Transactional memory (TM) has shown potential to simplify the task of writing concurrent programs. Inspired by classical work on databases, formal definitions of the semantics of...
154
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Adaptive Operator Selection (AOS) turns the impacts of the applications of variation operators into Operator Selection through a Credit Assignment mechanism. However, most Credit ...