3388 search results - page 420 / 678 » Type-theoretic design patterns |
173
click to vote
SAC
2004
ACM
16 years 1 days ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...
143
click to vote
ACRI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Genetic Algorithms have been used before to evolve transition rules for one dimensional Cellular Automata (CA) to solve e.g. the majority problem and investigate communic...
144
click to vote
CIKM
2004
Springer
16 years 1 days ago
2004
Springer
The daily use of Internet-based services is involved with hundreds of different tasks being performed by multiple users. A single task is typically involved with a sequence of Web...
196
click to vote
GECCO
2004
Springer
16 years 18 hour ago
2004
Springer
This article summarizes two experiments utilizing building blocks to find analog electronic circuits on a CMOS Field Programmable Transistor Array (FPTA). The FPTA features 256 pr...
141
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...