159 search results - page 16 / 32 » Code Synthesis for Timed Automata |
125
click to vote
ACSD
2010
IEEE
15 years 12 days ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
143
Voted
CODES
2007
IEEE
15 years 8 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...
137
click to vote
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Hybrid systems are an appropriate formalism to model embedded systems as they capture the theme of continuous dynamics with discrete control. A simple extension, a network of comm...
149
click to vote
SCOPES
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
120
click to vote
CODES
1999
IEEE
15 years 6 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...