Results 11 to 20 of about 6,062,625 (214)
Model-Checking Parameterized Concurrent Programs Using Linear Interfaces [PDF]
, 2010 We consider the verification of parameterized Boolean programs— abstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such programs can be model-checked by iteratively considering the program under k-round
Salvatore La Torre +7 more
core +2 more sources
The 89,000-Mr murine cytomegalovirus immediate-early protein stimulates c-fos expression and cellular DNA synthesis [PDF]
, 1988 The immediate-early (IE) genes of murine cytomegalovirus (MCMV) are expressed in the absence of prior viral protein synthesis and regulate the transcription of MCMV early genes. The effect of MCMV IE genes on growth induction was studied.
Pepperkok, Rainer +5 more
core +2 more sources
, 2014 We study the synthesis problem for distributed architectures with a parametric number of finite-state components. Parameterized specifications arise naturally in a synthesis setting, but thus far it was unclear how to detect realizability and how to ...
Swen Jacobs +4 more
core +1 more source
Parameterized Synthesis Case Study: AMBA AHB [PDF]
, 2014 We revisit the AMBA AHB case study that has been used as a benchmark for several reactive synthesis tools. Synthesizing AMBA AHB implementations that can serve a large number of masters is still a difficult problem.
Roderick Bloem +5 more
core +1 more source
Mean value coordinates–based caricature and expression synthesis [PDF]
, 2011 We present a novel method for caricature synthesis based on mean value coordinates (MVC). Our method can be applied to any single frontal face image to learn a specified caricature face pair for frontal and 3D caricature synthesis.
Jian J. Zhang +3 more
core +1 more source
Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings [PDF]
, 2018 Self-stabilization in distributed systems is a technique to guarantee convergence to a set of legitimate states without external intervention when a transient fault or bad initialization occurs.
Nahal Mirzaie (17432814) +3 more
core +2 more sources
Collective Graph Exploration Parameterized by Vertex Cover [PDF]
, 2023 We initiate the study of the parameterized complexity of the Collective Graph Exploration (CGE) problem. In CGE, the input consists of an undirected connected graph G and a collection of k robots, initially placed at the same vertex r of G, and each one ...
Sa'ar, Guy +2 more
core +1 more source
Parameterized streaming : maximal matching and vertex cover [PDF]
, 2014 As graphs continue to grow in size, we seek ways to effectively process such data at scale. The model of streaming graph processing, in which a compact summary is maintained as each edge insertion/deletion is observed, is an attractive one.
Chitnis, Rajesh; id_orcid +11 more
core +1 more source
Distributed synthesis for parameterized temporal logics [PDF]
, 2017 We consider the synthesis of distributed implementations for specifications in parameterized temporal logics such as PROMPT–LTL, which extends LTL by temporal operators equipped with parameters that bound their scope.
Tentrup, Leander +2 more
core +1 more source
Parameterized Valiant’s Classes [PDF]
, 2019 We define a theory of parameterized algebraic complexity classes in analogy to parameterized Boolean counting classes. We define the classes VFPT and VW[t], which mirror the Boolean counting classes #FPT and #W[t], and define appropriate reductions and ...
Bläser, Markus, Engels, Christian
core +1 more source