251 - 275 of 957
Number of results to display per page
CreatorTitleDescriptionSubjectDate
251 Cotter, Neil E.Generality Vs. speed of convergence in the cart-pole balancerThis paper compares the speed of convergence to an optimal solution of four controllers for the problem of balancing a pole on a cart. We demonstrate that controllers whose design is tailored specifically to the cart-pole problem (i.e. less general) converge more rapidly to an optimal solution. How...Cart-pole balancer; Generality; Speed of convergence1991
252 Hoogenboom, Peter J.Semantic definition of a subset of the structured query language (SQL)SQL is a relational database definition and manipulation language. Portions of the manipulation language are readily described in terms of relational algebra. The semantics of a subset of the SQL select statement is described. The select statement allows the user to query the database. The select st...1991
253 Hoogenboom, Peter J.System performance advisor user guideThe usage of the System Performance Advisor (SPA) expert system is described. Documentation of SPA system commands, system variables, diagnostic rules is given. Information on how to run the SPA system is discussed. In addition, an overview of how SPA searches for problems is supplied. The purpose o...System Performance Advisor; SPA; User guide1991
254 Starkey, MikeA lisp-based occam interpreterThe OCCAM programming language is an implementation of Communicating Sequential Processes and is used in a number of different areas. These areas usually require explicitly describing small-grain paralleslism. OCCAM programs formed by such descriptions can be tested for correctness by executing the...Lisp-based; Occam interpreter1991
255 Starkey, MikeTransforming disfigured and disoriented areas into routable switchboxesRouting an entire circuit requires partitioning the circuit (routing area) into smaller, localized routing areas. Using non-rectangular, rotated switchbox shapes (and therefore non-manhattan routing layout) has the potential to simplify the partitioning of the circuit into routable areas and to use ...Disfigured areas; Disoriented areas; routable switchboxes1991
256 Gopalakrishnan, GaneshVerification of regular arrays by symbolic simulationMany algorithms have an efficient hardware formulation as a regular array of cells, which can be implemented in VLSI as regular circuit structures. Bit-sliced microprocessors, pattern matching circuits, associative cache memories, Hue-grain systolic arrays, and embedded memory-with-logic structure...Verification; regular arrays; symbolic simulation1991
257 Lindstrom, Gary E.Modularity meets inheritanceWe "unbundle" several roles of classes in existing languages, by providing a suite of operators independently controlling such effects as combination, modification, encapsulation, name resolution, and sharing, all on the single notion of module. All module operators are forms of inheritance. Thus, ...Modularity; Jigsaw computer tool1991
258 Gopalakrishnan, GaneshHigh level optimizations in compiling process descriptions to asynchronous circuitsAsynchronous/'Self-Timed designs are beginning to attract attention as promising means of dealing with the complexity of modern VLSI technology. In this paper, we present our views on why asynchronous systems matter. We then present details of our high level synthesis tool SHILPA that can automatic...Self-timed; VLSI1992
259 Sobh, Tarek M.; Henderson, Thomas C.A dynamic recursive structure for intelligent inspectionWe suggest a new approach for inspection and reverse engineering applications. In particular we investigate the use of discrete event dynamic systems DEDS to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering?? We introduce...Intelligent inspection; Discrete event dynamic systems; DEDS; Industrial inspection; Dynamic recursive structure1992
260 Richardson, William F.; Brunvand, Erik L.The NSR processor prototypeThe NSR (Non-Synchronous RISC) processor is a general purpose processor structured as a collection of self-timed units that operate concurrently and communicate over bundled data channels in the style of micropipelines. These units correspond to standard synchronous pipeline stages such as Instructi...Self-timed Systems; Asynchronous systems; Micropipelines; FPGAs; RISC processor; NSR1992
261 Cohen, ElaineHybrid symbolic and numeric operators as tools for analysis of freeform surfacesFreeform surfaces are commonly used in Computer Aided Geometric Design?? so accurate analysis of surface properties is becoming increasingly important In this paper we de ne surface slope and surface speed?? develop visualization tools?? and demonstrate that they can be useful in the design proc...Freeform surfaces1992
262 Orr, Douglas B.OMOS - An object server for program executionThe benefits of object-oriented programming are well known, but popular operating systems provide very few object-oriented features to users, and few are implemented using object-oriented techniques themselves. In this paper we discuss a mechanism for applying object-oriented programming concepts to...OMOS; Object server1992
263 Sobh, Tarek M.; Henderson, Thomas C.A dynamic recursive structure for intelligent explorationWe suggest a new approach for inspection and reverse engineering applications. In particular, we investigate the use of discrete event dynamic systems (DEDS) to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering. We introduce dy...Intelligent exploration; Discrete event dynamic systems; DEDS; Dynamic recursive finite state machines; DRFSM1992
264 Bruderlin, BeatConstraint objects ? integrating constraint definition and graphical interactionThis paper describes the implementation of a new constraint??based tech?? nique for direct manipulation in interactive CAD which will simplify the design process especially in the early stages We introduce so called Constraint Objects and Parameter Objects which constitute an object??oriented ...Constraint objects1992
265 Gopalakrishnan, GaneshTowards a verification technique for large synchronous circuitsWe present a symbolic simulation based veri cation approach which can be applied to large synchronous circuits A new technique to encode the state and input constraints as parametric Boolean expressions over the state and input variables is used to make our symbolic simulation based veri cation...symbolic simulation; verification1992
266 Richardson, William F.; Brunvand, Erik L.The NSR processor prototypeThe NSR Non Synchronous RISC processor is a general purpose processor structured as a collection of self timed units that operate concurrently and communicate over bundled data channels in the style of micropipelines?? These units correspond to standard synchronous pipeline stages such as Instr...Self-timed Systems; Asynchronous systems; Micropipelines; FPGAs; RISC processor1992
267 Orr, Douglas B.; Mecklenburg, RobertOMOS ? An object server for program executionThe benefits of object-oriented programming are well known but popular operating systems provide very few object oriented features to users and few are im plemented using object oriented techniques themselves In this paper we discuss a mechanism for apply ing object oriented programming co...OMOS; Object server1992
268 Sobh, Tarek M.Autonomous ObservationWe 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 process1992
269 Orr, Douglas B.; Mecklenburg, Robert; Hoogenboom, Peter J.; Lepreau, JayDynamic program monitoring and transformation using the OMOS object serverIn traditional monolithic operating systems the con?? straints of working within the kernel have limited the sophistication of the schemes used to manage exe?? cutable program images By implementing an exe?? cutable image loader as a persistent user??space pro?? gram we can extend system prog...Program monitoring; OMOS object server1992
270 Akella, Venkatesh; Gopalakrishnan, GaneshSpecification and validation of control intensive ICs in hopCPControl intensive ICs pose a significant challenge to the users of formal methods in designing hardware. These ICs have to support a wide variety of requirements including synchronous and asynchronous operations polling and interrupt driven modes of operation multiple concurrent threads of executi...Asynchrony; Behavioral simulation; Formal methods; Hardware description languages; Formal specifiation and validation; hopCP1992
271 Sobh, Tarek M.; Henderson, Thomas C.A dynamic framwork for intelligent inspectionCAD Computer Aided Design typically involves the design manufacture and inspection of a me chanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design and perhaps a manufacturing process for the part. ...CAD; Manufacture; Inspection; Intelligent inspection1992
272 Kessler, Robert R.Using utilization profiles in allocation and partitioning for multiprocessor systemsThe problems of multiprocessor partitioning and program allocation are interdependent and critical to the performance of multiprocessor systems. Minimizing resource partitions for parallel programs on partitionable multiprocessors facilitates greater processor utilization and throughput. The proces...utilization profiles; multiprocessor partitioning; program allocation1992
273 The programming language jigsaw: mixins, modularity and multiple in heritanceThis dissertation provides a framework for modularity in programming languages. In this framework known as Jigsaw, inheritance is understood to be an essential linguistic mechanism for module manipulation. In Jigsaw, the roles of classes in existing languages are "unbundled," by providing a suit...Jigsaw framework; Mixins1992
274 Cohen, ElaineSecond order surface analysis using hybrid symbolic and numeric operatorsResults from analyzing the curvature of a surface can be used to improve the implementation, efficiency, and effectiveness of manufacturing and visualization of sculptured surfaces. In this paper, we develop a robust method using hybrid symbolic and numeric operators to create trimmed surfaces each...Surface analysis; Hybrid symbolic operators; Numeric operators1992
275 Bruderlin, BeatRobust boolean set operations for manifold solids bounded by planar and natural quadric surfacesThis paper describes our latest effort in robust solid modeling. An algorithm for set operations on solids bounded by planar and natural quadric surfaces, that handles all geometrically degenerate cases robustly, is described. We identify as the main reason for the lack of robustness in geometric m...Robust solid modeling; Robust boolean set operations; Manifold solids1992
251 - 275 of 957