30240 search results - page 372 / 6048 » Robust System Design |
187
click to vote
PEPM
1999
ACM
15 years 11 months ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
189
click to vote
CDVE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. "Web 2.0" is a term frequently mentioned in media - apparently, applications such as Wikipedia, Social Network Services, Online Shops with integrated recommende...
149
click to vote
SIAMSC
2008
15 years 6 months ago
2008
We develop a computational method for simulating models of gel dynamics where the gel is described by two phases, a networked polymer and a fluid solvent. The models consist of tra...
166
click to vote
GECCO
1999
Springer
15 years 11 months ago
1999
Springer
This paper explores the use of growth processes, or embryogenies, to map genotypes to phenotypes within evolutionary systems. Following a summary of the significant features of em...
192
click to vote
Source Code
VXL is a collection of C++ libraries designed for computer vision research and implementation. VXL is written in ANSI/ISO C++ and is designed to be portable over many platforms. Th...