|
|
Creator | Title | Description | Subject | Date |
251 |
|
Evans, David | Display of complex three dimensional finite element models | Complex three dimensional models can be displayed after an automatic generation of a finite element (panel) mapping. although this automatic generation algorithm fails at certain levels of model complexity, the elimination of these failures can be accomplished through user interaction. This report p... | Three dimensional models; Finite element models | 1978 |
252 |
|
Stevens, Kenneth | Lazy transition systems and asynchronous circuit synthesis with relative timing assumptions | This paper presents a design flow for timed asynchronous circuits. It introduces lazy transitions systems as a new computational model to represent the timing information required for synthesis. The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a tr... | | 2002 |
253 |
|
Elens, Robert N. | Sequencing computational events in heterogeneous distributed systems | Distributed systems are growing in number, size, and complexity. Some technological advances have been made to program these systems, most notably the remote procedure call. However, the nature of heterogeneous distributed systems allows for much more complex interactions and new programming techno... | Sequencing; Computational events; Heterogeneous distributed systems | 1990 |
254 |
|
Wehrli, Robert | ARCAID: The ARChitects computer graphics AID | ARCAID?The ARChitect's Computer Graphics AID?is one part of a two-part research program at the University of Utah under the direction of David C. Evans. ARCAID is a specification for the organization of computer processes including data and procedures for the use of architects, engineers, and other... | ARCAID | 1970 |
255 |
|
Sobh, Tarek M. | Autonomous Observation | We address the problem of observing an agent. We advocate a modeling approach for the visual system and its observer, where a discrete event dynamic system (DEDS) framework is developed and "events" are defined as ranges on parameter subsets. The dynamic recursive context for finite state machines (... | Observation; Manipulation process | 1992 |
256 |
|
Freier, Rodney; Thompson, William B. | Design-space exploration of most-recent-only communication using myrinet on SGI ccNUMA architectures | SGI's current ccNUMA multiprocessor architectures offer high scalability and performance without sacrificing the ease of use of simpler SMP systems. Although these systems also provide a standard PCI expansion bus, the bridging between PCI and SGI's ccNUMA architecture invalidates the assumptions ty... | Most-recent-only communication; Myrinet; SGI; Communications latencies | 1999 |
257 |
|
Slind, Konrad Lee | Emerging trends proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2004 | This volume constitutes the proceedings of the Emerging Trends track of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. The TPHOLs conference covers all aspects of theorem proving in higher order logics ... | Theorem proving; Higher order logics | 2004-08 |
258 |
|
Brown, Bruce Eric | Modeling of solids for three-dimensional finite element analysis | The geometric modeling of solid objects is a major problem within the design analysis loop of the engineering design process. Models are analyzed by various computer programs to predict their performance. The format of each model is usually different for each analysis routine. The existence of sev... | Geometric modeling; Solid objects; Finite element analysis | 1977 |
259 |
|
Flynn, John J. | Standard Oil and Microsoft - intriguing parallels or limping analogies? | The computer industry and the law of antitrust have been preoccupied with the struggle between the federal and several state governments and Microsoft for most of the past decade. Microsoft's use of its domination over the personal computer (PC) industry by virtue of its control of the operating sy... | | 2002 |