Filtrer vos résultats
- 43
- 6
- 28
- 15
- 2
- 2
- 1
- 1
- 1
- 1
- 48
- 2
- 3
- 7
- 5
- 6
- 3
- 5
- 5
- 3
- 5
- 1
- 4
- 1
- 1
- 49
- 30
- 20
- 15
- 12
- 12
- 11
- 8
- 7
- 5
- 5
- 3
- 3
- 2
- 1
- 1
- 49
- 32
- 12
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
49 résultats
|
|
triés par
|
|
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop Tolerance24th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC), May 2018, Wien, Austria
Communication dans un congrès
hal-01936403v1
|
||
|
Synthesis in Presence of Dynamic LinksGandALF'20 - 11th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2020, Brussels (online), Belgium
Communication dans un congrès
hal-02917542v1
|
||
|
Multidimensional Asymptotic Consensus in Dynamic Networks[Research Report] Arxiv. 2016
Rapport
hal-01789019v1
|
||
|
Unfaithful Glitch Propagation in Existing Binary Circuit ModelsASYNC 2013 - IEEE 19th International Symposium on Asynchronous Circuits and Systems, May 2013, Santa Monica, United States. pp.191-199, ⟨10.1109/ASYNC.2013.9⟩
Communication dans un congrès
hal-00993796v1
|
||
|
Digital Circuit Design for Biological and Silicon ComputersAdvances in Synthetic Biology, Springer Singapore, pp.153-171, 2020, ⟨10.1007/978-981-15-0081-7_9⟩
Chapitre d'ouvrage
hal-02549707v1
|
||
|
Transistor-Level Analysis of Dynamic Delay ModelsASYNC 2019 - 25th IEEE International Symposium on Asynchronous Circuits and Systems, May 2019, Hirosaki, Japan. pp.76-85, ⟨10.1109/ASYNC.2019.00019⟩
Communication dans un congrès
hal-02395229v1
|
||
|
On the Susceptibility of QDI Circuits to Transient FaultsFORMATS 2023 - International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2023, Antwerp, Belgium. pp.69-85, ⟨10.1007/978-3-031-42626-1_5⟩
Communication dans un congrès
hal-04266002v1
|
||
|
New transience bounds for max-plus linear systemsDiscrete Applied Mathematics, 2017, 219, pp.83 - 99. ⟨10.1016/j.dam.2016.11.003⟩
Article dans une revue
hal-01738257v1
|
||
|
Computing at the border of abstractions: the power of timed, non-binary, distributed circuitsComputer Science [cs]. ENS Paris-Saclay, France, 2022
HDR
tel-04308490v1
|
||
|
A Composable Glitch-Aware Delay ModelGLSVLSI '21: Great Lakes Symposium on VLSI 2021, Jun 2021, Virtual Event, United States. pp.147-154, ⟨10.1145/3453688.3461519⟩
Communication dans un congrès
hal-03451070v1
|
||
|
Metastability-Containing CircuitsIEEE Transactions on Computers, 2018, pp.1167 - 1183. ⟨10.1109/TC.2018.2808185⟩
Article dans une revue
hal-01936292v1
|
||
|
Tight Bounds for Asymptotic and Approximate ConsensusACM Symposium on Principles of Distributed Computing (PODC'18), Jul 2018, Egham, United Kingdom. ⟨10.1145/3212734.3212762⟩
Communication dans un congrès
hal-01799039v1
|
||
|
Diffusive clock synchronization in highly dynamic networks49th Annual Conference on Information Systems and Sciences (CISS 2015), Mar 2015, Baltimore, United States. ⟨10.1109/CISS.2015.7086841⟩
Communication dans un congrès
hal-01231513v1
|
||
|
Fast Multidimensional Asymptotic and Approximate ConsensusInternational Symposium on DIStributed Computing (DISC) 2018, Oct 2018, New Orleans, United States. ⟨10.4230/LIPIcs.DISC.2018.27⟩
Communication dans un congrès
hal-01936316v1
|
||
|
A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission2022
Pré-publication, Document de travail
hal-03670575v2
|
||
|
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms42nd International Colloquium on Automata, Languages, and Programming (ICALP 2015), Jul 2015, Kyoto, Japan. pp.528-539, ⟨10.1007/978-3-662-47666-6_42⟩
Communication dans un congrès
hal-01107422v2
|
||
Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC), May 2023, San Antonio, United States
Communication dans un congrès
hal-03973076v1
|
|||
|
Generation of a fault-tolerant clock through redundant crystal oscillatorsMicroelectronics Reliability, 2021, 120, pp.114088. ⟨10.1016/j.microrel.2021.114088⟩
Article dans une revue
hal-03329844v1
|
||
|
Towards Binary Circuit Models That Faithfully Capture Physical SolvabilityDesign, Automation, and Test in Europe (DATE), Mar 2015, Grenoble, France
Communication dans un congrès
hal-01107436v1
|
||
|
Synthesis in presence of dynamic linksInformation and Computation, 2022, 289 (Part B), pp.104856. ⟨10.1016/j.ic.2021.104856⟩
Article dans une revue
hal-03518879v1
|
||
|
Fast All-Digital Clock Frequency Adaptation Circuit for Voltage Droop ToleranceIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2022, 41 (8), pp.2518-2531. ⟨10.1109/TCAD.2021.3097599⟩
Article dans une revue
hal-03536906v1
|
||
|
The Effect of Forgetting on the Performance of a SynchronizerPerformance Evaluation, 2015, 93, pp.1-16. ⟨10.1016/j.peva.2015.08.002⟩
Article dans une revue
hal-01231498v1
|
||
|
Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic Networks31st International Symposium on Distributed Computing (DISC), Oct 2017, Wien, Austria
Communication dans un congrès
hal-01652851v1
|
||
|
Metastability Tolerant ComputingASYNC17 - 23rd IEEE International Symposium on Asynchronous Circuits and Systems, May 2017, San Diego, United States
Communication dans un congrès
hal-01652772v1
|
||
|
On the Radius of Nonsplit Graphs and Information Dissemination in Dynamic NetworksDiscrete Applied Mathematics, 2020
Article dans une revue
hal-02946849v1
|
||
|
Reaching Agreement in Competitive Microbial Systems2022
Pré-publication, Document de travail
hal-03545888v1
|
||
|
A Faithful Binary Circuit Model with Adversarial NoiseDATE 2018 - Design, Automation and Test in Europe Conference and Exhibition, Mar 2018, Dresden, Germany. ⟨10.23919/DATE.2018.8342219⟩
Communication dans un congrès
hal-01738254v1
|
||
|
PALS: Plesiochronous and Locally Synchronous SystemsASYNC 2020 - 26th IEEE International Symposium on Asynchronous Circuits and Systems, May 2020, Salt Lake City, United States. pp.36-43, ⟨10.1109/ASYNC49171.2020.00013⟩
Communication dans un congrès
hal-03070326v1
|
||
|
MobsPy: A Meta-species Language for Chemical Reaction NetworksCMSB 2022 - International Conference on Computational Methods in Systems Biology, Sep 2022, Bucharest, Romania. pp.277-285, ⟨10.1007/978-3-031-15034-0_14⟩
Communication dans un congrès
hal-03876041v1
|
||
|
The Involution Tool for Accurate Digital Timing and Power AnalysisSystems Integration, 2021, 76, pp.87-98. ⟨10.1016/j.vlsi.2020.09.007⟩
Article dans une revue
hal-03070269v1
|
- 1
- 2