نتایج جستجو برای: nested systems

تعداد نتایج: 1210182  

Journal: :Mathematical Structures in Computer Science 2009
Annegret Habel Karl-Heinz Pennemann

We introduce the notions of nested constraints and application conditions, short nested conditions. For a category associated with a graphical representation such as graphs, conditions are a graphical and intuitive, yet precise formalism, well-suited to describe structural properties. We show that nested graph conditions are expressively equivalent to first-order graph formulas. A part of the p...

2009
A. Bouajjani C. Drăgoi Y. Jurski M. Sighireanu

We propose a generic framework for reasoning about infinite state systems handling data like integers, booleans etc. and having complex control structures. We consider that configurations of such systems are represented by nested data words, i.e., words of ... words over a potentially infinite data domain. We define a logic called NDWL allowing to reason about nested data words, and we define r...

1997
Leonid Libkin Limsoon Wong

We examine the power of incremental evaluation systems that use an SQL-like language formaintaining recursively-de ned views. We show that recursive queries such as transitive closure,and \alternating paths" can be incrementally maintained in a nested relational language, whensome auxiliary relations are allowed. In the presence of aggregate functions, even more queries canbe ma...

2016
D. Baowan James M. Hill

In this letter we extend previously established results for nested carbon nanocones to both nested boron nitride and carbon-boron nitride nanocones. Based purely on mechanical principles and classical mathematical modelling techniques, we determine the energetically favourable structures for nested boron nitride and carbon-boron nitride nanocones. While only three apex angles for boron nitride ...

2011
Panagiotis E. Hadjidoukas

Nested parallelism has been a major feature of OpenMP since its very beginnings. As a programming style, it provides an elegant solution for a wide class of parallel applications, with the potential to achieve substantial utilization of the available computational resources, in situations where outer-loop parallelism simply can not. Notwithstanding its significance, nested parallelism support w...

Journal: :J. Comput. Physics 2007
Weinan E Di Liu Eric Vanden-Eijnden

We present an efficient numerical algorithm for simulating chemical kinetic systems with multiple time scales. This algorithm is an improvement of the traditional stochastic simulation algorithm (SSA), also known as Gillespie’s algorithm. It is in the form of a nested SSA and uses an outer SSA to simulate the slow reactions with rates computed from realizations of inner SSAs that simulate the f...

2010
Tutut Herawan Iwan Tri Riyadi Yanto Mustafa Mat Deris

This paper presents an alternative approach for constructing a hierarchical rough set approximation in an information system. It is based on the notion of dependency of attributes. The proposed approach is started with the notion of a nested sequence of indiscernibility relations that can be defined from the dependency of attributes. With this notion, a nested rough set approximation can be eas...

1997
Ted Zhihong Yu Edwin Hsing-Mean Sha Nelson L. Passos Roy Dz-Ching Ju

Multi-dimensional systems containing nested loops are widely used to model scientific applications such as image processing, geophysical signal processing and fluid dynamics. However, branches within these loops may degrade the performance of pipelined architectures. This paper presents the theory, supporting hardware and experiments of a novel technique, based on multi-dimensional retiming, fo...

2012
Salvatore La Torre Margherita Napoli

Temporal logics for nested words are a specification formalism for procedural programs, since they express requirements about matching calls and returns. We extend this formalism to multiply nested words, which are natural models of the computations of concurrent programs. We study both the satisfiability and the model-checking problems, when the multiply nested words are runs of multi-stack pu...

2012
ALEXANDER KARTZOW

We introduce a new hierarchy of higher-order nested pushdown trees generalising Alur et al.’s concept of nested pushdown trees. Nested pushdown trees are useful representations of control flows in the verification of programs with recursive calls of first-order functions. Higher-order nested pushdown trees are expansions of unfoldings of graphs generated by higher-order pushdown systems. Moreov...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید