1999 search results - page 296 / 400 » Dependently Typed Grammars |
177
click to vote
CPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Compressed pattern matching is one of the most active topics in string matching. The goal is to find all occurrences of a pattern in a compressed text without decompress...
186
click to vote
EMO
2001
Springer
15 years 11 months ago
2001
Springer
This paper studies the influence of what are recognized as key issues in evolutionary multi-objective optimization: archiving (to keep track of the current non-dominated solutions...
154
click to vote
SAFECOMP
2001
Springer
15 years 10 months ago
2001
Springer
This paper focuses on the development of a conceptual framework for integrating fault injection mechanisms into the RDD-100 tool2 to support the dependability analysis of computer...
177
click to vote
BMAS
2000
IEEE
15 years 10 months ago
2000
IEEE
This article introduces the concept of combining both form (CAD models) and behavior (simulation models) of mechatronic system components into component objects. By composing thes...
148
click to vote
ECBS
2000
IEEE
15 years 10 months ago
2000
IEEE
Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineeri...