894 search results - page 67 / 179 » Optimizations for LTL Synthesis |
99
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper proposes a novel approach to stability analysis and controller synthesis for discrete-time periodically time-varying systems. Firstly, a relaxation of standard Lyapunov ...
105
click to vote
SBCCI
2009
ACM
15 years 5 months ago
2009
ACM
The multiplication of a variable by multiple constants, i.e., the multiple constant multiplications (MCM), has been a central operation and performance bottleneck in many applicat...
121
click to vote
CODES
2007
IEEE
15 years 7 months ago
2007
IEEE
This article presents a multiprocessor system-on-chip synthesis (MPSoC) algorithm that optimizes system mean time to failure. Given a set of directed acyclic periodic graphs of co...
84
Voted
DATE
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper we present our contribution in terms of synchronization processor for a SoC design methodology based on the theory of the latency insensitive systems (LIS) of Carlon...
ICRA
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract—This paper presents a systematic approach to generate walking primitive databases for anthropomorphic 3D–bipeds allowing step length adaptation, direction changes and ...