نتایج جستجو برای: composite operations

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

2006
Kazuo Sakiyama Lejla Batina Bart Preneel Ingrid Verbauwhede

We propose a superscalar coprocessor for high-speed curvebased cryptography. It accelerates scalar multiplication by exploiting instruction-level parallelism (ILP) dynamically and processing multiple instructions in parallel. The system-level architecture is designed so that the coprocessor can fully utilize the superscalar feature. The implementation results show that scalar multiplication of ...

2005
Simon Foster

Recent research in orchestration of composite web-services has highlighted Haskell as a language ideal for workflow orchestration semantics at an implementation level. Since Haskell is built on the concept of building larger functions by composing a number of smaller functions, it is ideal for composing services as well. In order to compose service operations though, it is necessary to enable H...

Journal: :Informatica, Lith. Acad. Sci. 2005
Mark Sh. Levin Moshe A. Danieli

The article describes a hierarchical decision making framework for the evaluation and improvement/redesign of composite systems. The framework is based on Hierarchical Morphological Multicriteria Design (HMMD) and corresponding morphological clique problem which realize “partitioning/synthesis macroheuristic”. The system evaluation process consists in hierarchical integration of expert judgment...

Journal: :NeuroImage 2003
Khena M Swallow Todd S Braver Abraham Z Snyder Nicole K Speer Jeffrey M Zacks

Neuroimaging researchers increasingly take advantage of the known functional properties of brain regions to localize them and probe changes in their activity under different conditions. The utility of this approach depends in part on the reliability of the methods used to define these regions of interest. Two operations may affect the reliability of functionally identified regions: spatially no...

2013
Christian Höner zu Siederdissen Ivo L. Hofacker Peter F. Stadler

We develop a theory of algebraic operations over linear grammars that makes it possible to combine simple “atomic” grammars operating on single sequences into complex, multi-dimensional grammars. We demonstrate the utility of this framework by constructing the search spaces of complex alignment problems on multiple input sequences explicitly as algebraic expressions of very simple 1-dimensional...

Journal: :MATEC web of conferences 2021

The article gives the description of developed technology increasing wear resistance working elements national and foreign constructional road machines by composite coatings, obtained on cutting surfaces applying Carbo Vibro Arc Hardening method (CVAH). includes following basic operations: cleaning fault detection element, removal worn compensating element production, its sharpening welding, pr...

1995
Eike Best Hans Fleischhack Wojciech Fra czak Richard P. Hopkins Hanna Klaudel Elisabeth Pelz

In this paper a high-level Petri net model called M-nets (for multilabeled nets) is developed. A distinctive feature of this model is that it allows not only vertical unfolding, as do most other high-level net models, but also horizontal composition-in particular, synchronisation-in a manner similar to process algebras such as CCS. This turns the set of M-nets into a domain whose composition op...

2015
Faris Abou-Saleh James Cheney Jeremy Gibbons James McKinna Perdita Stevens

Bidirectional transformations (bx) support principled consistency maintenance between data sources. Each data source corresponds to one perspective on a composite system, manifested by operations to ‘get’ and ‘set’ a view of the whole from that particular perspective. Bx are important in a wide range of settings, including databases, interactive applications, and model-driven development. We sh...

2000
Patrick Smith

...................................................................................................................... vi LIST OF ILLUSTRATIONS.............................................................................................. ix INTRODUCTION............................................................................................................... 1 A LOOK AT THE AIR EXPEDITIONAR...

2007
David C. Kung John Lin Pei Hsia Bill Carroll

An object-oriented real time systems conceptual modeling approach is described. In this approach, each object is speciied by an object type, consisting of su-pertypes (inheritance), component types (aggregation), attributes, operations, static constraints, and timed temporal constraints. An object type speciication de-nes a theory of a type of objects. In particular, the static constraints deen...

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

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