Sciweavers

15783 search results - page 204 / 3157
» Evidence-Based Software Engineering
Sort
View
153
Voted
CODES
1996
IEEE
15 years 11 months ago
Speed-up estimation for HW/SW-systems
Wolfram Hardt, Wolfgang Rosenstiel
COMPSAC
1996
IEEE
15 years 11 months ago
Coordination of Systems with Real-Time Properties in Manifold
George A. Papadopoulos, Farhad Arbab
192
Voted
AMAST
1997
Springer
15 years 11 months ago
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)
Patrick Cousot, Radhia Cousot
152
Voted
ARCS
1997
Springer
15 years 11 months ago
Kapselung mobiler Programme
Lars Reuther, Hermann Härtig