894 search results - page 166 / 179 » Optimizations for LTL Synthesis |
80
Voted
AUTOMATICA
2010
15 years 18 days ago
2010
This paper addresses planning of continuous paths for mobile sensors to reduce uncertainty in some quantities of interest in the future. The mutual information between the measure...
87
Voted
CORR
2010
Springer
15 years 17 days ago
2010
Springer
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
114
click to vote
ENTCS
2008
15 years 16 days ago
2008
This paper reports on the design of a test chip built to test a) a new latency insensitive network fabric protocol and circuits, b) a new synchronizer design, and c) how efficient...
INFSOF
2006
15 years 13 days ago
2006
Contemporary embedded systems quite often employ extremely complicated software consisting of a number of interrelated components, and this has made object-oriented design methodo...
TACO
2008
15 years 11 days ago
2008
r acceptance of FPGAs as a computing device requires a higher level of programming abstraction. ROCCC is an optimizing C to HDL compiler. We describe the code generation approach i...