WorldCat Identities

Siewiorek, Daniel P.

Overview
Works: 135 works in 275 publications in 2 languages and 4,129 library holdings
Genres: Software 
Roles: Author, Editor, Other
Classifications: QA76.5, 621.38195
Publication Timeline
.
Most widely held works by Daniel P Siewiorek
Computer structures : principles and examples by Daniel P Siewiorek( Book )

25 editions published between 1981 and 1989 in English and held by 635 WorldCat member libraries worldwide

Computer Systems Organization -- general
The theory and practice of reliable system design by Daniel P Siewiorek( Book )

14 editions published between 1981 and 1983 in English and German and held by 374 WorldCat member libraries worldwide

Hardware -- Logic Design
Reliable computer systems : design and evaluation by Daniel P Siewiorek( Book )

15 editions published between 1992 and 1998 in English and held by 333 WorldCat member libraries worldwide

A comprehensive guide to understanding the standards and recent advances in the design of reliable computer systems. It begins with a review of existing reliability techniques and goes on to analyse case studies. The final part presents a methodology for the design of a reliable system
Introduction to computer organization and data structures, PDP-11 edition by Harold S Stone( Book )

14 editions published between 1938 and 1976 in English and Undetermined and held by 319 WorldCat member libraries worldwide

The architecture of supercomputers : Titan, a case study by Daniel P Siewiorek( Book )

10 editions published in 1991 in English and held by 245 WorldCat member libraries worldwide

The design and analysis of instruction set processors by Mario R Barbacci( Book )

6 editions published in 1982 in English and Undetermined and held by 194 WorldCat member libraries worldwide

Parallel processing : the Cm* experience by Edward F Gehringer( Book )

10 editions published in 1987 in English and held by 186 WorldCat member libraries worldwide

Mathematics of Computing -- Parallelism
Automating the design of computer systems : the MICON Project by William P Birmingham( Book )

5 editions published in 1992 in English and held by 105 WorldCat member libraries worldwide

Automatic specification of reliability models for fault-tolerant computers by Carlos A Liceaga( Book )

4 editions published in 1993 in English and held by 94 WorldCat member libraries worldwide

Software-implemented fault insertion : an FTMP example by Edward W Czeck( Book )

7 editions published in 1987 in English and held by 91 WorldCat member libraries worldwide

This report presents a model for fault insertion through software, describes its implementation on a fault tolerant computer, FTMP, presents a summary of fault detection, identifications, and reconfiguration data collected with software implemented fault insertion and compares the results to hardware fault insertion data. The software fault insertion model assumes faults manifest to data errors at the output of a task. The implementation of the software fault insertion model on FTMP allows inserted faults to emulate faults in the processor data path, processor control path, system memory, and system transmit bus. The experimental results showed detection time there was no correlation between software inserted faults, and hardware inserted faults; this is because hardware inserted faults must manifest to errors before detection, whereas software inserted faults immediately exercise the error detection mechanisms. In summary, although software fault insertion does not map directly to hardware fault insertion, experiments indicate software fault insertion as a means to characterize the fault handling capabilities of a system in error detection, identification, and error recovery. Keywords: Debugging(Computers); Computer program reliability; Computer aided diagnosis
A general graphical user interface for automatic reliability modeling by Carlos A Liceaga( Book )

1 edition published in 1991 in English and held by 82 WorldCat member libraries worldwide

Fault-free validation of a fault-tolerant multiprocessor baseline experiments and workload implementation by Frank E Feather( Book )

3 editions published in 1986 in English and held by 79 WorldCat member libraries worldwide

Towards automatic Markov reliability modeling of computer architectures by Carlos A Liceaga( Book )

1 edition published in 1986 in English and held by 79 WorldCat member libraries worldwide

Assessment Team Report on flight-critical systems research at NASA Langley Research Center by Daniel P Siewiorek( Book )

1 edition published in 1989 in English and held by 72 WorldCat member libraries worldwide

Validation of a fault-tolerant multiprocessor baseline experiments and workload implementation by Frank Feather( Book )

