3256 search results - page 411 / 652 » Applications of Formal Methods to System Design and Verifica... |
146
click to vote
EUSFLAT
2001
15 years 8 months ago
2001
In this paper an iterative learning control design method is depicted, leading to a feedforward controller minimizing tracking error of repetitive trajectories. The approach is ex...
149
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Quality goals have to be under a special consideration during software architectural design. Evolvability constitutes a quality goal with a special relevance for business...
145
click to vote
ICECCS
2007
IEEE
15 years 10 months ago
2007
IEEE
Traditional, standards-based approaches to certification are hugely expensive, of questionable credibility when development is outsourced, and a barrier to innovation. This paper ...
163
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
In order to master the growing complexity of analogue electronic systems, modelling and simulation of analogue hardware at various levels is absolutely necessary. This paper prese...
207
click to vote
DAC
2003
ACM
16 years 7 months ago
2003
ACM
Widespread adoption of reconfigurable devices requires system level synthesis techniques to take an application written in a high level language and map it to the reconfigurable d...