Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/emsoft/emsoft2010.bht:"
download as .bib file
@inproceedings{DBLP:conf/emsoft/AbdellatifCS10,
author = {Tesnim Abdellatif and
Jacques Combaz and
Joseph Sifakis},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Model-based implementation of real-time applications},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {229--238},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879052},
doi = {10.1145/1879021.1879052},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/AbdellatifCS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BenvenisteBC10,
author = {Albert Benveniste and
Anne Bouillard and
Paul Caspi},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {A unifying view of loosely time-triggered architectures},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {189--198},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879047},
doi = {10.1145/1879021.1879047},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BenvenisteBC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BonakdarpourBJQS10,
author = {Borzoo Bonakdarpour and
Marius Bozga and
Mohamad Jaber and
Jean Quilbeuf and
Joseph Sifakis},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {From high-level component-based models to distributed implementations},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {209--218},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879049},
doi = {10.1145/1879021.1879049},
timestamp = {Mon, 15 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/BonakdarpourBJQS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BucklGGKL10,
author = {Christian Buckl and
Irina Gaponova and
Michael Geisinger and
Alois C. Knoll and
Edward A. Lee},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Model-based specification of timing requirements},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {239--248},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879053},
doi = {10.1145/1879021.1879053},
timestamp = {Fri, 24 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/BucklGGKL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ChakrabortyRT10,
author = {Samarjit Chakraborty and
S. Ramesh and
J{\"{u}}rgen Teich},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Model-based analysis, synthesis and testing of automotive hardware/software
architectures},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {299--300},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879061},
doi = {10.1145/1879021.1879061},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ChakrabortyRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ChangK10,
author = {Yuan{-}Hao Chang and
Tei{-}Wei Kuo},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {A reliable {MTD} design for {MLC} flash-memory storage systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {179--188},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879045},
doi = {10.1145/1879021.1879045},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ChangK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ChenC10,
author = {Min{-}Hua Chen and
Pai H. Chou},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {TeleScribe: a scalable, resumable wireless reprogramming approach},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {139--148},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879040},
doi = {10.1145/1879021.1879040},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ChenC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ChoKLS10,
author = {Yongjin Cho and
Seungkyun Kim and
Jaejin Lee and
Heonshik Shin},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Parallelizing the {H.264} decoder on the cell {BE} architecture},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {49--58},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879029},
doi = {10.1145/1879021.1879029},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ChoKLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ChoWLK10,
author = {Kwangyoon Cho and
Kyoung{-}Soo We and
Chang{-}Gun Lee and
Kanghee Kim},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Using {NAND} flash memory for executing large volume real-time programs
in automotive embedded systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {159--168},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879043},
doi = {10.1145/1879021.1879043},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/ChoWLK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CraciunasKS10,
author = {Silviu S. Craciunas and
Christoph M. Kirsch and
Ana Sokolova},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Power-aware temporal isolation with variable-bandwidth servers},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {259--268},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879056},
doi = {10.1145/1879021.1879056},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/CraciunasKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/FengLS10,
author = {Thomas Huining Feng and
Edward A. Lee and
Lee W. Shruben},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Ptera: an event-oriented model of computation for heterogeneous systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {219--228},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879050},
doi = {10.1145/1879021.1879050},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/FengLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HahnC10,
author = {Jiwon Hahn and
Pai H. Chou},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Nucleos: a runtime system for ultra-compact wireless sensor nodes},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {149--158},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879041},
doi = {10.1145/1879021.1879041},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/HahnC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HenzingerSSWZ10,
author = {Thomas A. Henzinger and
Anmol V. Singh and
Vasu Singh and
Thomas Wies and
Damien Zufferey},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {A marketplace for cloud resources},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {1--8},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879022},
doi = {10.1145/1879021.1879022},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/HenzingerSSWZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/HermannsLRT10,
author = {Holger Hermanns and
Kim Guldstrand Larsen and
Jean{-}Fran{\c{c}}ois Raskin and
Jan Tretmans},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Quantitative system validation in model driven design},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {301--302},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879062},
doi = {10.1145/1879021.1879062},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/HermannsLRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/IyengharWWP10,
author = {Padma Iyenghar and
Clemens Westerkamp and
Juergen Wuebbelmann and
Elke Pulverm{\"{u}}ller},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {A model based approach for debugging embedded systems in real-time},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {69--78},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879031},
doi = {10.1145/1879021.1879031},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/IyengharWWP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/JacksonKDSS10,
author = {Ethan K. Jackson and
Eunsuk Kang and
Markus Dahlweid and
Dirk Seifert and
Thomas Santen},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Components, platforms and possibilities: towards generic automation
for {MDA}},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {39--48},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879027},
doi = {10.1145/1879021.1879027},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/JacksonKDSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KumarCP10,
author = {Tushar Kumar and
Romain Cledat and
Santosh Pande},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Dynamic tuning of feature set in highly variant interactive applications},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {289--298},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879059},
doi = {10.1145/1879021.1879059},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/KumarCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KwonKCLN10,
author = {Hunki Kwon and
Eunsam Kim and
Jongmoo Choi and
Donghee Lee and
Sam H. Noh},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Janus-FTL: finding the optimal point on the spectrum between page
and block mapping schemes},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {169--178},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879044},
doi = {10.1145/1879021.1879044},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/KwonKCLN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LeeSE10,
author = {Jinkyu Lee and
Insik Shin and
Arvind Easwaran},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Online robust optimization framework for QoS guarantees in distributed
soft real-time systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {89--98},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879034},
doi = {10.1145/1879021.1879034},
timestamp = {Mon, 22 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/LeeSE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LiB10,
author = {Haohan Li and
Sanjoy K. Baruah},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Load-based schedulability analysis of certifiable mixed-criticality
systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {99--108},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879035},
doi = {10.1145/1879021.1879035},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/LiB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/MarquetM10,
author = {Kevin Marquet and
Matthieu Moy},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {PinaVM: a systemC front-end based on an executable intermediate representation},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {79--88},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879032},
doi = {10.1145/1879021.1879032},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/MarquetM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/MartinezMST10,
author = {Adolfo Anta Martinez and
Rupak Majumdar and
Indranil Saha and
Paulo Tabuada},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Automatic verification of control system implementations},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {9--18},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879024},
doi = {10.1145/1879021.1879024},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/MartinezMST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PhanSCL10,
author = {Linh Thi Xuan Phan and
Reinhard Schneider and
Samarjit Chakraborty and
Insup Lee},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Modeling buffers with data refresh semantics in automotive architectures},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {119--128},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879038},
doi = {10.1145/1879021.1879038},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/PhanSCL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PorterHKKS10,
author = {Joseph Porter and
Graham Hemingway and
Nicholas Kottenstette and
Gabor Karsai and
Janos Sztipanovits},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Online stability validation using sector analysis},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {29--38},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879026},
doi = {10.1145/1879021.1879026},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/PorterHKKS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Potop-ButucaruAF10,
author = {Dumitru Potop{-}Butucaru and
Akramul Azim and
Sebastian Fischmeister},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Semantics-preserving implementation of synchronous specifications
over dynamic {TDMA} distributed architectures},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {199--208},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879048},
doi = {10.1145/1879021.1879048},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/Potop-ButucaruAF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/RajeevMDCR10,
author = {A. C. Rajeev and
Swarup Mohalik and
Manoj G. Dixit and
Devesh B. Chokshi and
S. Ramesh},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Schedulability and end-to-end latency in distributed {ECU} networks:
formal modeling and precise estimation},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {129--138},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879039},
doi = {10.1145/1879021.1879039},
timestamp = {Wed, 11 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/RajeevMDCR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/SantinelliMPEFB10,
author = {Luca Santinelli and
Mauro Marinoni and
Francesco Prosperi and
Francesco Esposito and
Gianluca Franchino and
Giorgio C. Buttazzo},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Energy-aware packet and task co-scheduling for embedded systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {279--288},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879058},
doi = {10.1145/1879021.1879058},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/SantinelliMPEFB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/StoimenovTSB10,
author = {Nikolay Stoimenov and
Lothar Thiele and
Luca Santinelli and
Giorgio C. Buttazzo},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Resource adaptations with servers for hard real-time systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {269--278},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879057},
doi = {10.1145/1879021.1879057},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/StoimenovTSB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TalyT10,
author = {Ankur Taly and
Ashish Tiwari},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Switching logic synthesis for reachability},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {19--28},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879025},
doi = {10.1145/1879021.1879025},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/TalyT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WahbaHS10,
author = {Sally K. Wahba and
Jason O. Hallstrom and
Neelam Soundarajan},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Initiating a design pattern catalog for embedded network systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {249--258},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879054},
doi = {10.1145/1879021.1879054},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/WahbaHS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WuXP10,
author = {Hui Wu and
Jingling Xue and
Sridevan Parameswaran},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Optimal WCET-aware code selection for scratchpad memory},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {59--68},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879030},
doi = {10.1145/1879021.1879030},
timestamp = {Fri, 18 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/WuXP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/YaoB10,
author = {Gang Yao and
Giorgio C. Buttazzo},
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Reducing stack with intra-task threshold priorities in real-time systems},
booktitle = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
pages = {109--118},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1879021.1879036},
doi = {10.1145/1879021.1879036},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/YaoB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2010,
editor = {Luca P. Carloni and
Stavros Tripakis},
title = {Proceedings of the 10th International conference on Embedded software,
{EMSOFT} 2010, Scottsdale, Arizona, USA, October 24-29, 2010},
publisher = {{ACM}},
year = {2010},
isbn = {978-1-60558-904-6},
timestamp = {Wed, 05 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emsoft/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-19 18:39 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
