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/journals/tecs/tecs4.bht:"
download as .bib file
@article{DBLP:journals/tecs/AlurL05,
author = {Rajeev Alur and
Insup Lee},
title = {Preface},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {707},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113831},
doi = {10.1145/1113830.1113831},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/AlurL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/BartoliniP05,
author = {Sandro Bartolini and
Cosimo Antonio Prete},
title = {Optimizing instruction cache performance of embedded systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {934--965},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113839},
doi = {10.1145/1113830.1113839},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/BartoliniP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/Burns05,
author = {Alan Burns and
Alberto L. Sangiovanni{-}Vincentelli},
title = {Editorial},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {469--471},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086520},
doi = {10.1145/1086519.1086520},
timestamp = {Wed, 06 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/Burns05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CacheraM05,
author = {David Cachera and
Katell Morin{-}Allory},
title = {Verification of safety properties for parameterized regular systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {228--266},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067917},
doi = {10.1145/1067915.1067917},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CacheraM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05,
author = {Paul Caspi and
Alberto L. Sangiovanni{-}Vincentelli and
Lu{\'{\i}}s Almeida and
Albert Benveniste and
Bruno Bouyssounouse and
Giorgio C. Buttazzo and
Ivica Crnkovic and
Werner Damm and
Jakob Engblom and
Gerhard Fohler and
Marisol Garc{\'{\i}}a{-}Valls and
Hermann Kopetz and
Yassine Lakhnech and
Fran{\c{c}}ois Laroussinie and
Luciano Lavagno and
Giuseppe Lipari and
Florence Maraninchi and
Philipp Peti and
Juan Antonio de la Puente and
Norman Scaife and
Joseph Sifakis and
Robert de Simone and
Martin T{\"{o}}rngren and
Paulo Ver{\'{\i}}ssimo and
Andy J. Wellings and
Reinhard Wilhelm and
Tim A. C. Willemse and
Wang Yi},
title = {Guidelines for a graduate curriculum on embedded software and systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {587--611},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086526},
doi = {10.1145/1086519.1086526},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CaspiSABBBCDEFGKLLLLMPPSSSTVWWWY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ChiouBR05,
author = {Lih{-}Yih Chiou and
Swarup Bhunia and
Kaushik Roy},
title = {Synthesis of application-specific highly efficient multi-mode cores
for embedded systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {168--188},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053278},
doi = {10.1145/1053271.1053278},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ChiouBR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ChoualiJMB05,
author = {Samir Chouali and
Jacques Julliand and
Pierre{-}Alain Masson and
Fran{\c{c}}oise Bellegarde},
title = {PLTL-partitioned model checking for reactive systems under fairness
assumptions},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {267--301},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067918},
doi = {10.1145/1067915.1067918},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ChoualiJMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/CorlissLR05,
author = {Marc L. Corliss and
E. Christopher Lewis and
Amir Roth},
title = {The implementation and evaluation of dynamic code decompression using
{DISE}},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {38--72},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053274},
doi = {10.1145/1053271.1053274},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/CorlissLR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DhurjatiKAL05,
author = {Dinakar Dhurjati and
Sumant Kowshik and
Vikram S. Adve and
Chris Lattner},
title = {Memory safety without garbage collection for embedded applications},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {73--111},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053275},
doi = {10.1145/1053271.1053275},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/DhurjatiKAL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/Gardner05,
author = {William B. Gardner},
title = {Converging {CSP} specifications and {C++} programming via selective
formalism},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {302--330},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067919},
doi = {10.1145/1067915.1067919},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/Gardner05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/GaujalNW05,
author = {Bruno Gaujal and
Nicolas Navet and
Cormac Walsh},
title = {Shortest-path algorithms for real-time scheduling of {FIFO} tasks
with minimal energy use},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {907--933},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113838},
doi = {10.1145/1113830.1113838},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/GaujalNW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/GrimhedenT05,
author = {Martin Edin Grimheden and
Martin T{\"{o}}rngren},
title = {What is embedded systems and how should it be taught?---results from
a didactic analysis},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {633--651},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086528},
doi = {10.1145/1086519.1086528},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/GrimhedenT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/HeHBSA05,
author = {Tian He and
Chengdu Huang and
Brian M. Blum and
John A. Stankovic and
Tarek F. Abdelzaher},
title = {Range-free localization and its impact on large scale sensor networks},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {877--906},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113837},
doi = {10.1145/1113830.1113837},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/HeHBSA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/HuKVI05,
author = {Jie S. Hu and
Mahmut T. Kandemir and
Narayanan Vijaykrishnan and
Mary Jane Irwin},
title = {Analyzing data reuse for cache reconfiguration},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {851--876},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113836},
doi = {10.1145/1113830.1113836},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/HuKVI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/HuangKLH05,
author = {Tai{-}Yi Huang and
Chung{-}Ta King and
Youn{-}Long Steve Lin and
Yin{-}Tsung Hwang},
title = {The embedded software consortium of taiwan},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {612--632},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086527},
doi = {10.1145/1086519.1086527},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/HuangKLH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KadayifK05,
author = {Ismail Kadayif and
Mahmut T. Kandemir},
title = {Data space-oriented tiling for enhancing locality},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {388--414},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067922},
doi = {10.1145/1067915.1067922},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KadayifK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KadayifKCVIS05,
author = {Ismail Kadayif and
Mahmut T. Kandemir and
Guilin Chen and
Narayanan Vijaykrishnan and
Mary Jane Irwin and
Anand Sivasubramaniam},
title = {Compiler-directed high-level energy estimation and optimization},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {819--850},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113835},
doi = {10.1145/1113830.1113835},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KadayifKCVIS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KimAK05,
author = {Hyung Seok Kim and
Tarek F. Abdelzaher and
Wook Hyun Kwon},
title = {Dynamic delay-constrained minimum-energy dissemination in wireless
sensor networks},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {679--706},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086530},
doi = {10.1145/1086519.1086530},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KimAK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KoopmanCGKMNPRSSSTW05,
author = {Philip Koopman and
Howie Choset and
Rajeev Gandhi and
Bruce H. Krogh and
Diana Marculescu and
Priya Narasimhan and
JoAnn M. Paul and
Ragunathan Rajkumar and
Daniel P. Siewiorek and
Asim Smailagic and
Peter Steenkiste and
Donald E. Thomas and
Chenxi Wang},
title = {Undergraduate embedded system education at Carnegie Mellon},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {500--528},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086522},
doi = {10.1145/1086519.1086522},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KoopmanCGKMNPRSSSTW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KrishnaswamyG05,
author = {Arvind Krishnaswamy and
Rajiv Gupta},
title = {Dynamic coalescing for 16-bit instructions},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {3--37},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053273},
doi = {10.1145/1053271.1053273},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KrishnaswamyG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/KwonK05,
author = {Woo{-}Cheol Kwon and
Taewhan Kim},
title = {Optimal voltage allocation techniques for dynamically variable voltage
processors},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {211--230},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053280},
doi = {10.1145/1053271.1053280},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/KwonK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MuellerS05,
author = {Frank Mueller and
Per Stenstr{\"{o}}m},
title = {Introduction to the special issue},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {1--2},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053272},
doi = {10.1145/1053271.1053272},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/MuellerS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MuresanG05,
author = {Radu Muresan and
Catherine H. Gebotys},
title = {Instantaneous current modeling in a complex {VLIW} processor core},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {415--451},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067923},
doi = {10.1145/1067915.1067923},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/MuresanG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/PetrovO05,
author = {Peter Petrov and
Alex Orailoglu},
title = {A reprogrammable customization framework for efficient branch resolution
in embedded processors},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {452--468},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067924},
doi = {10.1145/1067915.1067924},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/PetrovO05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/PopEP05,
author = {Paul Pop and
Petru Eles and
Zebo Peng},
title = {Schedulability-driven frame packing for multicluster distributed embedded
systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {112--140},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053276},
doi = {10.1145/1053271.1053276},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/PopEP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/RegehrRW05,
author = {John Regehr and
Alastair Reid and
Kirk Webb},
title = {Eliminating stack overflow by abstract interpretation},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {751--778},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113833},
doi = {10.1145/1113830.1113833},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/RegehrRW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/Sangiovanni-VincentelliP05,
author = {Alberto L. Sangiovanni{-}Vincentelli and
Alessandro Pinto},
title = {An overview of embedded system design education at berkeley},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {472--499},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086521},
doi = {10.1145/1086519.1086521},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/Sangiovanni-VincentelliP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/Seviora05,
author = {Rudolph E. Seviora},
title = {A curriculum for embedded system engineering},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {569--586},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086525},
doi = {10.1145/1086519.1086525},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/Seviora05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ShuklaT05,
author = {Sandeep K. Shukla and
Jean{-}Pierre Talpin},
title = {Guest editorial: Special issue on models and methodologies for co-design
of embedded systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {225--227},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067916},
doi = {10.1145/1067915.1067916},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ShuklaT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SwaminathanC05,
author = {Vishnu Swaminathan and
Krishnendu Chakrabarty},
title = {Pruning-based, energy-optimal, deterministic {I/O} device scheduling
for hard real-time systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {141--167},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053277},
doi = {10.1145/1053271.1053277},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/SwaminathanC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SztipanovitsBFGHKKKS05,
author = {Janos Sztipanovits and
Gautam Biswas and
Ken Frampton and
Aniruddha S. Gokhale and
Larry Howard and
Gabor Karsai and
Tak{-}John Koo and
Xenofon D. Koutsoukos and
Douglas C. Schmidt},
title = {Introducing embedded software and systems education and advanced learning
technology in an engineering curriculum},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {549--568},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086524},
doi = {10.1145/1086519.1086524},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SztipanovitsBFGHKKKS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/TanRJ05,
author = {Tat Kee Tan and
Anand Raghunathan and
Niraj K. Jha},
title = {Energy macromodeling of embedded operating systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {231--254},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053281},
doi = {10.1145/1053271.1053281},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/TanRJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/TardieuS05,
author = {Olivier Tardieu and
Robert de Simone},
title = {Loops in esterel},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {708--750},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113832},
doi = {10.1145/1113830.1113832},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/TardieuS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/TripakisSCC05,
author = {Stavros Tripakis and
Christos Sofronis and
Paul Caspi and
Adrian Curic},
title = {Translating discrete-time simulink to lustre},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {4},
pages = {779--818},
year = {2005},
url = {https://doi.org/10.1145/1113830.1113834},
doi = {10.1145/1113830.1113834},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/TripakisSCC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/VerbauwhedeS05,
author = {Ingrid Verbauwhede and
Patrick Schaumont},
title = {Skiing the embedded systems mountain},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {529--548},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086523},
doi = {10.1145/1086519.1086523},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/VerbauwhedeS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ZambrenoCSNM05,
author = {Joseph Zambreno and
Alok N. Choudhary and
Rahul Simha and
Bhagirath Narahari and
Nasir D. Memon},
title = {{SAFE-OPS:} An approach to embedded software security},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {189--210},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053279},
doi = {10.1145/1053271.1053279},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/ZambrenoCSNM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ZhangKKC05,
author = {Wei Zhang and
Mahmut T. Kandemir and
Mustafa Karak{\"{o}}y and
Guangyu Chen},
title = {Reducing data cache leakage energy using a compiler-based approach},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {3},
pages = {652--678},
year = {2005},
url = {https://doi.org/10.1145/1086519.1086529},
doi = {10.1145/1086519.1086529},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ZhangKKC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ZhangVN05,
author = {Chuanjun Zhang and
Frank Vahid and
Walid A. Najjar},
title = {A highly configurable cache for low energy embedded systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {363--387},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067921},
doi = {10.1145/1067915.1067921},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ZhangVN05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ZillerS05,
author = {Roberto Ziller and
Klaus Schneider},
title = {Combining supervisor synthesis and model checking},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {2},
pages = {331--362},
year = {2005},
url = {https://doi.org/10.1145/1067915.1067920},
doi = {10.1145/1067915.1067920},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ZillerS05.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-26 17:38 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:
