Search results for "forks"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Nattha Sretasereekul, Takashi Nanya	Eliminating isochronic-fork constraints in quasi-delay-insensitive circuits.	ASP-DAC	2001	DBLP DOI BibTeX RDF
52	Kees van Berkel 0001, Ferry Huberts, Ad M. G. Peeters	Stretching quasi delay insensitivity by means of extended isochronic forks.	ASYNC	1995	DBLP DOI BibTeX RDF	extended isochronic forks, isochronic-fork assumption, double-rail data paths, DCC error decoder, logic design, asynchronous circuits, asynchronous circuits, arbiter, delay insensitivity, handshake circuits
47	Luyao Ren, Shurui Zhou, Christian Kästner	Forks insight: providing an overview of GitHub forks.	ICSE (Companion Volume)	2018	DBLP DOI BibTeX RDF
36	Recep O. Ozdag, Peter A. Beerel, Montek Singh, Steven M. Nowick	High-Speed Non-Linear Asynchronous Pipelines.	DATE	2002	DBLP DOI BibTeX RDF
28	Recep O. Ozdag, Peter A. Beerel	High-Speed QDI Asynchronous Pipelines.	ASYNC	2002	DBLP DOI BibTeX RDF	conditional split, conditional join, QDI, pipelines, asynchronous, dynamic logic, joins, non-linear, fine-grain, micropipelines, forks
28	Radu Negulescu, Ad M. G. Peeters	Verification of Speed-Dependences in Single-Rail Handshake Circuits.	ASYNC	1998	DBLP DOI BibTeX RDF	single-rail, isochronic forks, verification, timing, asynchronous circuits, progress, speed-independent circuits, process spaces, handshake circuits
28	Nozar Tabrizi, Michael J. Liebelt, Kamran Eshraghian	Delay Hazards in Complex Gate Based Speed Independent VLSI Circuits.	Great Lakes Symposium on VLSI	1996	DBLP DOI BibTeX RDF	isochronic forks, speed independent circuits (SICs), Asynchronous circuits, signal transition graphs (STGs), hazards
28	Donald B. McIntyre	The Role of Composition in Computer Programming.	APL	1995	DBLP DOI BibTeX RDF	Iverson, adverbs, composite verbs, executable mathematical notation, function composition, gerunds, hooks, APL, APL, trains, geometry, J, J, conjunctions, forks
24	Tucker Ervin	New Hereditary And Mutation-Invariant Properties Arising from Forks.	Electron. J. Comb.	2024	DBLP DOI BibTeX RDF
24	Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal	Syntactic ASP forgetting with forks.	Artif. Intell.	2024	DBLP DOI BibTeX RDF
24	Syed Naseer Ahmed, M. Bhargava, Sai Srinadh K. V	Material selection using knowledge-based expert system for racing bicycle forks.	Intell. Syst. Appl.	2023	DBLP DOI BibTeX RDF
24	Diba Ayache, Roman Rousseau, Elena Kniazeva, Julien Charensol, Tarek Seoudi, Michael Bahriz, Fares Gouzi, Vincenzo Spagnolo, Aurore Vicet	Commercial and Custom Quartz Tuning Forks for Quartz Enhanced Photoacoustic Spectroscopy: Stability under Humidity Variation.	Sensors	2023	DBLP DOI BibTeX RDF
24	Sébastien Andreina, Lorenzo Alluminio, Giorgia Azzurra Marson, Ghassan Karame	Short Paper: Estimating Patch Propagation Times Across Blockchain Forks.	FC	2023	DBLP DOI BibTeX RDF
24	Liang Wang 0006, Zhiwen Zheng, Xiangchen Wu, Baihui Sang, Jierui Zhang, Xianping Tao	Fork Entropy: Assessing the Diversity of Open Source Software Projects' Forks.	ASE	2023	DBLP DOI BibTeX RDF
24	Britty Baby, Daksh Thapar, Mustafa Chasmai, Tamajit Banerjee, Kunal Dargan, Ashish Suri, Subhashis Banerjee, Chetan Arora 0001	From Forks to Forceps: A New Framework for Instance Segmentation of Surgical Instruments.	WACV	2023	DBLP DOI BibTeX RDF
24	John Businge, Moses Openja, Sarah Nadi, Thorsten Berger	Reuse and maintenance practices among divergent forks in three software ecosystems.	Empir. Softw. Eng.	2022	DBLP DOI BibTeX RDF
24	Reza Nourmohammadi, Kaiwen Zhang 0001	An On-Chain Governance Model Based on Particle Swarm Optimization for Reducing Blockchain Forks.	IEEE Access	2022	DBLP DOI BibTeX RDF
24	Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal	A polynomial reduction of forks into logic programs.	Artif. Intell.	2022	DBLP DOI BibTeX RDF
24	Britty Baby, Daksh Thapar, Mustafa Chasmai, Tamajit Banerjee, Kunal Dargan, Ashish Suri, Subhashis Banerjee, Chetan Arora 0001	From Forks to Forceps: A New Framework for Instance Segmentation of Surgical Instruments.	CoRR	2022	DBLP DOI BibTeX RDF
24	Zhiwen Zheng, Liang Wang 0006, Jierui Zhang, Baihui Sang, Xianping Tao	Measure the Diversity of Open Source Software Projects' Forks with Fork Entropy.	CoRR	2022	DBLP DOI BibTeX RDF
24	Sébastien Andreina, Lorenzo Alluminio, Giorgia Azzurra Marson, Ghassan Karame	Estimating Patch Propagation Times across (Blockchain) Forks.	CoRR	2022	DBLP DOI BibTeX RDF
24	Henrique Rocha, John Businge	Blockchain-Oriented Software Variant Forks: A Preliminary Study.	CoRR	2022	DBLP DOI BibTeX RDF
24	Daigo Imamura, Takashi Ishio, Raula Gaikovina Kula, Kenichi Matsumoto	Bug-Fix Variants: Visualizing Unique Source Code Changes across GitHub Forks.	CoRR	2022	DBLP DOI BibTeX RDF
24	Jusop Choi, Wonseok Choi 0007, William Aiken, Hyoungshick Kim, Jun Ho Huh, Taesoo Kim, Yongdae Kim, Ross J. Anderson	Attack of the Clones: Measuring the Maintainability, Originality and Security of Bitcoin 'Forks' in the Wild.	CoRR	2022	DBLP BibTeX RDF
24	Aljosha Judmayer, Nicholas Stifter, Philipp Schindler, Edgar R. Weippl	How much is the fork? Fast Probability and Profitability Calculation during Temporary Forks.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF
24	Aljosha Judmayer, Nicholas Stifter, Philipp Schindler, Edgar R. Weippl	How much is the fork? Fast Probability and Profitability Calculation during Temporary Forks.	WWW (Companion Volume)	2022	DBLP DOI BibTeX RDF
24	Nobuyuki Kita, Takuro Kato	Image Measurement Method for Automatic Insertion of Forks into Inclined Pallet.	ICARCV	2022	DBLP DOI BibTeX RDF
24	Henrique Rocha, John Businge	Blockchain-Oriented Software Variant Forks: A Preliminary Study.	SANER	2022	DBLP DOI BibTeX RDF
24	John Businge, Ahmed Zerouali, Alexandre Decan, Tom Mens, Serge Demeyer, Coen De Roover	Variant Forks - Motivations and Impediments.	SANER	2022	DBLP DOI BibTeX RDF
24	Sebastian Overhage, Thomas Widjaja	A Taxonomy of Forks in the Context of Decentralized Autonomous Organizations.	ECIS	2022	DBLP BibTeX RDF
24	Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal	Syntactic ASP Forgetting with Forks.	LPNMR	2022	DBLP DOI BibTeX RDF
24	Daigo Imamura, Takashi Ishio, Raula Gaikovina Kula, Kenichi Matsumoto	Bug-Fix Variants: Visualizing Unique Source Code Changes across GitHub Forks.	VISSOFT	2022	DBLP DOI BibTeX RDF
24	Sarah Bouraga	To Fork or Not To Fork? Bitcoin Forks' Success Analysis Using Twitter Data: Preliminary Results.	BRAINS	2022	DBLP DOI BibTeX RDF
24	Mahsa Hadian, Scott Brisson, Bram Adams, Soude Ghari, Ehsan Noei, Marios Fokaefs, Kelly A. Lyons, Shurui Zhou	Exploring trends and practices of forks in open-source software repositories.	CASCON	2022	DBLP BibTeX RDF
24	Kosuke Toda, Naomi Kuze, Toshimitsu Ushio	Modeling and Supervisory Control of Blockchain Forks.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2021	DBLP BibTeX RDF
24	Hongyue Kang, Xiaolin Chang, Runkai Yang, Jelena V. Misic, Vojislav B. Misic	Understanding Selfish Mining in Imperfect Bitcoin and Ethereum Networks With Extended Forks.	IEEE Trans. Netw. Serv. Manag.	2021	DBLP DOI BibTeX RDF
24	Neo C. K. Yiu	An Overview of Forks and Coordination in Blockchain Development.	CoRR	2021	DBLP BibTeX RDF
24	Dionysis Zindros	Soft Power: Upgrading Chain Macroeconomic Policy Through Soft Forks.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
24	Hamzeh Eyal Salman	Feature-based insight for forks in social coding platforms.	Inf. Softw. Technol.	2021	DBLP DOI BibTeX RDF
24	Dionysis Zindros	Soft Power: Upgrading Chain Macroeconomic Policy Through Soft Forks.	Financial Cryptography Workshops	2021	DBLP DOI BibTeX RDF
24	Vincenzo Botta, Daniele Friolo, Daniele Venturi 0001, Ivan Visconti	Shielded Computations in Smart Contracts Overcoming Forks.	Financial Cryptography (1)	2021	DBLP DOI BibTeX RDF
24	Michael T. Goodrich, Riko Jacob, Nodari Sitchinava	Atomic Power in Forks: A Super-Logarithmic Lower Bound for Implementing Butterfly Networks in the Nonatomic Binary Fork-Join Model.	SODA	2021	DBLP DOI BibTeX RDF
24	Wei Zhao, Eleni Maria Manolika, Arnab Ray Chaudhuri, Ihor Smal	Detection Of Replication Forks In Em Images Using Faster R-Cnn.	ISBI	2021	DBLP DOI BibTeX RDF
24	Niels Lindner, Pedro Maristany de las Casas, Philine Schiewe	Optimal Forks: Preprocessing Single-Source Shortest Path Instances with Interval Data.	ATMOS	2021	DBLP DOI BibTeX RDF
24	Robert Viseur, Amel Charleux	Open Source Communities and Forks: A Rereading in the Light of Albert Hirschman's Writings.	OSS	2021	DBLP DOI BibTeX RDF
24	Shahriar Shahriari, Song Yu	Avoiding Brooms, Forks, and Butterflies in the Linear Lattices.	Order	2020	DBLP DOI BibTeX RDF
24	Antoine Pietri, Guillaume Rousseau, Stefano Zacchiroli	Forking Without Clicking: on How to Identify Software Repository Forks.	CoRR	2020	DBLP BibTeX RDF
24	Avijit Bhattacharjee, Sristy Sumana Nath, Shurui Zhou, Debasish Chakroborti, Banani Roy, Chanchal K. Roy, Kevin A. Schneider	An Exploratory Study to Find Motives Behind Cross-platform Forks from Software Heritage Dataset.	CoRR	2020	DBLP BibTeX RDF
24	Mi Zhang, Dehua Chen, Xiao He, Xiuming Wang	A Hydrodynamic Model for Measuring Fluid Density and Viscosity by Using Quartz Tuning Forks.	Sensors	2020	DBLP DOI BibTeX RDF
24	John Businge, Alexandre Decan, Ahmed Zerouali, Tom Mens, Serge Demeyer	An Empirical Investigation of Forks as Variants in the npm Package Distribution.	BENEVOL	2020	DBLP BibTeX RDF
24	Scott Brisson, Ehsan Noei, Kelly A. Lyons	We Are Family: Analyzing Communication in GitHub Software Repositories and Their Forks.	SANER	2020	DBLP DOI BibTeX RDF
24	Arthur Roberto Marcondes, Ricardo Terra	An approach for updating forks against the original project.	SBES	2020	DBLP DOI BibTeX RDF
24	Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Jessica Wolk, Chao Wang 0001	Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study.	ICSE (Companion Volume)	2020	DBLP DOI BibTeX RDF
24	Shurui Zhou, Bogdan Vasilescu, Christian Kästner	How has forking changed in the last 20 years?: a study of hard forks on GitHub.	ICSE (Companion Volume)	2020	DBLP DOI BibTeX RDF
24	Chungha Sung, Shuvendu K. Lahiri, Mike Kaufman, Pallavi Choudhury, Chao Wang 0001	Towards understanding and fixing upstream merge induced conflicts in divergent forks: an industrial case study.	ICSE (SEIP)	2020	DBLP DOI BibTeX RDF
24	Shurui Zhou, Bogdan Vasilescu, Christian Kästner	How has forking changed in the last 20 years?: a study of hard forks on GitHub.	ICSE	2020	DBLP DOI BibTeX RDF
24	Antoine Pietri, Guillaume Rousseau, Stefano Zacchiroli	Forking Without Clicking: on How to Identify Software Repository Forks.	MSR	2020	DBLP DOI BibTeX RDF
24	Avijit Bhattacharjee, Sristy Sumana Nath, Shurui Zhou, Debasish Chakroborti, Banani Roy, Chanchal K. Roy, Kevin A. Schneider	An Exploratory Study to Find Motives Behind Cross-platform Forks from Software Heritage Dataset.	MSR	2020	DBLP DOI BibTeX RDF
24	Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal	Forgetting Auxiliary Atoms in Forks (Extended Abstract). (Journal track)	IJCAI	2020	DBLP DOI BibTeX RDF
24	Tae Wan Kim, Ariel Zetlin-Jones	The Ethics of Contentious Hard Forks in Blockchain Networks With Fixed Features.	Frontiers Blockchain	2019	DBLP DOI BibTeX RDF
24	Mehmet Altay Ünal, Ismail Cengiz Koçum, Dilek Çökeliler Serdaroglu	Design of a portable and low-cost mass-sensitive sensor with the capability ofmeasurements on various frequency quartz tuning forks.	Turkish J. Electr. Eng. Comput. Sci.	2019	DBLP DOI BibTeX RDF
24	Jean-Guy Caputo, Denys Dutykh, Bernard Gleyse	Coupling Conditions for Water Waves at Forks.	Symmetry	2019	DBLP DOI BibTeX RDF
24	Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal	Forgetting auxiliary atoms in forks.	Artif. Intell.	2019	DBLP DOI BibTeX RDF
24	Thomas Voglhuber-Brunnmaier, Alexander O. Niedermayer, Friedrich Feichtinger, Bernhard Jakoby	Fluid Sensing Using Quartz Tuning Forks - Measurement Technology and Applications.	Sensors	2019	DBLP DOI BibTeX RDF
24	Razie Yousefi, Maga Rowicka	Stochasticity of replication forks' speeds plays a key role in the dynamics of DNA replication.	PLoS Comput. Biol.	2019	DBLP DOI BibTeX RDF
24	Till Neudecker, Hannes Hartenstein	Short Paper: An Empirical Analysis of Blockchain Forks in Bitcoin.	Financial Cryptography	2019	DBLP DOI BibTeX RDF
24	Bing Liu, Yang Qin, Xiaowen Chu 0001	Reducing Forks in the Blockchain via Probabilistic Verification.	ICDE Workshops	2019	DBLP DOI BibTeX RDF
24	Olha Kholod, Zhen Lyu, Jonathan B. Mitchem, Peter J. Tonellato, Trupti Joshi, Dmitriy Shin	Mutational Forks: Inferring Deregulated Flow of Signal Transduction Based on Patient-Specific Mutations.	BIBM	2019	DBLP DOI BibTeX RDF
24	A. K. M. Najmul Islam, Matti Mäntymäki, Marja Turunen	Understanding the Role of Actor Heterogeneity in Blockchain Splits: An Actor-Network Perspective of Bitcoin Forks.	HICSS	2019	DBLP BibTeX RDF
24	Vojislav B. Misic, Jelena V. Misic, Xiaolin Chang	On Forks and Fork Characteristics in a Bitcoin-Like Distribution Network.	Blockchain	2019	DBLP DOI BibTeX RDF
24	Thiago Luiz Gontijo de Almeida, Pierre François, Stéphane Frénot	Forkmon: Monitoring the Networks Supporting Bitcoin Hard Forks.	SRDS Workshops	2019	DBLP DOI BibTeX RDF
24	Kimmo Karhu, Robin Gustafsson, Kalle Lyytinen	Exploiting and Defending Open Digital Platforms with Boundary Resources: Android's Five Platform Forks.	Inf. Syst. Res.	2018	DBLP DOI BibTeX RDF
24	Shurui Zhou, Stefan Stanciulescu, Olaf Leßenich, Yingfei Xiong 0001, Andrzej Wasowski, Christian Kästner	Identifying features in forks.	ICSE	2018	DBLP DOI BibTeX RDF
24	Nicolas Tripoul, Hassan Halawa, Tahsin Reza, Geoffrey Sanders, Roger Pearce, Matei Ripeanu	There are Trillions of Little Forks in the Road. Choose Wisely! - Estimating the Cost and Likelihood of Success of Constrained Walks to Optimize a Graph Pruning Pipeline.	IA3@SC	2018	DBLP DOI BibTeX RDF
24	Ivan Puddu, Alexandra Dmitrienko, Srdjan Capkun	μchain: How to Forget without Hard Forks.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
24	Xun-Tuan Su	Enumerating closed flows on forks.	Discret. Math.	2017	DBLP DOI BibTeX RDF
24	Tomasz Starecki, Piotr Zbigniew Wieczorek	A High Sensitivity Preamplifier for Quartz Tuning Forks in QEPAS (Quartz Enhanced PhotoAcoustic Spectroscopy) Applications.	Sensors	2017	DBLP DOI BibTeX RDF
24	Kevin Liao, Jonathan Katz	Incentivizing Blockchain Forks via Whale Transactions.	Financial Cryptography Workshops	2017	DBLP DOI BibTeX RDF
24	Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal	Forgetting Auxiliary Atoms in Forks.	ASPOCP@LPNMR	2017	DBLP BibTeX RDF
24	Daniel Gnad 0001, Valerie Poser, Jörg Hoffmann 0001	Beyond Forks: Finding and Ranking Star Factorings for Decoupled Search.	IJCAI	2017	DBLP DOI BibTeX RDF
24	Ralf Hinze, Dan Marsden	Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
24	Emanuel S. Grant, Dimitris Kotzinos, Dominique Laurent 0001, Nicolas Spyratos, Yuzuru Tanaka (eds.)	Information Search, Integration, and Personalization - 10th International Workshop, ISIP 2015, Grand Forks, ND, USA, October 1-2, 2015, Revised Selected Papers	ISIP	2016	DBLP DOI BibTeX RDF
24		2016 IEEE International Conference on Electro Information Technology, EIT 2016, Grand Forks, ND, USA, May 19-21, 2016	EIT	2016	DBLP BibTeX RDF
24	Ali A. Abushaiba, Saleh Mohamed M. Eshtaiwi, Reza Ahmadi	Comparative analysis of dynamic performance of four prominent Maximum Power Point Tracking algorithms in photovoltaic systems using realistic experimental implementation.	EIT	2016	DBLP DOI BibTeX RDF
24	Dipesh Shrestha, Ujjwol Tamrakar, Naresh Malla, Zhen Ni, Reinaldo Tonkoski	Reduction of energy consumption of virtual synchronous machine using supplementary adaptive dynamic programming.	EIT	2016	DBLP DOI BibTeX RDF
24	Wenbing Zhao 0001, Mamdouh Babi, William Yang, Xiong Luo, Yueqin Zhu, Jack Y. Yang, Chaomin Luo, Mary Yang	Byzantine fault tolerance for collaborative editing with commutative operations.	EIT	2016	DBLP DOI BibTeX RDF
24	Shahriar Bagheri, Alireza Akhoondi Asadi, Witold Kinsner, Nariman Sepehri	Ferroelectric random access memory (FRAM) fatigue test with Arduino and Raspberry Pi.	EIT	2016	DBLP DOI BibTeX RDF
24	Rasel Mahmud, Arash Nejadpak	Smart load distribution in AC µGrid: Operation and control.	EIT	2016	DBLP DOI BibTeX RDF
24	Xiaowei Chen, Seyed Alireza Pourbakhsh, Ligang Hou, Na Gong, Jinhui Wang	Dummy TSV based bit-line optimization in 3D on-chip memory.	EIT	2016	DBLP DOI BibTeX RDF
24	Md. Maruf Ahamed, Saleh Faruque	Propagation factors affecting the performance of 5G millimeter wave radio channel.	EIT	2016	DBLP DOI BibTeX RDF
24	Logeeshan Velmanickam, Keerthi Nawarathna	Dielectrophoretic cell isolation in microfluidics channels for high-throughput biomedical applications.	EIT	2016	DBLP DOI BibTeX RDF
24	Muhammad Z. Hasan, Rainer Fink, Mario Vargas, Jesus Adame, Edgar Hernandez	Development and evaluation of traffic signal algorithms to support future Measure of Effectiveness (MOE).	EIT	2016	DBLP DOI BibTeX RDF
24	Dietmar P. F. Möller, Hamid Vakilzadian	Cyber-physical systems in smart transportation.	EIT	2016	DBLP DOI BibTeX RDF
24	Caterina Lazaro Martinez, Erdal Oruklu, Mert Sevil, Kamuran Turksoy, Ali Cinar	Implementation of an artificial pancreas system on a mobile device.	EIT	2016	DBLP DOI BibTeX RDF
24	Benjamin D. Johnson, Reza Fazel-Rezai	Contusion (bruise) segmentation & diagnosis: A graphical user interphase approach.	EIT	2016	DBLP DOI BibTeX RDF
24	Reem Shadid, Sima Noghanian, Arash Nejadpak	A literature survey of wireless power transfer.	EIT	2016	DBLP DOI BibTeX RDF
24	M. M. A. Rahman	Project based teaching of power electronics in undergraduate power system course.	EIT	2016	DBLP DOI BibTeX RDF
24	David Ernesto Troncoso Romero	On wideband minimum-phase CIC compensators.	EIT	2016	DBLP DOI BibTeX RDF
24	Korey Cook, Miguel Abrahantes	Gait design for a Tetrahedral Worm.	EIT	2016	DBLP DOI BibTeX RDF
24	Masoud Alajmi, Ikhlas Abdel-Qader	Fault detection and localization in solar photovoltaic arrays using the current-voltage sensing framework.	EIT	2016	DBLP DOI BibTeX RDF