Article

Planware ¾ Domain-Specific Synthesis of High-Performance Schedulers

Authors:

L. Blaine,

L. Gilham,

J. Liu,

D. Smith,

S. WestfoldAuthors Info & Claims

ASE '98: Proceedings of the 13th IEEE international conference on Automated software engineering

Page 270

Published: 13 October 1998 Publication History

Publisher Site

Abstract

No abstract available.

Cited By

View all

Peleg HShoham SYahav EChaudron MCrnkovic IChechik MHarman M(2018)Programming not only by exampleProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180189(1114-1124)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180189
Bodik RJobstmann B(2013)Algorithmic program synthesisInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-013-0287-915:5-6(397-411)Online publication date: 1-Oct-2013
https://dl.acm.org/doi/10.1007/s10009-013-0287-9
Ahn KDenney E(2010)Testing first-order logic axioms in program verificationProceedings of the 4th international conference on Tests and proofs10.5555/1894403.1894410(22-37)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.5555/1894403.1894410
Show More Cited By

Recommendations

A domain-specific high-level programming model

Nowadays, computing hardware continues to move toward more parallelism and more heterogeneity, to obtain more computing power. From personal computers to supercomputers, we can find several levels of parallelism expressed by the interconnections of ...
Domain---Specific High---Level Modeling and Synthesis for ATM Switch Prototyping

ATM switch, the core technology of an ATM networking system, is one of the major products in Fujitsu telecommunication business. However, current gate---level design methodology can no longer satisfy its stringent time---to---market requirement. It ...
High-level synthesis for application-specific programmable processors

Comments

Information & Contributors

Information

Published In

ASE '98: Proceedings of the 13th IEEE international conference on Automated software engineering

October 1998

ISBN:0818687509

Publisher

IEEE Computer Society

United States

Publication History

Published: 13 October 1998

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Peleg HShoham SYahav EChaudron MCrnkovic IChechik MHarman M(2018)Programming not only by exampleProceedings of the 40th International Conference on Software Engineering10.1145/3180155.3180189(1114-1124)Online publication date: 27-May-2018
https://dl.acm.org/doi/10.1145/3180155.3180189
Bodik RJobstmann B(2013)Algorithmic program synthesisInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-013-0287-915:5-6(397-411)Online publication date: 1-Oct-2013
https://dl.acm.org/doi/10.1007/s10009-013-0287-9
Ahn KDenney E(2010)Testing first-order logic axioms in program verificationProceedings of the 4th international conference on Tests and proofs10.5555/1894403.1894410(22-37)Online publication date: 1-Jul-2010
https://dl.acm.org/doi/10.5555/1894403.1894410
Denney EFischer B(2005)Certifiable program generationProceedings of the 4th international conference on Generative Programming and Component Engineering10.1007/11561347_3(17-28)Online publication date: 29-Sep-2005
https://dl.acm.org/doi/10.1007/11561347_3
Fischer BSchumann J(2003)Applying autobayes to the analysis of planetary nebulae imagesProceedings of the 18th IEEE International Conference on Automated Software Engineering10.1109/ASE.2003.1240333(337-342)Online publication date: 6-Oct-2003
https://dl.acm.org/doi/10.1109/ASE.2003.1240333
Ellman TDeak RFotinatos J(2003)Automated Synthesis of Numerical Programs for Simulation of Rigid Mechanical Systems in Physics-Based AnimationAutomated Software Engineering10.1023/A:102581110598410:4(367-398)Online publication date: 1-Oct-2003
https://dl.acm.org/doi/10.1023/A%3A1025811105984
Fischer BSchumann J(2003)AutoBayes: a system for generating data analysis programs from statistical modelsJournal of Functional Programming10.1017/S095679680200456213:3(483-508)Online publication date: 1-May-2003
https://dl.acm.org/doi/10.1017/S0956796802004562
Hall R(2002)Specification, Validation, and Synthesis of Email Agent ControllersAutomated Software Engineering10.1023/A:10163725071619:3(233-261)Online publication date: 1-Aug-2002
https://dl.acm.org/doi/10.1023/A%3A1016372507161
Giunchiglia FPecchiari PTalcott C(2001)Reasoning TheoriesJournal of Automated Reasoning10.1023/A:100640720892326:3(291-331)Online publication date: 1-Apr-2001
https://dl.acm.org/doi/10.1023/A%3A1006407208923
Hall RHeimdahl M(2000)Specification, validation, and synthesis of email agent controllersProceedings of the third workshop on Formal methods in software practice10.1145/349360.351126(13-23)Online publication date: 24-Aug-2000
https://dl.acm.org/doi/10.1145/349360.351126
Show More Cited By

Abstract

Cited By

Recommendations

A domain-specific high-level programming model

Domain---Specific High---Level Modeling and Synthesis for ATM Switch Prototyping

High-level synthesis for application-specific programmable processors

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations