19587 search results - page 3756 / 3918 » Systems Engineering for software Engineers |
156
click to vote
CAV
1997
Springer
15 years 8 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
159
Voted
SC
1995
ACM
15 years 8 months ago
1995
ACM
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
146
Voted
DBPL
1991
Springer
15 years 8 months ago
1991
Springer
We propose a programming paradigm that tries to get close to both the semantic simplicity of relational algebra, and the expressive power of unrestricted programming languages. It...
146
click to vote
ICDE
1987
IEEE
15 years 8 months ago
1987
IEEE
: Previous multidimensional dynamic hashing schemes exhibit two obvious shortcomings. First, even for uniform record distribution, the retrieval performance of these schemes suffer...
148
click to vote
GECCO
2010
Springer
15 years 8 months ago
2010
Springer
Multiobjective evolutionary algorithms have long been applied to engineering problems. Lately they have also been used to evolve behaviors for intelligent agents. In such applicat...