Search dblp for Publications

export results for "toc:db/conf/acsd/acsd2001.bht:"

 download as .bib file

@inproceedings{DBLP:conf/acsd/AndreBG01,
  author       = {Charles Andre and
                  Fr{\'{e}}d{\'{e}}ric Boulanger and
                  Alain Girault},
  title        = {Software Implementation of Synchronous Programs},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {133--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981771},
  doi          = {10.1109/CSD.2001.981771},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/AndreBG01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/ArtsL01,
  author       = {Thomas Arts and
                  Izak van Langevelde},
  title        = {Correct Performance of Transaction Capabilities},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {35--42},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981762},
  doi          = {10.1109/CSD.2001.981762},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/ArtsL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BaldamusS01,
  author       = {Michael Baldamus and
                  Klaus Schneider},
  title        = {The {BDD} Space Complexity of Different Forms of Concurrency},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {231},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981780},
  doi          = {10.1109/CSD.2001.981780},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BaldamusS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BurchPS01,
  author       = {Jerry R. Burch and
                  Roberto Passerone and
                  Alberto L. Sangiovanni{-}Vincentelli},
  title        = {Overcoming Heterophobia: Modeling Concurrency in Heterogeneous Systems},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {13},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981761},
  doi          = {10.1109/CSD.2001.981761},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BurchPS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/BurtonKP01,
  author       = {Jonathan Burton and
                  Maciej Koutny and
                  Giuseppe Pappalardo},
  title        = {Implementing Communicating Processes in the Event of Interface Difference},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {87},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981767},
  doi          = {10.1109/CSD.2001.981767},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/BurtonKP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/CarmonaCP01,
  author       = {Josep Carmona and
                  Jordi Cortadella and
                  Enric Pastor},
  title        = {A structural encoding technique for the synthesis of asynchronous
                  circuits},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {157--166},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981773},
  doi          = {10.1109/CSD.2001.981773},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/CarmonaCP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/ChachkovB01,
  author       = {Stanislav Chachkov and
                  Didier Buchs},
  title        = {From Formal Specifications to Ready-to-Use Software Components: The
                  Concurrent Object Oriented Petri Net Approach},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {99},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981768},
  doi          = {10.1109/CSD.2001.981768},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/ChachkovB01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/GarnicaLH01,
  author       = {Oscar Garnica and
                  Juan Lanchares and
                  Rom{\'{a}}n Hermida},
  title        = {Optimization of Asynchronous Delay-Insensitive Pipeline Latency Using
                  Stage Reorganization and Optimal Stage Parameter Estimation},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {167--178},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981774},
  doi          = {10.1109/CSD.2001.981774},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/GarnicaLH01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Grajcar01,
  author       = {Martin Grajcar},
  title        = {Strength and Weaknesses of Genetic List Scheduling for Heterogeneous
                  Systems},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {123--132},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981770},
  doi          = {10.1109/CSD.2001.981770},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Grajcar01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/HelovuoL01,
  author       = {Juhana Helovuo and
                  Sari Lepp{\"{a}}nen},
  title        = {Exploration Testing},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {201--210},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981777},
  doi          = {10.1109/CSD.2001.981777},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/HelovuoL01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Holzmann01,
  author       = {Gerard J. Holzmann},
  title        = {From Code to Models},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {3--10},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981759},
  doi          = {10.1109/CSD.2001.981759},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Holzmann01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/HornosC01,
  author       = {Miguel J. Hornos and
                  Manuel I. Capel},
  title        = {Automata Generation for On-the-fly Automatic Verification Using Formulas
                  of an Interval Logic},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {221--230},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981779},
  doi          = {10.1109/CSD.2001.981779},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/HornosC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Jurjens01,
  author       = {Jan J{\"{u}}rjens},
  title        = {Abstracting from Failure Probabilities},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {53},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981764},
  doi          = {10.1109/CSD.2001.981764},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Jurjens01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Kramer01,
  author       = {Jeff Kramer},
  title        = {Making Meaningful Models for Mere Mortal},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {11--12},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981760},
  doi          = {10.1109/CSD.2001.981760},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Kramer01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/LorentsenK01,
  author       = {Louise Lorentsen and
                  Lars Michael Kristensen},
  title        = {Exploiting Stabilizers and Parallelism in State Space Generation with
                  the Symmetry Method},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {211--220},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981778},
  doi          = {10.1109/CSD.2001.981778},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/LorentsenK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/MachadoF01,
  author       = {Ricardo Jorge Machado and
                  Jo{\~{a}}o M. Fernandes},
  title        = {A Petri Net Meta-Model to Develop Software Components for Embedded
                  Systems},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {113--122},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981769},
  doi          = {10.1109/CSD.2001.981769},
  timestamp    = {Wed, 09 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/MachadoF01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/NegulescuK01,
  author       = {Radu Negulescu and
                  Xiaohua Kong},
  title        = {Semi-Hiding Operators and the Analysis of Active-Edge Specifications
                  for Digital Circuits},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {189},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981776},
  doi          = {10.1109/CSD.2001.981776},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/NegulescuK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Peuker01,
  author       = {Sibylle Peuker},
  title        = {Property Preserving Transition Refinement with Concurrent Runs: An
                  Example},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {77--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981766},
  doi          = {10.1109/CSD.2001.981766},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Peuker01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Pietkiewicz-Koutny01,
  author       = {Marta Pietkiewicz{-}Koutny},
  title        = {Synthesis of Net Systems with Inhibitor Arcs from Step Transition
                  Systems},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {245--254},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981781},
  doi          = {10.1109/CSD.2001.981781},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Pietkiewicz-Koutny01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Schneider01,
  author       = {Klaus Schneider},
  title        = {Embedding Imperative Synchronous Languages in Interactive Theorem
                  Provers},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {143},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981772},
  doi          = {10.1109/CSD.2001.981772},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Schneider01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/StarodoubtsevBGKS01,
  author       = {Nikolai Starodoubtsev and
                  Sergei Bystrov and
                  Michael V. Goncharov and
                  Ilya V. Klotchkov and
                  Alexander B. Smirnov},
  title        = {Towards Synthesis of Monotonic Asynchronous Circuits from Signal Transition
                  Graphs},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {179--188},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981775},
  doi          = {10.1109/CSD.2001.981775},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/StarodoubtsevBGKS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/XiaC01,
  author       = {Fei Xia and
                  Ian G. Clark},
  title        = {Algorithms for Signal and Message Asynchronous Communication Mechanisms
                  and Their Analysis},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {65},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981765},
  doi          = {10.1109/CSD.2001.981765},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/XiaC01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/acsd/Zuberek01,
  author       = {Wlodzimierz M. Zuberek},
  title        = {Analysis of Performance Limitations in Multithreaded Multiprocessor
                  Architectures},
  booktitle    = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  pages        = {43--52},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/CSD.2001.981763},
  doi          = {10.1109/CSD.2001.981763},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/acsd/Zuberek01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/acsd/2001,
  title        = {2nd International Conference on Application of Concurrency to System
                  Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7716/proceeding},
  isbn         = {0-7695-1071-X},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acsd/2001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.