5090 search results - page 704 / 1018 » Constructing Strategies for Programming |
138
click to vote
AHS
2007
IEEE
16 years 1 months ago
2007
IEEE
Finite impulse response (FIR) structures are the most commonly used digital filters and can be found in various areas of everyday life. In this paper we introduce a novel approac...
216
click to vote
ADBIS
2007
Springer
16 years 27 days ago
2007
Springer
ODRA (Object Database for Rapid Application development) is an object-oriented application development environment currently being constructed at the Polish-Japanese Institute of I...
165
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
184
click to vote
CC
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We introduce a new framework for elimination-based data flow analysis. We present a simple algorithm and a delayed algorithm that exhibit a worstcase complexity of O(n2 ...
172
click to vote
CONCUR
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...