159 search results - page 14 / 32 » Code Synthesis for Timed Automata |
153
Voted
CODES
1998
IEEE
15 years 7 months ago
1998
IEEE
The implementation of codesign applications generally requires the use of heterogeneous resources (e.g., processor cores, hardware accelerators) in one system. Interfacing hardwar...
117
Voted
WSC
2007
15 years 5 months ago
2007
The simulation of group-work interaction is significant for Chinese enterprise organizational management. As a result, a cellular-automata based simulation model is put forward. T...
146
click to vote
FORMATS
2006
Springer
15 years 6 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
120
Voted
ISSS
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper concerns automatic hardware synthesis from data flow graph (DFG) specification in system level design. In the presented design methodology, each node of a data flow gra...
130
Voted
POPL
2010
ACM
16 years 5 days ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...