276 - 300 of 937
Number of results to display per page
CreatorTitleDescriptionSubjectDate
276 A correctness criterion for asynchronous circuit validation and optimizationIn order to reason about the correctness of asynchronous circuit implementations and specifications, Dill has developed a variant of trace theory [1]. Trace theory describes the behavior of an asynchronous circuit by representing its possible executions as strings called "traces" A useful relatio...Asynchronous circuits; Circuit optimizations; Formal verification of hardware; Trace theory; Asynchronous circuit validation1992
277 A comparison of self-timed design using FPGA, CMOS, and GaAs technologiesAsynchronous or self-timed systems that do not rely on U global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in a variety of applications. One advantage is that because of the separation of timing, from, functionality in these sys...1992
278 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
279 Constraint 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
280 Towards 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
281 Dynamic 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
282 Adaptive isocurves based rendering for freeform surfacesFreeform surface rendering is traditionally performed by approximating the surface with polygons and then rendering the polygons. This approach is extremely common because of the complexity in accurately rendering the surfaces directly. Recently, several papers presented methods to render surfaces ...Freeform surface rendering; Isocurves1992
283 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
284 A distributed garbage collection algorithmConcurrent Scheme extends the Scheme programming language, providing parallel program execution on a distributed network. The Concurrent Scheme environment requires a garbage collector to reclaim global objects; objects that exist in a portion of the global heap located on the node that created them...Concurrent Scheme; Garbage collection algorithm1992
285 Towards a verification technique for large synchronous circuitsWe present a symbolic simulation based verification 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 verification...Verification; symbolic simulation1992
286 Robustness in geometric modeling - an intuitionistic and tolerance-based approachAn intuitionistic geometry approach is taken to develop two tolerance-based methods for robust geometric computation. The so called analytic model method and the approximated model method are developed independently of a specific application or a geometric algorithm. Geometric robustness is formally...Robustness; Geometric modeling; Intuitionistic geometry; Geometric robustness1992
287 Dynamic reordering of high latency transactions in time-warp simulation using a modified micropipelineTime warp based simulation of discrete-event systems is an efficient way to overcome the synchronization overhead during distributed simulation. As computations may proceed beyond synchronization barriers in time warp, multiple checkpoints of state need to be maintained to be able to rollback inva...Asynchronous design; Micropipelines; Dynamic instruction reordering; Time warp simulations1992
288 Asynchronous circuit verification using trace theory and CCSWe investigate asynchronous circuit verification using Dill's trace theory as well as Milner's CCS (as mechanized by the Concurrency Workbench). Trace theory is a formalism specifically designed for asynchronous circuit specification and verification. CCS is a general purpose calculus of communicat...Trace theory; Verification; CCS1992
289 Robustness in solid modeling - a tolerance based, intuitionistic approachThis paper presents a new robustness method for geometric modeling operations. It computes geometric relations from the tolerances defined for geometric objects and dynamically updates the tolerances to preserve the properties of the relations, using an intuitionistic self-validation approach. Geome...Solid modeling; Geometric modeling; Intuitionistic1992
290 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
291 A communication-ordered task graph allocation algorithmThe inherently asynchronous nature of the data flow computation model allows the exploitation of maximum parallelism in program execution?? While this computational model holds great promise several problems must be solved in order to achieve a high degree of program performance?? The allocation...Data flow computation model1992
292 Second order surface analysis using hybrid symbolic and numeric operatorsResults from analyzing the curvature of a surface can be used to improve the implementation?? e ciency?? and e ectiveness 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 e...Second order surface analysis; Visualization; Sculptured surfaces1992
293 Second 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
294 Speed without fear: composable self-timed GaAs circuitsWe have designed a set of self-timed gallium arsenide building blocks that are suitable for composing into larger systems. Systems designed using these modules can be easier to design and modify than their globally clocked counterparts, while maintaining high performance. The modules are suitable ...Gallium arsenide circuits; Self-timed1993
295 Testing two-phase transition signaling based self-timed circuits in a synthesis environmentThe problem of testing self-timed circuits generated by an automatic synthesis system is studied. Two-phase transition signalling is assumed and the circuits are targetted for an asynchronous macromodule based implementation as in [?, ?, ?, ?]. The partitioning of the circuits into control blocks, ...Testing; two-phase; transition signaling; self-timed circuits1993
296 Reconstruction of sculptured surface using coordinate measuring machinesThis paper presents a strategy for reverse engineering that uses a coordinate measur ing machine to reconstruct three dimensional sculptured surfaces. A rough initial model of the surface is generated manually. An iterative method is then used to refine the surface model until the error is within a ...Reconstruction; Sculptured surface; Coordinate measuring machines1993
297 Concurrent engineering and robot prototypingThis report addresses the theoretical basis for building a prototyping environment for electromechanical systems using concurrent engineering approach. In Designing a robot manipulator, as an example of electro-mechanical systems, the interaction between several modules (S/W, VLSI, CAD, CAM, Robotic...Robot prototyping1993
298 Notes on thread models in Mach 3.0During the Mach In-Kernel Servers work, we explored two alternate thread models that could be used to support traps to in-kernel servers. In the "migrating threads" model we used, the client's thread temporarily moves into the server's task for the duration of the call. In t h e "thread switching" ...Thread models; In-kernel servers; Thread switching; Mach 3.01993
299 Intermediate results in active inspection and reverse engineeringIn previous work [18], we have proposed a new design for inspection and reverse engineering environments. We have investigated the use of the dynamic recursive context of discrete event dynamic systems (DRFSM DEDS) to guide and control the active exploration and sensing of mechanical parts for indu...Industrial inspection; Discrete event dynamic systems; DRFSM; DEDS1993
300 PPL 1.2mu gallium arsenide cell setThe purpose of this note is to describe the 1.2/i gallium arsenide PPL cell set - not only what is included, but design decisions made along the way. The first section is an overview of the Umitations imposed by the use of gallium arsenide technology, the next section describes the trade-offs in des...Gallium arsenide cells; PPL cell set1993
276 - 300 of 937