نتایج جستجو برای: composite operations
تعداد نتایج: 256462 فیلتر نتایج به سال:
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 ...
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...
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...
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...
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...
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...
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...
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...
...................................................................................................................... vi LIST OF ILLUSTRATIONS.............................................................................................. ix INTRODUCTION............................................................................................................... 1 A LOOK AT THE AIR EXPEDITIONAR...
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...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید