Search dblp for Publications

export results for "toc:db/conf/emsoft/emsoft2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/emsoft/BalakrishnanSIG09,
  author       = {Gogul Balakrishnan and
                  Sriram Sankaranarayanan and
                  Franjo Ivancic and
                  Aarti Gupta},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Refining the control structure of loops using static analysis},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {49--58},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629343},
  doi          = {10.1145/1629335.1629343},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BalakrishnanSIG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BartoliniRB09,
  author       = {Andrea Bartolini and
                  Martino Ruggiero and
                  Luca Benini},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {\emph{HVS-DBS}: human visual system-aware dynamic luminance backlight
                  scaling for video streaming applications},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {21--28},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629339},
  doi          = {10.1145/1629335.1629339},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/BartoliniRB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BehnamNB09,
  author       = {Moris Behnam and
                  Thomas Nolte and
                  Reinder J. Bril},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Refining {SIRAP} with a dedicated resource ceiling for self-blocking},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {157--166},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629357},
  doi          = {10.1145/1629335.1629357},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/BehnamNB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BonakdarpourK09,
  author       = {Borzoo Bonakdarpour and
                  Sandeep S. Kulkarni},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Compositional verification of fault-tolerant real-time programs},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {29--38},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629341},
  doi          = {10.1145/1629335.1629341},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/BonakdarpourK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BouhadibaMF09,
  author       = {Tayeb Bouhadiba and
                  Florence Maraninchi and
                  Giovanni Funchal},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Formal and executable contracts for transaction-level modeling in
                  SystemC},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {97--106},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629349},
  doi          = {10.1145/1629335.1629349},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/BouhadibaMF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/BozgaSS09,
  author       = {Marius Bozga and
                  Vassiliki Sfyrla and
                  Joseph Sifakis},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Modeling synchronous systems in {BIP}},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {77--86},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629347},
  doi          = {10.1145/1629335.1629347},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/BozgaSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CheungOMLA09,
  author       = {Tang Lung Cheung and
                  Kari Okamoto and
                  Frank Maker III and
                  Xin Liu and
                  Venkatesh Akella},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Markov decision process {(MDP)} framework for optimizing software
                  on mobile phones},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {11--20},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629338},
  doi          = {10.1145/1629335.1629338},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/CheungOMLA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/CollinsC09,
  author       = {Rebecca L. Collins and
                  Luca P. Carloni},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Flexible filters: load balancing through backpressure for stream programs},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {205--214},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629363},
  doi          = {10.1145/1629335.1629363},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/CollinsC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/DuquennoyGV09,
  author       = {Simon Duquennoy and
                  Gilles Grimaud and
                  Jean{-}Jacques Vandewalle},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Serving embedded content via web applications: model, design and experimentation},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {117--126},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629352},
  doi          = {10.1145/1629335.1629352},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/DuquennoyGV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/GuanSYY09,
  author       = {Nan Guan and
                  Martin Stigge and
                  Wang Yi and
                  Ge Yu},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Cache-aware scheduling and analysis for multicores},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {245--254},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629369},
  doi          = {10.1145/1629335.1629369},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/GuanSYY09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Hanxleden09,
  author       = {Reinhard von Hanxleden},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {SyncCharts in {C:} a proposal for light-weight, deterministic concurrency},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {225--234},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629366},
  doi          = {10.1145/1629335.1629366},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/Hanxleden09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KangM09,
  author       = {Yangwook Kang and
                  Ethan L. Miller},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Adding aggressive error correction to a high-performance compressing
                  flash file system},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {305--314},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629376},
  doi          = {10.1145/1629335.1629376},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/KangM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/KimOKCLN09,
  author       = {Jaeho Kim and
                  Yongseok Oh and
                  Eunsam Kim and
                  Jongmoo Choi and
                  Donghee Lee and
                  Sam H. Noh},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Disk schedulers for solid state drivers},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {295--304},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629375},
  doi          = {10.1145/1629335.1629375},
  timestamp    = {Tue, 02 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/KimOKCLN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/LampkaPT09,
  author       = {Kai Lampka and
                  Simon Perathoner and
                  Lothar Thiele},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Analytic real-time analysis and timed automata: a hybrid method for
                  analyzing embedded real-time systems},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {107--116},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629351},
  doi          = {10.1145/1629335.1629351},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/LampkaPT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ParkLHKB09,
  author       = {Junseok Park and
                  Hyejeong Lee and
                  Seunghwan Hyun and
                  Kern Koh and
                  Hyokyung Bahn},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {A cost-aware page replacement algorithm for {NAND} flash based mobile
                  embedded systems},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {315--324},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629377},
  doi          = {10.1145/1629335.1629377},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/ParkLHKB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PellizzoniMNSCS09,
  author       = {Rodolfo Pellizzoni and
                  Patrick O'Neil Meredith and
                  Min{-}Young Nam and
                  Mu Sun and
                  Marco Caccamo and
                  Lui Sha},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Handling mixed-criticality in SoC-based real-time embedded systems},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {235--244},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629367},
  doi          = {10.1145/1629335.1629367},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/PellizzoniMNSCS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PorterKS09,
  author       = {Joseph Porter and
                  Gabor Karsai and
                  Janos Sztipanovits},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Towards a time-triggered schedule calculation tool to support model-based
                  embedded software design},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {167--176},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629358},
  doi          = {10.1145/1629335.1629358},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/PorterKS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/Potop-ButucaruSST09,
  author       = {Dumitru Potop{-}Butucaru and
                  Robert de Simone and
                  Yves Sorel and
                  Jean{-}Pierre Talpin},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Clock-driven distributed real-time implementation of endochronous
                  synchronous programs},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {147--156},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629356},
  doi          = {10.1145/1629335.1629356},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/Potop-ButucaruSST09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PouzetR09,
  author       = {Marc Pouzet and
                  Pascal Raymond},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Modular static scheduling of synchronous data-flow networks: an efficient
                  symbolic representation},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {215--224},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629365},
  doi          = {10.1145/1629335.1629365},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/PouzetR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/PuranikMS09,
  author       = {Vinayak Puranik and
                  Tulika Mitra and
                  Y. N. Srikant},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Probabilistic modeling of data cache behavior},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {255--264},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629370},
  doi          = {10.1145/1629335.1629370},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/PuranikMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/RacletBBCLP09,
  author       = {Jean{-}Baptiste Raclet and
                  {\'{E}}ric Badouel and
                  Albert Benveniste and
                  Beno{\^{\i}}t Caillaud and
                  Axel Legay and
                  Roberto Passerone},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Modal interfaces: unifying interface automata and modal specifications},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {87--96},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629348},
  doi          = {10.1145/1629335.1629348},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/RacletBBCLP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/SalahBM09,
  author       = {Ramzi Ben Salah and
                  Marius Bozga and
                  Oded Maler},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Compositional timing analysis},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {39--48},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629342},
  doi          = {10.1145/1629335.1629342},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/SalahBM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ShaoVE09,
  author       = {Baolin Shao and
                  Nalini Vasudevan and
                  Stephen A. Edwards},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Compositional deadlock detection for rendezvous communication},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {59--66},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629344},
  doi          = {10.1145/1629335.1629344},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/ShaoVE09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/StaschulatB09,
  author       = {Jan Staschulat and
                  Marco Bekooij},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Dataflow models for shared memory access latency analysis},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {275--284},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629372},
  doi          = {10.1145/1629335.1629372},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/StaschulatB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ThieleS09,
  author       = {Lothar Thiele and
                  Nikolay Stoimenov},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Modular performance analysis of cyclic dataflow graphs},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {127--136},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629353},
  doi          = {10.1145/1629335.1629353},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/ThieleS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/TripakisLHL09,
  author       = {Stavros Tripakis and
                  Ben Lickly and
                  Thomas A. Henzinger and
                  Edward A. Lee},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {On relational interfaces},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {67--76},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629346},
  doi          = {10.1145/1629335.1629346},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/TripakisLHL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WhithamA09,
  author       = {Jack Whitham and
                  Neil C. Audsley},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Implementing time-predictable load and store operations},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {265--274},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629371},
  doi          = {10.1145/1629335.1629371},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/WhithamA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WiggersBS09,
  author       = {Maarten Wiggers and
                  Marco Bekooij and
                  Gerard J. M. Smit},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Monotonicity and run-time scheduling},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {177--186},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629359},
  doi          = {10.1145/1629335.1629359},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/WiggersBS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WilhelmW09,
  author       = {Stephan Wilhelm and
                  Bj{\"{o}}rn Wachter},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Symbolic state traversal for {WCET} analysis},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {137--146},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629354},
  doi          = {10.1145/1629335.1629354},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/WilhelmW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WuFWT09,
  author       = {Meng{-}Huan Wu and
                  Cheng{-}Yang Fu and
                  Peng{-}Chih Wang and
                  Ren{-}Song Tsay},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {An effective synchronization approach for fast and accurate multi-core
                  instruction-set simulation},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {197--204},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629362},
  doi          = {10.1145/1629335.1629362},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/WuFWT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/YangS09,
  author       = {Ahron Yang and
                  Minseok Song},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Aggressive dynamic voltage scaling for energy-aware video playback
                  based on decoding time estimation},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {1--10},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629337},
  doi          = {10.1145/1629335.1629337},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/YangS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ZhangKPS09,
  author       = {Yuanrui Zhang and
                  Mahmut T. Kandemir and
                  Nikos Pitsianis and
                  Xiaobai Sun},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Exploring parallelization strategies for {NUFFT} data translation},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {187--196},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629361},
  doi          = {10.1145/1629335.1629361},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/ZhangKPS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/ZuckBT09,
  author       = {Aviad Zuck and
                  Ohad Barzilay and
                  Sivan Toledo},
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {{NANDFS:} a flexible flash file system for RAM-constrained systems},
  booktitle    = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  pages        = {285--294},
  publisher    = {{ACM}},
  year         = {2009},
  url          = {https://doi.org/10.1145/1629335.1629374},
  doi          = {10.1145/1629335.1629374},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/ZuckBT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2009,
  editor       = {Samarjit Chakraborty and
                  Nicolas Halbwachs},
  title        = {Proceedings of the 9th {ACM} {\&} {IEEE} International conference
                  on Embedded software, {EMSOFT} 2009, Grenoble, France, October 12-16,
                  2009},
  publisher    = {{ACM}},
  year         = {2009},
  isbn         = {978-1-60558-627-4},
  timestamp    = {Mon, 26 Oct 2009 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics