Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "complex concurrent system"
download as .bib file
@inproceedings{DBLP:conf/osdi/HanceZLACSZHHP23,
author = {Travis Hance and
Yi Zhou and
Andrea Lattuada and
Reto Achermann and
Alex Conway and
Ryan Stutsman and
Gerd Zellweger and
Chris Hawblitzel and
Jon Howell and
Bryan Parno},
editor = {Roxana Geambasu and
Ed Nightingale},
title = {Sharding the State Machine: Automated Modular Reasoning for Complex
Concurrent Systems},
booktitle = {17th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2023, Boston, MA, USA, July 10-12, 2023},
pages = {911--929},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/osdi23/presentation/hance},
timestamp = {Tue, 19 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/HanceZLACSZHHP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cera/AmmarHCBLH19,
author = {Randa Ammar and
Moncef Hammadi and
Jean{-}Yves Choley and
Maher Barkallah and
Jamel Louati and
Mohamed Haddar},
title = {Narrowing the set of complex systems' possible design solutions derived
from the set-based concurrent engineering approach},
journal = {Concurr. Eng. Res. Appl.},
volume = {27},
number = {3},
year = {2019},
url = {https://doi.org/10.1177/1063293X19855115},
doi = {10.1177/1063293X19855115},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cera/AmmarHCBLH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip5-1/FortinMKGT17,
author = {Cl{\'{e}}ment Fortin and
Grant McSorley and
Dominik Knoll and
Alessandro Golkar and
Ralina Tsykunova},
editor = {Jos{\'{e}} R{\'{\i}}os and
Alain Bernard and
Abdelaziz Bouras and
Sebti Foufou},
title = {Study of Data Structures and Tools for the Concurrent Conceptual Design
of Complex Space Systems},
booktitle = {Product Lifecycle Management and the Industry of the Future - 14th
{IFIP} {WG} 5.1 International Conference, {PLM} 2017, Seville, Spain,
July 10-12, 2017, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {517},
pages = {601--611},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-72905-3\_53},
doi = {10.1007/978-3-319-72905-3\_53},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip5-1/FortinMKGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HommEG16,
author = {Daniel Homm and
Juergen Eckert and
Reinhard German},
title = {CenUMs - concurrency enhanced usage models for statistical testing
of complex systems with concurrent streams of use},
journal = {Sci. Comput. Program.},
volume = {132},
pages = {173--189},
year = {2016},
url = {https://doi.org/10.1016/j.scico.2016.07.002},
doi = {10.1016/J.SCICO.2016.07.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/HommEG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/MarrBM16,
author = {Stefan Marr and
Elisa Gonzalez Boix and
Hanspeter M{\"{o}}ssenb{\"{o}}ck},
editor = {Wolf Zimmermann and
Lukas Alperowitz and
Bernd Br{\"{u}}gge and
J{\"{o}}rn Fahsel and
Andrea Herrmann and
Anne Hoffmann and
Andreas Krall and
Dieter Landes and
Horst Lichter and
Dirk Riehle and
Ina Schaefer and
Constantin Scheuermann and
Alexander Schlaefer and
Sibylle Schupp and
Andreas Seitz and
Andreas Steffens and
Andr{\'{e}} Stollenwerk and
R{\"{u}}diger Wei{\ss}bach},
title = {Towards Meta-Level Engineering and Tooling for Complex Concurrent
Systems},
booktitle = {Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering
2016 {(SE} 2016), Wien, 23.-26. Februar 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1559},
pages = {91--95},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1559/paper07.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/se/MarrBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Homm0G15,
author = {Daniel Homm and
Juergen Eckert and
Reinhard German},
editor = {Roger L. Wainwright and
Juan Manuel Corchado and
Alessio Bechini and
Jiman Hong},
title = {Concurrent streams in Markov chain usage models for statistical testing
of complex systems},
booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
Salamanca, Spain, April 13-17, 2015},
pages = {1803--1807},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2695664.2695914},
doi = {10.1145/2695664.2695914},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/Homm0G15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispe/CorsettiRGZ12,
author = {Andre Corsetti and
Edson Alves Ribeiro and
Giuliani Paulineli Garbi and
Karina Zanta},
editor = {Josip Stjepandic and
Georg Rock and
Cees Bil},
title = {Complex Systems Developed with System Concurrent Engineering},
booktitle = {Concurrent Engineering Approaches for Sustainable Product Development
in a Multi-Disciplinary Environment - Proceedings of the 19th {ISPE}
International Conference on Concurrent Engineering {(ISPE} {CE} 2012),
Trier, Germany, September 3-7, 2012},
pages = {1057--1068},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-1-4471-4426-7\_89},
doi = {10.1007/978-1-4471-4426-7\_89},
timestamp = {Thu, 21 Sep 2023 11:29:59 +0200},
biburl = {https://dblp.org/rec/conf/ispe/CorsettiRGZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Seppecher11,
author = {Pascal Seppecher},
title = {Mod{\'{e}}lisation multi-agents d'une {\'{e}}conomie mon{\'{e}}taire
de production : un syst{\`{e}}me dynamique et complexe d'interactions
r{\'{e}}elles et mon{\'{e}}taires entre des agents multiples,
h{\'{e}}t{\'{e}}rog{\`{e}}nes, autonomes et concurrents.
(Building an agent-based model of a monetary production economy :
a complex dynamic system of real and monetary interactions between
multiple, heterogeneous, autonomous and rival agents)},
school = {University of Nice Sophia Antipolis, France},
year = {2011},
url = {https://tel.archives-ouvertes.fr/tel-00693151},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Seppecher11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/KretschmerM11,
author = {J{\"{o}}rn Kretschmer and
Knut M{\"{o}}ller},
title = {Sequential versus concurrent computation of complex model systems
for medical decision support},
booktitle = {33rd Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2011, Boston, MA, USA, August
30 - Sept. 3, 2011},
pages = {133--136},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/IEMBS.2011.6089912},
doi = {10.1109/IEMBS.2011.6089912},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/embc/KretschmerM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ispe/2011,
editor = {Daniel D. Frey and
Shuichi Fukuda and
Georg Rock},
title = {Improving Complex Systems Today, Proceedings of the 18th {ISPE} International
Conference on Concurrent Engineering, July 4-8, 2011, Boston, MA,
{USA}},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-85729-799-0},
doi = {10.1007/978-0-85729-799-0},
isbn = {978-0-85729-798-3},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ispe/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/Costas-PerezR09,
author = {Lucia Costas{-}Perez and
Juan J. Rodr{\'{\i}}guez{-}Andina},
title = {Algorithmic Concurrent Error Detection in Complex Digital-Processing
Systems},
journal = {{IEEE} Des. Test Comput.},
volume = {26},
number = {1},
pages = {60--67},
year = {2009},
url = {https://doi.org/10.1109/MDT.2009.6},
doi = {10.1109/MDT.2009.6},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dt/Costas-PerezR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/PolackAS09,
author = {Fiona A. C. Polack and
Paul S. Andrews and
Adam T. Sampson},
title = {The engineering of concurrent simulations of complex systems},
booktitle = {Proceedings of the {IEEE} Congress on Evolutionary Computation, {CEC}
2009, Trondheim, Norway, 18-21 May, 2009},
pages = {217--224},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/CEC.2009.4982951},
doi = {10.1109/CEC.2009.4982951},
timestamp = {Thu, 16 Dec 2021 14:01:55 +0100},
biburl = {https://dblp.org/rec/conf/cec/PolackAS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/complex/LuoZ09,
author = {Hao Luo and
Huaxin Zeng},
editor = {Jie Zhou},
title = {On Distributed Multi-Point Concurrent Test System and Its Implementation},
booktitle = {Complex Sciences, First International Conference, Complex 2009, Shanghai,
China, February 23-25, 2009. Revised Papers, Part 1},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {4},
pages = {125--139},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02466-5\_11},
doi = {10.1007/978-3-642-02466-5\_11},
timestamp = {Wed, 24 May 2017 08:27:17 +0200},
biburl = {https://dblp.org/rec/conf/complex/LuoZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bioinformatics/AbascalCCP08,
author = {Federico Abascal and
Pedro Carmona{-}Saez and
Jos{\'{e}} Mar{\'{\i}}a Carazo and
Alberto D. Pascual{-}Montano},
title = {ChIPCodis: mining complex regulatory systems in yeast by concurrent
enrichment analysis of chip-on-chip data},
journal = {Bioinform.},
volume = {24},
number = {9},
pages = {1208--1209},
year = {2008},
url = {https://doi.org/10.1093/bioinformatics/btn094},
doi = {10.1093/BIOINFORMATICS/BTN094},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bioinformatics/AbascalCCP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itng/AoumeurBS08,
author = {Nasreddine Aoumeur and
Kamel Barkaoui and
Gunter Saake},
editor = {Shahram Latifi},
title = {Towards Maude-Tla based Foundation for Complex Concurrent Systems
Specification and Certification},
booktitle = {Fifth International Conference on Information Technology: New Generations
{(ITNG} 2008), 7-8 April 2008, Las Vegas, Nevada, {USA}},
pages = {1305--1307},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ITNG.2008.268},
doi = {10.1109/ITNG.2008.268},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/itng/AoumeurBS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/SinghRAS07,
author = {Gaurav Singh and
S. S. Ravi and
Sumit Ahuja and
Sandeep K. Shukla},
editor = {Luca Benini and
Naehyuck Chang and
Ulrich Kremer and
Christian W. Probst},
title = {Complexity of Scheduling in Synthesizing Hardware from Concurrent
Action Oriented Specifications},
booktitle = {Power-aware Computing Systems, 21.01. - 26.01.2007},
series = {Dagstuhl Seminar Proceedings},
volume = {07041},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2007/1105},
timestamp = {Wed, 02 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dagstuhl/SinghRAS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/promas/Shehory06,
author = {Onn Shehory},
editor = {Rafael H. Bordini and
Mehdi Dastani and
J{\"{u}}rgen Dix and
Amal El Fallah Seghrouchni},
title = {A Self-healing Approach to Designing and Deploying Complex, Distributed
and Concurrent Software Systems},
booktitle = {Programming Multi-Agent Systems, 4th International Workshop, ProMAS
2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4411},
pages = {3--13},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71956-4\_1},
doi = {10.1007/978-3-540-71956-4\_1},
timestamp = {Wed, 12 Aug 2020 21:55:20 +0200},
biburl = {https://dblp.org/rec/conf/promas/Shehory06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cera/KleinBSB03,
author = {Mark Klein and
Dan Braha and
Hiroki Sayama and
Yaneer Bar{-}Yam},
title = {Special Issue on a Complex Systems Perspective on Concurrent Engineering},
journal = {Concurr. Eng. Res. Appl.},
volume = {11},
number = {3},
pages = {163},
year = {2003},
url = {https://doi.org/10.1177/106329303039729},
doi = {10.1177/106329303039729},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cera/KleinBSB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HarelKV02,
author = {David Harel and
Orna Kupferman and
Moshe Y. Vardi},
title = {On the Complexity of Verifying Concurrent Transition Systems},
journal = {Inf. Comput.},
volume = {173},
number = {2},
pages = {143--161},
year = {2002},
url = {https://doi.org/10.1006/inco.2001.2920},
doi = {10.1006/INCO.2001.2920},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HarelKV02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0000959,
author = {Anca Muscholl},
title = {Decision and complexity issues on concurrent systems},
publisher = {Universit{\"{a}}t Stuttgart},
year = {1999},
timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0000959.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/Schmidt99,
author = {Douglas C. Schmidt},
title = {Using Design Patterns, Frameworks and {CORBA} to Reduce the Complexity
of Developing Reusable Large-Scale Object-Oriented Concurrent Communication
Components and Systems},
booktitle = {5th International Conference on Engineering of Complex Computer Systems
{(ICECCS} '99), October 18-22, 1999, Las Vegas, NV, {USA}},
pages = {181--182},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.ieeecomputersociety.org/10.1109/ICECCS.1999.10003},
doi = {10.1109/ICECCS.1999.10003},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/Schmidt99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Rabinovich97a,
author = {Alexander Moshe Rabinovich},
title = {Complexity of Equivalence Problems for Concurrent Systems of Finite
Agents},
journal = {Inf. Comput.},
volume = {139},
number = {2},
pages = {111--129},
year = {1997},
url = {https://doi.org/10.1006/inco.1997.2661},
doi = {10.1006/INCO.1997.2661},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Rabinovich97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HarelKV97,
author = {David Harel and
Orna Kupferman and
Moshe Y. Vardi},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {On the Complexity of Verifying Concurrent Transition Systems},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {258--272},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_18},
doi = {10.1007/3-540-63141-0\_18},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HarelKV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0010680,
author = {Alfried Pollmann},
title = {Logic / object-oriented concurrent robot programming and performance
aspects},
series = {Programming complex systems},
volume = {9},
publisher = {de Gruyter},
year = {1996},
isbn = {978-3-11-015072-8},
timestamp = {Fri, 19 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0010680.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/ManetschC91,
author = {Thomas J. Manetsch and
Alan D. Cabrera},
title = {Use of concurrent processing with the adaptive complex method for
global optimization of large dynamic systems},
journal = {{IEEE} Trans. Syst. Man Cybern.},
volume = {21},
number = {2},
pages = {442--445},
year = {1991},
url = {https://doi.org/10.1109/21.87091},
doi = {10.1109/21.87091},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/ManetschC91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/Pashtan85,
author = {Ariel Pashtan},
title = {Operating System Models in a Concurrent Pascal Environment: Complexity
and Performance Considerations},
journal = {{IEEE} Trans. Software Eng.},
volume = {11},
number = {1},
pages = {136--141},
year = {1985},
url = {https://doi.org/10.1109/TSE.1985.231538},
doi = {10.1109/TSE.1985.231538},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/Pashtan85.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-30 13:10 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:
