Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,101,578 papers from all fields of science
Search
Sign In
Create Free Account
Darcs
Known as:
David's Advanced Revision Control System
, Patch theory
, Theory of patches
Darcs is a distributed version control system created by David Roundy. Key features include the ability to choose which changes to accept from other…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
35 relations
Branching (version control)
Buildbot
C++
Comparison of continuous integration software
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Mutants as Patches: Towards a formal approach to Mutation Testing
T. Lewowski
,
L. Madeyski
2019
Corpus ID: 208533912
Abstract Background: Mutation testing is a widely explored technique used to evaluate the quality of software tests, but little…
Expand
2015
2015
An extension of a patch theory in homotopy type theory
佐藤 善紀
,
三好 博之
2015
Corpus ID: 123393404
2010
2010
Dispositif de serrage électrostatique et procédé de fabrication dudit dispositif
성진일
,
예경환
,
오치원
,
유충렬
2010
Corpus ID: 194986775
Linvention concerne un dispositif de serrage electrostatique comprenant : une base ; une premiere couche isolante amorphe formee…
Expand
2009
2009
Towards a theory of patches
A. Amir
,
Haim Parienty
J. Discrete Algorithms
2009
Corpus ID: 28560872
2006
2006
A Principled Approach to Version Control
Andres L¨oh
,
Wouter Swierstra
,
Daan Leijen
2006
Corpus ID: 14378949
. Version control systems are essential for managing the distributed development of large software projects. We present a formal…
Expand
2005
2005
Some properties of darcs patch theory
Ganesh Sittampalam
2005
Corpus ID: 96458128
This is an attempt to derive some properties of darcs patch theory. We start by specifying the “axioms” that must be true of…
Expand
2003
2003
Transforming Intra- and Interagency Processes through Advanced Models and Simulations: An Information Assurance Model
Carl W. Hunt
2003
Corpus ID: 53645625
Abstract : Collaboration among government organizations offers a venue for dramatic improvement in times of national stress. In…
Expand
2001
2001
The compact patch
L. Parad
IEEE Antennas and Propagation Society…
2001
Corpus ID: 23932940
A compact patch antenna, suitable for low frequency use where size is important and dielectric loading is impractical because of…
Expand
1998
1998
The Microstrip Antenna Analysis and Design Using The TTL Method
Anthony R. N. Farias
,
H. Fernandes
1998
Corpus ID: 55952813
The microstrip antenna patch is analyzed and designed using the full wave model of the Transverse Transmission Line (TTL) in…
Expand
1949
1949
Work Functions and Conductivity of Oxide‐Coated Cathodes
G. Mahlman
1949
Corpus ID: 98231684
The thermionic and photoelectric work functions and the temperature variation of coating conductivity have been measured for an…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE