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
|
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
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
|
|||
|
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
|
||
|
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
|
||
|
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
|
||
|
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
|
||
|
Synchronizer-free Digital Link ControllerIEEE Transactions on Circuits and Systems I: Regular Papers, 2020, 67 (10), pp.3562-3573. ⟨10.1109/TCSI.2020.2989552⟩
Article dans une revue
hal-03070312v1
|
||
|
On the Performance of a Retransmission-Based SynchronizerSIROCCO 2011 - 18th International Colloquium Structural Information and Communication Complexity, Jun 2011, Gdansk, Poland. pp.234-245, ⟨10.1007/978-3-642-22212-2_21⟩
Communication dans un congrès
hal-00993805v1
|
||
|
On the Performance of a Retransmission-Based SynchronizerTheoretical Computer Science, 2013, 509, pp.25-39. ⟨10.1016/j.tcs.2012.04.035⟩
Article dans une revue
hal-00993470v1
|
||
|
Brief Announcement: Lower Bounds for Asymptotic Consensus in Dynamic NetworksInternational Symposium on DIStributed Computing (DISC) 2017, Oct 2017, Vienna, Austria. pp.51 - 52
Communication dans un congrès
hal-02946788v1
|
||
|
Transience Bounds for Distributed AlgorithmsFORMATS 2013 - 11th International Conference Formal Modeling and Analysis of Timed Systems, Aug 2013, Buenos Aires, Argentina. pp.77-90, ⟨10.1007/978-3-642-40229-6_6⟩
Communication dans un congrès
hal-00993785v1
|
||
|
Fast, Robust, Quantizable Approximate Consensus *43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), Jul 2016, Rome, Italy. ⟨10.4230/LIPIcs.ICALP.2016.137⟩
Communication dans un congrès
hal-01395576v1
|
||
|
PALS: Distributed Gradient Clocking on ChipIEEE Transactions on Very Large Scale Integration (VLSI) Systems, 2023, 31 (11), pp.1740-1753. ⟨10.1109/TVLSI.2023.3311178⟩
Article dans une revue
hal-04266029v1
|
||
|
Unfaithful Glitch Propagation in Existing Binary Circuit ModelsIEEE Transactions on Computers, 2016, 65 (3), pp.964-978. ⟨10.1109/TC.2015.2435791⟩
Article dans une revue
hal-01231501v1
|
||
|
Experimental Validation of a Faithful Binary Circuit Model25th Great Lakes Symposium on VLSI (GLSVLSI 2015), May 2015, Pittsburgh, United States. ⟨10.1145/2742060.2742081⟩
Communication dans un congrès
hal-01231509v1
|
||
|
Brief Announcement: The Degrading Effect of Forgetting on a SynchronizerSSS 2012 - 14th International Symposium Stabilization, Safety, and Security of Distributed Systems, Oct 2012, Toronto, Canada. pp.90-91, ⟨10.1007/978-3-642-33536-5_9⟩
Communication dans un congrès
hal-00993869v1
|
||
|
Distributed Computation with Continual Population GrowthDISC 2020 - 34th International Symposium on DIStributed Computing, 2020, virtual, Germany. p. 1-17, ⟨10.4230/LIPIcs.DISC.2020.6⟩
Communication dans un congrès
hal-02946883v1
|
||
|
A Faithful Binary Circuit ModelIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2019, ⟨10.1109/TCAD.2019.2937748⟩
Article dans une revue
hal-02395251v1
|
||
|
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
|
- 1
- 2