Sciweavers

15811 search results - page 350 / 3163
» Search-based software engineering
Sort
View
FSTTCS
1998
Springer
15 years 11 months ago
The Power of Reachability Testing for Timed Automata
Luca Aceto, Patricia Bouyer, Augusto Burgueñ...
APSEC
1997
IEEE
15 years 11 months ago
Towards Constructing a Class Evolution Model
Takako Nakatani, Tetsuo Tamai, Atsushi Tomoeda, Ha...
CODES
1997
IEEE
15 years 11 months ago
System level memory optimization for hardware-software co-design
Koen Danckaert, Francky Catthoor, Hugo De Man
CODES
1997
IEEE
15 years 11 months ago
Modeling micro-controller peripherals for high-level co-simulation and synthesis
Harry Hsieh, Alberto L. Sangiovanni-Vincentelli
COMPSAC
1997
IEEE
15 years 11 months ago
Model-Based Architecture for the Intranet
Hirotaka Hara, Takahide Matsutsuka, Nobuyuki Kanay...