BornBaby Model for Software Synthesis

Data Analytics and Learning - Lecture Notes in Networks and Systems ◽

10.1007/978-981-13-2514-4_33 ◽

2018 ◽

pp. 403-412

Author(s):

H. L. Gururaj ◽

B. Ramesh

Keyword(s):

Software Synthesis

Download Full-text

Efficient Software Synthesis for Dynamic Single Appearance Scheduling of Synchronous Dataflow

IEEE Embedded Systems Letters ◽

10.1109/les.2009.2039851 ◽

2009 ◽

Vol 1 (3) ◽

pp. 69-72 ◽

Author(s):

Weichen Liu ◽

Zonghua Gu ◽

Jiang Xu

Keyword(s):

Software Synthesis ◽

Synchronous Dataflow ◽

Efficient Software

Download Full-text

Modulo-addressing utilization in automatic software synthesis for digital signal processors

1997 IEEE International Conference on Acoustics, Speech, and Signal Processing ◽

10.1109/icassp.1997.599861 ◽

2002 ◽

Author(s):

M. Willems ◽

H. Keding ◽

V. Zivojnovic ◽

H. Meyr

Keyword(s):

Digital Signal ◽

Digital Signal Processors ◽

Software Synthesis ◽

Automatic Software ◽

Signal Processors

Download Full-text

Software synthesis with sketching

Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '08 ◽

10.1145/1328408.1328409 ◽

2008 ◽

Author(s):

Rastislav Bodik

Keyword(s):

Software Synthesis

Download Full-text

Implementing option-pricing models using software synthesis

Computing in Science & Engineering ◽

10.1109/5992.805136 ◽

1999 ◽

Vol 1 (6) ◽

pp. 54-64 ◽

Author(s):

J. Gatheral ◽

Y. Epelbaum ◽

Jining Han ◽

K. Laud ◽

O. Lubovitsky ◽

...

Keyword(s):

Option Pricing ◽

Pricing Models ◽

Software Synthesis

Download Full-text

A Method of Software Synthesis for Interlocking in Railway Signalling using Safe PLC (Programmable Logic Controller)

IEEJ Transactions on Industry Applications ◽

10.1541/ieejias.120.88 ◽

2000 ◽

Vol 120 (1) ◽

pp. 88-95

Author(s):

Ikumasa Okumura ◽

Toshikatsu Watanabe ◽

Noboru Itoh ◽

Ritsuo Mihira ◽

Manfred Shumacher

Keyword(s):

Programmable Logic Controller ◽

Programmable Logic ◽

Software Synthesis ◽

Railway Signalling

Download Full-text

Software Synthesis from Statechart Models for Real Time Systems

Distributed and Parallel Embedded Systems ◽

10.1007/978-0-387-35570-2_6 ◽

1999 ◽

pp. 73-81 ◽

Author(s):

Claude Ackad

Keyword(s):

Real Time ◽

Real Time Systems ◽

Software Synthesis ◽

Download Full-text

Multi-thread graph: a system model for real-time embedded software synthesis

Proceedings European Design and Test Conference. ED & TC 97 ◽

10.1109/edtc.1997.582403 ◽

2002 ◽

Author(s):

F. Thoen ◽

J. Van Der Steen ◽

G. de Jong ◽

G. Goossens ◽

H. De Man

Keyword(s):

Real Time ◽

Embedded Software ◽

System Model ◽

Software Synthesis

Download Full-text

Software synthesis for real-time information processing systems

ACM SIGPLAN Notices ◽

10.1145/216633.216658 ◽

1995 ◽

Vol 30 (11) ◽

pp. 60-69

Author(s):

Filip Thoen ◽

Marco Cornero ◽

Gert Goossens ◽

Hugo De Man

Keyword(s):

Information Processing ◽

Real Time ◽

Software Synthesis ◽

Real Time Information ◽

Time Information

Download Full-text

Real-Time Multi-Tasking in Software Synthesis for Information Processing Systems**This work was supported by the European Commission, under contract Esprit-9138 (Chips)

Readings in Hardware/Software Co-Design ◽

10.1016/b978-155860702-6/50035-1 ◽

2002 ◽

pp. 389-394

Author(s):

Filip Thoen ◽

Gert Goossens ◽

Hugo De Man ◽

Marco Cornero

Keyword(s):

Information Processing ◽

European Commission ◽

Real Time ◽

Software Synthesis

Download Full-text

A Hybrid Genetic Algorithm for Hardware–Software Synthesis of Heterogeneous Parallel Embedded Systems

Information Systems Architecture and Technology: Proceedings of 38th International Conference on Information Systems Architecture and Technology – ISAT 2017 - Advances in Intelligent Systems and Computing ◽

10.1007/978-3-319-67229-8_30 ◽

2017 ◽

pp. 331-343 ◽

Author(s):

Mieczysław Drabowski ◽

Kazimierz Kiełkowicz

Keyword(s):

Genetic Algorithm ◽

Embedded Systems ◽

Hybrid Genetic Algorithm ◽

Software Synthesis

Download Full-text