Article

Free access

Scheduling hardware/software systems using symbolic techniques

Authors:

Jürgen TeichAuthors Info & Claims

CODES '99: Proceedings of the seventh international workshop on Hardware/software codesign

Pages 173 - 177

https://doi.org/10.1145/301177.301523

Published: 01 March 1999 Publication History

PDF eReader

References

[1]

R. E. Bryant. Graph-based algorithms for boolean fuetion manipulation. IEEE Tmmmiom on Compurers, C-35(8):667491. August,986.

Digital Library

Google Scholar

[2]

J. T. Buck. Scheduling dynamic dataflow graphs with bounded memory using the roeenfkw model. PhD thesis, University oftXifmia, Berkeley. 1993.

Digital Library

Google Scholar

[3]

C. N. Coelho Jr. and G. De Micheli. Dynamic scheduling and synchronization synthesis of ccUnet digital systems under system-level costmits. In Pmceedings ofrhe IEEWACM Inrcmoriolal Conference on Computer- AidedDesign (KCAL-94,. pages 175-181. 1994.

Crossref

Google Scholar

[4]

M. Camero, E. Thoen, G. Goossens, and F. Curatelli. Software synthesis for real-time infomwia pmcessing systems. In P. Manvedet and G. Gwssens. editors. Code Generadon for Embedded Pmcessors. pages 260-279. Kluwer Academic Publishers. 1995.

Digital Library

Google Scholar

[5]

S. Ha and EA. Lee. Compile-time scheduling of dynamic costructs in dataflow pmgmn graphs. IEEE Tmnmctions on Compurerr, 46(7):768- 778, July 1997.

Digital Library

Google Scholar

[6]

S. Haynal and F. Brewer. Efficient encoding for exact symbolic automatabased scheduling. I Proceedings ofthe JEEWACM Infemdonal Conference on Computer-Aided D&-n (ICCAD-98, 1998.

Digital Library

Google Scholar

[7]

D. C. Ku and G. De Micheli. Relative scheduling under timing constraints: algorittxms for high-level synttmis of digital circuits. IEEE Transactions on Computer-Aided Design. 11(6):69fL7718. June 1992.

Google Scholar

[8]

E. A. Lee. Recurrences. iteration, and conditionals in statically scheduled block diagram languages. I R. W. Bmdeaen and H. S. Moscovia. editors, VLsISigml Processing HI, pages 330-340. IEEE Press, New York, 1988.

Google Scholar

[9]

E. A. Lee and D. G. Messerschmitt. Synchmnous data Row. Proceedings ofrhe IEEE. 75(9):1235-,245, 1987.

Google Scholar

[10]

E. A. Lee and T. M. parks. Data&w process networks. Pmccnlings ofthe IEEE, 83(5):773-799,995.

Google Scholar

[11]

1. RadivojeviC and E Brewer. Ensemble representation and techniques for enact contm-dependent scheduling. In Proceedings of the 7th Intertional Symposium on H&h-Level Synthesis, pages 60-65, 1994.

Digital Library

Google Scholar

[12]

M. Szgmni, L. Lavagno, Y. Watanabe. and A. Sangiovanni-VinccnteUi. Quasi-static scheduling of embedded sothvwe using free-choice Petri nets In Pmceedings of the WorlLFhop on Hardware Design and Pewi Nets IHPWN '98,. 1998.

Google Scholar

[13]

Karsten SUehI and Lothar Thiele. Symbolic model ch&ig of process etworks using interval diagram techniques. In Proceedings offhe IEEWACM Inremtioml Conference on Com,uter-Aided Design (KCAD-98,. pages 68ti92, San Jose, California, November 8-12.,998.

Digital Library

Google Scholar

[14]

Karsten SUehI and Lothar Thiele. interval diagram techniques for symbolic model checking of prtri nets. In processing of the design automation and test in europe conference (date99), Munich,germany March9-12, 1999

Digital Library

Google Scholar

[15]

Lofhar mete, lttrge Teich, Mti Naedele, Kxste Suehl. and Dik Ziegenkin. SCF-state machine contmkd Row diagrams. Technical Report TIK-33, Computer Engineering and NetworLs Lab (nK), Swiss Federal 1nstitte of Technology @TH) Zurich, Gloriasvdsse 3.5, C-8092 Zurich. January,998.

Google Scholar

[16]

D. Ziegenbein, R. Ernst, K. Richter. J. Teich. and L. Thiele. Combining multiple models of computation for scheduling and allocation. In Proceedings of the 6th lntemdoml Workshop on Hardware/Software Codesign (Codes/CASHE '98,. pages 9-13, Seattle. Washington,. March. 1998.

Digital Library

Google Scholar

[17]

D. Ziegenbei, R. Emsg K. Richter, I. Teich, and L. Tldete. Representation of process mode correlation for scheduling. In Pmceedings of rk IEEE/ACM International Conference on Computer-Aided Design (ICCAD- 98,. San Jose, California, November 8-12, 1998.

Digital Library

Google Scholar

Cited By

View all

Keinert JTeich JKeinert JTeich J(2011)Fundamentals and Related WorkDesign of Image Processing Embedded Systems Using Multidimensional Data Flow10.1007/978-1-4419-7182-1_3(23-80)Online publication date: 2011
https://doi.org/10.1007/978-1-4419-7182-1_3
Iordache MAntsaklis P(2009)Petri nets and programmingProceedings of the 2009 conference on American Control Conference10.5555/1702715.1703154(4994-4999)Online publication date: 10-Jun-2009
https://dl.acm.org/doi/10.5555/1702715.1703154
Gladigau JHaubelt CTeich J(2009)Symbolic Scheduling of SystemC Dataflow DesignsLanguages for Embedded Systems and their Applications10.1007/978-1-4020-9714-0_12(183-199)Online publication date: 2009
https://doi.org/10.1007/978-1-4020-9714-0_12
Show More Cited By

Index Terms

Scheduling hardware/software systems using symbolic techniques
1. Software and its engineering
  1. Software creation and management
    1. Designing software
  2. Software organization and properties
    1. Contextual software domains
      1. Operating systems
2. Theory of computation
  1. Logic
  2. Models of computation

Recommendations

Biomechanical analyses of static and dynamic fixation techniques of retrograde interlocking femoral nailing using nonlinear finite element methods

Femoral shaft fractures can be treated using retrograde interlocking nailing systems; however, fracture nonunion still occurs. Dynamic fixation techniques, which remove either the proximal or distal locking screws, have been used to solve the problem of ...
Symbolic simulation—techniques and applications
DAC '90: Proceedings of the 27th ACM/IEEE Design Automation Conference

Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulator can compute what would require many runs of a traditional simulator. ...
Verifying systems rules using rule-directed symbolic execution
ASPLOS '13

Systems code must obey many rules, such as "opened files must be closed." One approach to verifying rules is static analysis, but this technique cannot infer precise runtime effects of code, often emitting many false positives. An alternative is ...

Comments

Information & Contributors

Information

Published In

CODES '99: Proceedings of the seventh international workshop on Hardware/software codesign

March 1999

216 pages

ISBN:1581131321

DOI:10.1145/301177

Chairmen:
Ahmed Amine Jerraya
TIMA Lab, France
,
Luciano Lavagno
Politecnico di Torino, Turin, Italy
,
Frank Vahid
Univ. of California, Riverside

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1999

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

CODES99

Sponsor:

SIGDA
SIGSOFT
IEEE-CS
IFIP

CODES99: International Conference on Hardware/Software Codesign

Rome, Italy

Acceptance Rates

CODES '99 Paper Acceptance Rate 40 of 98 submissions, 41%;

Overall Acceptance Rate 280 of 864 submissions, 32%

Upcoming Conference

ESWEEK '24

Sponsor:
sigbed
sigbed
sigbed

Twentieth Embedded Systems Week

September 29 - October 4, 2024

Raleigh , NC , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
237
Total Downloads

Downloads (Last 12 months)21
Downloads (Last 6 weeks)5

Reflects downloads up to 03 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Keinert JTeich JKeinert JTeich J(2011)Fundamentals and Related WorkDesign of Image Processing Embedded Systems Using Multidimensional Data Flow10.1007/978-1-4419-7182-1_3(23-80)Online publication date: 2011
https://doi.org/10.1007/978-1-4419-7182-1_3
Iordache MAntsaklis P(2009)Petri nets and programmingProceedings of the 2009 conference on American Control Conference10.5555/1702715.1703154(4994-4999)Online publication date: 10-Jun-2009
https://dl.acm.org/doi/10.5555/1702715.1703154
Gladigau JHaubelt CTeich J(2009)Symbolic Scheduling of SystemC Dataflow DesignsLanguages for Embedded Systems and their Applications10.1007/978-1-4020-9714-0_12(183-199)Online publication date: 2009
https://doi.org/10.1007/978-1-4020-9714-0_12
Thepayasuwan NDoboli A(2004)Hardware-Software Co-Design of Resource Constrained Systems on a ChipProceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 710.5555/977399.977952(818-823)Online publication date: 23-Mar-2004
https://dl.acm.org/doi/10.5555/977399.977952
Fradet PHa S(2004)Network FusionProgramming Languages and Systems10.1007/978-3-540-30477-7_3(21-40)Online publication date: 2004
https://doi.org/10.1007/978-3-540-30477-7_3
Wu DAl-Hashimi BEles P(2003)Scheduling and Mapping of Conditional Task Graphs for the Synthesis of Low Power Embedded SystemsProceedings of the conference on Design, Automation and Test in Europe - Volume 110.5555/789083.1022710Online publication date: 3-Mar-2003
https://dl.acm.org/doi/10.5555/789083.1022710
Wu DAl-Hashimi BEles P(2003)Scheduling and mapping of conditional task graph for the synthesis of low power embedded systemsIEE Proceedings - Computers and Digital Techniques10.1049/ip-cdt:20030837150:5(262)Online publication date: 2003
https://doi.org/10.1049/ip-cdt:20030837
Cortadella JKondratyev ALavagno LPasserone CWatanabe Y(2002)Quasi-Static Scheduling of Independent Tasks for Reactive SystemsApplication and Theory of Petri Nets 200210.1007/3-540-48068-4_7(80-100)Online publication date: 6-Jun-2002
https://doi.org/10.1007/3-540-48068-4_7
Doboli A(2001)Integrated hardware-software co-synthesis for design of embedded systems under power and latency constraintsProceedings of the conference on Design, automation and test in Europe10.5555/367072.367828(612-619)Online publication date: 13-Mar-2001
https://dl.acm.org/doi/10.5555/367072.367828
Wong CMarchal PYang PMadsen JHenkel JHu X(2001)Task concurrency management methodology to schedule the MPEG4 IM1 player on a highly parallel processor platformProceedings of the ninth international symposium on Hardware/software codesign10.1145/371636.371712(170-177)Online publication date: 25-Apr-2001
https://dl.acm.org/doi/10.1145/371636.371712
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Biomechanical analyses of static and dynamic fixation techniques of retrograde interlocking femoral nailing using nonlinear finite element methods

Symbolic simulation—techniques and applications

Verifying systems rules using rule-directed symbolic execution

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Biomechanical analyses of static and dynamic fixation techniques of retrograde interlocking femoral nailing using nonlinear finite element methods

Symbolic simulation—techniques and applications

Verifying systems rules using rule-directed symbolic execution

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations