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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
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
|
||
|
|
A synthetic communication system uncovers extracellular immunity that self-limits bacteriophage transmission2022
Pré-publication, Document de travail
hal-03670575v2
|
- 1
- 2