2 editions published in 1985 in English and held by 71 WorldCat member libraries worldwide

Fault-free behavior of reliable multiprocessor systems FTMP experiments in airlab by Ed Clune( Book )

1 edition published in 1985 in English and held by 68 WorldCat member libraries worldwide

Application design for wearable computing by Daniel P Siewiorek( Book )

6 editions published in 2008 in English and Undetermined and held by 44 WorldCat member libraries worldwide

The confluence of decades of computer science and computer engineering research in multimodal interaction (e.g., speech and gesture recognition), machine learning (e.g., classification and feature extraction), software (e.g., web browsers, distributed agents), electronics (e.g., energy-efficient microprocessors, head-mounted displays), design methodology in user-centered design, and rapid prototyping have enabled a new class of computers-wearable computers. The lecture takes the viewpoint of a potential designer or researcher in wearable computing. Designing wearable computers requires attention to many different factors because of the computer's closeness to the body and its use while performing other tasks. For the purposes of discussion, we have created the UCAMP framework, which consists of the following factors: user, corporal, attention, manipulation, and perception. Each of these factors and their importance is described. A number of example prototypes developed by the authors, as well as by other researchers, are used to illustrate these concepts. Wearable computers have established their first foothold in several application domains, such as vehicle and aircraft maintenance and manufacturing, inspection, language translation, and other areas. The lecture continues by describing the next step in the evolution of wearable computers, namely, context awareness. Context-aware computing takes into account a user's state and surroundings, and the mobile computer modifies its behavior based on this information. A user's context can be quite rich, consisting of attributes such as physical location, physiological state, personal history, daily behavioral patterns, and so forth. If a human assistant were given such context, he or she would make decisions in a proactive fashion, anticipating user needs, and acting as a proactive assistant. The goal is to enable mobile computers to play an analogous role, exploiting context information to significantly reduce demands on human attention. Context-aware intelligent agents can deliver relevant information when a user needs that information. These data make possible many exciting new applications, such as augmented reality, context-aware collaboration, and augmented manufacturing. The combined studies and research reported in this lecture suggest a number of useful guidelines for designing wearable computing devices. Also included with the guidelines is a list of questions that designers should consider when beginning to design a wearable computer. The research directions section emphasizes remaining challenges and trends in the areas of user interface, modalities of interaction, and wearable cognitive augmentation. Finally, we summarize the most important challenges and conclude with a projection of future directions in wearable computing
Predeployment validation of fault-tolerant systems through software-implemented fault insertion by Edward W Czeck( Book )

4 editions published in 1989 in English and held by 26 WorldCat member libraries worldwide

A computational logic handbook by Robert S Boyer( )

1 edition published in 1988 in English and held by 0 WorldCat member libraries worldwide

A sketch of the theory and two simple examples; A precise definition of the theory; The correctness of a tautology-checker; An overview of how we prove theorems; Using type information to simplify formulas; Using axioms and lemmas as rewrite rules; Using definitions; Rewriting terms and simplifying clauses; Eliminating destructors; Using equalities; Generalization; Eliminating irrelevance; Induction and the analysis of recursive definitions; Formulating an induction scheme for a conjecture; Illustrations of our techniques via elementary number theory; The correctness of a simple optimizing expression compiler; The correctness of a fast string searching algorithm; The unique prime factorization theorem
Pascal-SC : a computer language for scientific computation by Gerd Bohlender( )

1 edition published in 1987 in English and held by 0 WorldCat member libraries worldwide

Software -- Programming Languages
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.55 (from 0.47 for Computer s ... to 0.68 for Predeploym ...)

Reliable computer systems : design and evaluation
Alternative Names
Daniel Siewiorek US-amerikanischer Computeringenieur

Siewiorek, Dan.

Siewiorek, Dan 1946-

Siewiorek, Daniel.

Siewiorek, Daniel 1946-

Siewiorek, Daniel Paul.

Siewiorek, Daniel Paul 1946-

Sivorek, D. P.

Languages
English (127)

German (1)

Covers
Automating the design of computer systems : the MICON ProjectApplication design for wearable computing