Sciweavers

10707 search results - page 391 / 2142
» Designing executable abstractions
Sort
View
130
Voted
ECOOPW
1999
Springer
15 years 9 months ago
Extending UML with Aspects: Aspect Support in the Design Phase
Aspect-Oriented Programming (AOP) has been considered ing abstraction principle to reduce the problem of code tangling and make software structure clean and configurable. This pap...
Junichi Suzuki, Yoshikazu Yamamoto
133
Voted
SAFECOMP
1999
Springer
15 years 9 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
DSVIS
1998
Springer
15 years 9 months ago
Inference and Information Resources: A Design Case Study
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...
Robert E. Fields, Nicholas A. Merriam
FMCAD
2007
Springer
15 years 8 months ago
Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs
Abstract--Analog and mixed signal (AMS) designs are important integrated circuits that are usually needed at the interface between the electronic system and the real world. Recentl...
Mohamed H. Zaki, Ghiath Al Sammane, Sofiène...
135
Voted
EUC
2006
Springer
15 years 8 months ago
Co-optimization of Performance and Power in a Superscalar Processor Design
Abstract. As process technology scales down, power wall starts to hinder improvements in processor performance. Performance optimization has to proceed under a power constraint. Th...
Yongxin Zhu, Weng-Fai Wong, Stefan Andrei