3456 search results - page 65 / 692 » Algorithms for Interface Synthesis |
CHI
2007
ACM
14 years 9 months ago
2007
ACM
The goals of this workshop are: (1) to bring together the community of researchers who are exploring innovative design theories and different design methodologies; (2) to evaluate...
HYBRID
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. In this paper, we demonstrate a novel hybrid control synthesis approach using an automotive suspension system. Discrete abstractions are used to approximate the continuou...
ICASSP
2009
IEEE
14 years 25 days ago
2009
IEEE
We provide an analysis of the algorithms necessary for the optimal use of multidimensional signal reconstruction from multichannel acquisition. Firstly, we provide computable cond...
ICCD
1997
IEEE
14 years 16 days ago
1997
IEEE
Asynchronous systems are being viewed as an increasingly viable alternative to purely synchronous systems. This paper gives an overview of the current state of the art in practica...
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
Ranking function synthesis is a key aspect to the success of modern termination provers for imperative programs. While it is wellknown how to generate linear ranking functions for ...