Sciweavers

15777 search results - page 148 / 3156
» Engineering in Software
Sort
View
108
Voted
COMPSAC
1997
IEEE
15 years 7 months ago
An optimization of disjunctive queries: union-pushdown
Jae-young Chang, Sang-goo Lee
105
Voted
CODES
1996
IEEE
15 years 7 months ago
Speed-up estimation for HW/SW-systems
Wolfram Hardt, Wolfgang Rosenstiel
127
Voted
AMAST
1997
Springer
15 years 7 months ago
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)
Patrick Cousot, Radhia Cousot
103
Voted
ARCS
1997
Springer
15 years 7 months ago
Kapselung mobiler Programme
Lars Reuther, Hermann Härtig