5962 search results - page 706 / 1193 » Working with Patterns and Code |
168
click to vote
HVC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
181
click to vote
ASAP
2006
IEEE
15 years 10 months ago
2006
IEEE
State-of-the-art communication standards make extensive use of Turbo codes. The complex and power consuming designs that currently implement the turbo decoder expose the need for ...
182
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Semantic Web promises to provide timely, targeted access to user-specified information online. Though standardized services exist for performing this work, specifying...
232
click to vote
ESAW
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
196
click to vote
GECCO
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, an object-oriented unified optimization framework (UOF) for general problem optimization is proposed. Based on evolutionary algorithms, numerical deterministic meth...