6149 search results - page 629 / 1230 » Revealing the programming process |
185
click to vote
ICALP
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. We present a finite ω-complete axiomatization for the process algebra BCCSP modulo failure semantics, in case of a finite alphabet. This solves an open question by Gro...
162
click to vote
IWINAC
2005
Springer
16 years 22 days ago
2005
Springer
The evolutionary algorithms can be considered as a powerful and interesting technique for solving large kinds of control problems. However, the great disadvantage of the evolutiona...
203
click to vote
EH
2003
IEEE
16 years 16 days ago
2003
IEEE
Reuse will become increasingly important as larger digital and analog circuits are created by the techniques of the field of evolvable hardware. This paper discusses the ways by w...
162
click to vote
MSE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper summarizes the background and history leading to the development, adoption, and implementation of ABET's Engineering Criteria 2000 (EC2000). A sampling of program ...
231
click to vote
SIGGRAPH
1994
ACM
15 years 11 months ago
1994
ACM
We describe a data visualization system based on spreadsheets. Cells in our spreadsheet contain graphical objects such as images, volumes, or movies. Cells may also contain widget...