Results 101 to 110 of about 2,493,519 (340)
Specification and verification of total correctness of distributed programs [PDF]
This paper describes a compositional specification and proof system for networks of distributed processes. Each process in a network is specified using first order logic in terms of a presupposition P and an affirmation A as a triple (P) S (A).
Joseph, Mathai, Pandya, Paritosh K.
core
Dynamic data replication in the grid with freshness and correctness guarantees [PDF]
, 2011 This thesis explores architectural issues and performance aspects of data Grid infrastructures. The objective is to develop a scalable infrastructure that is capable to dynamically manage replicated data in the Grid while at the same time providing ...
Voicu, Laura Cristiana
core +1 more source
Developmental Medicine & Child Neurology, 2016 To assess completeness and correctness of cerebral palsy (CP) diagnoses in the Cerebral Palsy Register of Norway (CPRN) and the Norwegian Patient Register (NPR), and to estimate CP prevalence.
Sandra Julsen Hollung +4 more
semanticscholar +1 more source
Correcting dispersion corrections with density-corrected DFT
Journal of Chemical Theory and ComputationAlmost all empirical parametrizations of dispersion corrections in DFT use only energy errors, thereby mixing functional and density-driven errors. We introduce density and dispersion-corrected DFT (D2C-DFT), a dual-calibration approach that accounts for density delocalization errors when parametrizing dispersion interactions. We simply exclude density-
Minhyeok Lee +7 more
openaire +2 more sources
FEBS Letters, EarlyView.Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai +4 more
wiley +1 more source
Correctness of copy in calculi with letrec, case and constructors
, 2007 Call-by-need lambda calculi with letrec provide a rewritingbased operational semantics for (lazy) call-by-name functional languages. These calculi model the sharing behavior during evaluation more closely than let-based calculi that use a fixpoint ...
Schmidt-Schauß, Manfred
core
Modulation of Homer1 EVH1 domain internal dynamics by putative autism‐associated mutations
FEBS Letters, EarlyView.The putative autism‐associated M65I and S97L variants of the EVH1 domain of the postsynaptic scaffold protein Homer1 do not exhibit substantial changes in their overall structure or partner binding. Both of them, but especially the M65I variant, show altered internal dynamics relative to the wild‐type domain on the μs‐ms timescale, indicated by the ...
Fanni Farkas +6 more
wiley +1 more source
Encoding induction in correctness proofs of program transformations as a termination problem
, 2012 The diagram-based method to prove correctness of program transformations consists of computing complete set of (forking and commuting) diagrams, acting on sequences of standard reductions and program transformations.
Sabel, David +2 more
core
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code
, 2008 We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification of the code.
Fischer, Bernd +5 more
core +1 more source
Program Testing and Conditional Correctness [PDF]
, 1976 It is shown that some beliefs about program testing are incorrect. A new notion of correctness, conditional correctness, is defined. It is then shown that conditional correctness, which can in principle be achieved by testing, is not accomplished by ...
Martin, Johannes J.
core +1 more source