6149 search results - page 942 / 1230 » Revealing the programming process |
226
click to vote
BIRTHDAY
2004
Springer
16 years 4 days ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
201
Voted
FORMATS
2004
Springer
16 years 3 days ago
2004
Springer
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
170
click to vote
GECCO
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. Bloat control is an important aspect of evolutionary computation methods, such as genetic programming, which must deal with genomes of arbitrary size. We introduce three ...
191
click to vote
UML
2004
Springer
16 years 2 days ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...
183
click to vote
CLUSTER
2003
IEEE
16 years 1 days ago
2003
IEEE
Memory may be the only system component that is more commoditized than a microprocessor. To simultaneously exploit this and address the impending memory wall, processing in memory...