Formal methods are increasingly used for system development and their potential advantages for dependability assurance have been recognized. However, there has so far been no hard evidence to either support or refute ...
详细信息
Formal methods are increasingly used for system development and their potential advantages for dependability assurance have been recognized. However, there has so far been no hard evidence to either support or refute the efficacy of formal methods in this respect. this paper discusses how the dependability of systems can be affected by the tree of formal methods in two respects. First, how and why formal methods can help ensure the dependability of systems, and second what uncertainties can affect their effectiveness in achieving dependability. Issues related to the assessment of formal methods such as assessment criteria an assessment model and the establishment of evaluation experiments are discussed.< >
Campbell9;s Lenient Unified Model of Parallel Systems (CLUMPS) is presented, a candidate model of parallel computation which aims to tackle and solve the deficiencies of existing candidate models. It is shown that ...
详细信息
Campbell's Lenient Unified Model of Parallel Systems (CLUMPS) is presented, a candidate model of parallel computation which aims to tackle and solve the deficiencies of existing candidate models. It is shown that all parallel computers can perform the same computations, but differ in their ability to support different communication loads. this conclusion is reflected in the definition of CLUMPS which aims to be architecture-independent, reflective of execution costs, expressible and intellectually manageable. It also reflects the principle that if a problem can be partitioned into regions, and if those regions are preserved in the mapping of the algorithm to the architecture then greater communication efficiency can be achieved than if the locality was not preserved. Algorithmic skeletons are seen as high level language constructs capturing parallelism, hence communication, in a regular and manageable manner. Such skeletons can be costed in terms of CLUMPS to provide parallel performance prediction.< >
A stationary 2-D Hadamard encoding mask has been incorporated into a Hadamard transform photoacoustic spectrometer to combine imaging and spectral separation in a form of 3-D spectrometry with two-spatial dimensions a...
详细信息
ISBN:
(纸本)0819413607
A stationary 2-D Hadamard encoding mask has been incorporated into a Hadamard transform photoacoustic spectrometer to combine imaging and spectral separation in a form of 3-D spectrometry with two-spatial dimensions and one spectral dimension.
this conference proceedings contains 76 papers from a conference on advances in data engineering theory. Topics discussed include integrity constraints, spatial query processing, object oriented programming languages,...
详细信息
ISBN:
(纸本)0818635703
this conference proceedings contains 76 papers from a conference on advances in data engineering theory. Topics discussed include integrity constraints, spatial query processing, object oriented programming languages, database techniques for new engineering applications, main memory management, object oriented programming language implementation, schema and file management, query optimization and evaluation, concurrency control, query languages. federated database systems, temporal query languages, large-object support, object oriented models, parallel query processing, transitive closure and backup, federated object oriented interfaces, transaction synchronization and recovery, database engineering, deductive database implementation, extended serializability, knowledge bases, multidatabase languages, and application modeling.
Voltaire is a set-oriented, imperative database programming language. the data definition facility is similar to that of most semantic data models. the class definition incorporates both structure and behavior;classes...
详细信息
ISBN:
(纸本)0818635703
Voltaire is a set-oriented, imperative database programming language. the data definition facility is similar to that of most semantic data models. the class definition incorporates both structure and behavior;classes and functions have an equivalent semantics in Voltaire. there are no arbitrary restrictions on the persistence of values - even functions can have a persistent extent. the set expressions in the language are conducive to data intensive programming while maintaining a certain amount of efficiency by espousing the imperative paradigm. the query language incorporates functions by providing access to the persistent extent of a function or by allowing an actual function call. the system enforces integrity in a lazy evaluation mode. Functions are effectively computed as the result of integrity enforcement. this is because we consider constraints as a sequence of commands to be evaluated (i.e., satisfied) in the specified order. the language is defined in a modular but additive fashion. this facilitates some measure of bootstrapping, thus providing a single execution model for evaluating queries, enforcing constraints and computing functions.
Ode is a database system and environment based on the object paradigm. the database is defined, queried and manipulated using the database programming language O++, which is based on C++. the O++ compiler translates O...
详细信息
ISBN:
(纸本)0818635703
Ode is a database system and environment based on the object paradigm. the database is defined, queried and manipulated using the database programming language O++, which is based on C++. the O++ compiler translates O++ programs into C++ programs which contain calls to the Ode object manager. the current O++ implementation provides facilities for creating and manipulating persistent objects, and for associatively accessing these objects. We describe the implementation of O++: the Ode object manager, the translation of the database facilities in O++, and our experience. C++ has emerged as the de facto standard language for software development, and database systems based on C++ have attracted much attention. We provide a detailed description of our implementation withthe hope that this paper will serve as a reference for implementors of database systems based on C++.
SENEX is a computer application in its fifth year of development focused on representation of molecular information, presentation of data, and reasoning with molecular information. It is written in a portable programm...
详细信息
SENEX is a computer application in its fifth year of development focused on representation of molecular information, presentation of data, and reasoning with molecular information. It is written in a portable programming environment supported by Common Lisp, the Common Lisp Object System (CLOS), and the Common Lisp Interface Manager (CLIM). SENEX contains information about molecules, molecular events and disease processes, and provides tools for reasoning with and displaying this information in useful ways. this paper describes the architecture of SENEX and how that architecture facilitates development of a set a computer tools for education and research in molecular pathology. Several examples of how an individual might currently use SENEX to explore information related to the molecular basis of Alzheimer's disease Oare illustrated.
In a flowchart scheme an atomic action is modelled as a vertex (box), while in a process graph an atomic action is modelled as an edge. We define translations between these two graphical representations. By using thes...
详细信息
Remediation policy high costs justify and stimulate the application of optimization procedures aimed to a more rational groundwater management, as an alternative to heuristic approaches. the paper deals with two optim...
详细信息
Remediation policy high costs justify and stimulate the application of optimization procedures aimed to a more rational groundwater management, as an alternative to heuristic approaches. the paper deals with two optimization procedures to determine the optimal pumping schedule for deterministic aquifer management. the first one, named One Step Approach (OSA), globally formulates the management problem, referring only to pumping or recharge rates as decision variables over all the simulation periods;in a linear management case OSA has the advantage of exactly identifying in one step the optimal policy. the second procedure follows a Differential Dynamic programming (DDP) approach, an iterative algorithm, which deals with decision variables of each simulation period separately. the convergence of the second approach, which requires a considerably smaller memory space and computational work, is assessed by comparing it withthe exact solution provided by the first one.
this issue of the journal contains 33 papers from the conference proceedings. Some topics discussed by the papers are cited as examples: synthesis of functional polymers via borane monomers and metathesis catalysts;tr...
详细信息
this issue of the journal contains 33 papers from the conference proceedings. Some topics discussed by the papers are cited as examples: synthesis of functional polymers via borane monomers and metathesis catalysts;transition metal catalyzed metathesis polymerizations of partially fluorinated norbornene derivatives;ring-opening metathesis polymerization of substituted norbornenes;ruthenium-catalyzed ring-opening metathesis polymerization of cycloolefins initiated by diazoesters;aryloxide derivatives of tungsten oxytetrachloride as ring-opening metathesis polymerization catalysts;modified poly(butadiene-alt-propene) investigated by means of metathesis degradation;effect of sustituents on silicon on cross-metathesis of vinylsilanes with 1-alkenes in the presence of ruthenium complexes;metathesis polymerization of t-butylacetylene;ethenolysis of methyl oleate over supported re-based catalysts;economic and ecological aspects in applied olefin metathesis;and transesterification products from the metathesis reaction of palm oil. All papers are abstracted separately.
暂无评论