|
|
Creator | Title | Description | Subject | Date |
276 |
|
Gopalakrishnan, Ganesh | Dynamic reordering of high latency transactions in time-warp simulation using a modified micropipeline | Time 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 simulations | 1992 |
277 |
|
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 de ned as ranges on parameter subsets?? The dynamic recursive context for nite state machine... | Autonomous observation | 1992 |
278 |
|
| Free form surface analysis using a hybrid of symbolic and numeric computation | Detailed analysis of many mathematical properties of sculptured models has been hindered by the fact that the properties do not have the same representation as the surface For example unit tangents surface normals and principal curvatures are typically computed at prede??ned discrete sets of ... | Surface analysis | 1992 |
279 |
|
Gopalakrishnan, Ganesh | Towards a verification technique for large synchronous circuits | We 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 simulation | 1992 |
280 |
|
Bruderlin, Beat | Robustness in geometric modeling - an intuitionistic and tolerance-based approach | An 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 robustness | 1992 |
281 |
|
Cohen, Elaine | Hybrid symbolic and numeric operators as tools for analysis of freeform surfaces | Freeform surfaces are commonly used in Computer Aided Geometric Design, so accurate analysis of surface properties is becoming increasingly important. In this paper we define surface slope and surface speed, develop visualization tools, and demonstrate t h a t they can be useful in the design proces... | Freeform surfaces; Hybrid operators | 1992 |
282 |
|
Gopalakrishnan, Ganesh | Asynchronous circuit verification using trace theory and CCS | We 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; CCS | 1992 |
283 |
|
Gopalakrishnan, Ganesh | HOP: A formal model for synchronous circuits using communicating fundamental mode symbolic automata | We study synchronous digital circuits in an abstract setting. A circuit is viewed as a collection of modules connected through their boundary ports, where each port assumes a fixed direction (input or output) over one cycle of operation, and can change directions across cycles. No distinction is ma... | HOP | 1992 |
284 |
|
Gopalakrishnan, Ganesh | Specification and validation of control-intensive integrated circuits in hopCP | Control 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 execut... | control-intensive; integrated circuits; hopCP; Computer hardware design; Validation | 1992 |
285 |
|
Orr, Douglas B. | Dynamic program monitoring and transformation using the OMOS object server | In traditional monolithic operating systems the constraints of working within the kernel have limited the sophistication of the schemes used to manage executable program images. By implementing an executable image loader as a persistent user-space program, we can extend system program loading capabi... | Program monitoring; Object/Meta-Object Server; OMOS | 1992 |
286 |
|
Akella, Venkatesh | CFSIM: A concurrent compiled-code functional simulator for hopCP | Control 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... | CFSIM; Hardware design; hopCP | 1992 |
287 |
|
Bruderlin, Beat | Constraint objects - integrating constraint definition and interaction | This paper describes the implementation of a new constraint-based technique 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 view on ... | Constraint objects; Parameter objects | 1992 |
288 |
|
Cohen, Elaine | Second order surface analysis using hybrid symbolic and numeric operators | Results 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 surfaces | 1992 |
289 |
|
Bruderlin, Beat | Robustness in solid modeling - a tolerance based, intuitionistic approach | This 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; Intuitionistic | 1992 |
290 |
|
Cohen, Elaine | Adaptive isocurves based rendering for freeform surfaces | Freeform 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 surface... | Freeform surface rendering; Isocurves | 1992 |
291 |
|
Lindstrom, Gary E. | Our LIPS are sealed: interfacing logic and functional programming systems | We report on a technique for interfacing an untyped logic language to a statically poly morphically typed functional language Our key insight is that polymorphic types can be interpreted as "need to know" specifications on function arguments. This leads to a criterion for liberally yet safely invoki... | LIPS; Logic language; Functional language | 1992 |
292 |
|
Zachary, Joseph L. | Metamusing on object persistence | The need to "open up languages" has led to object-oriented programming languages with object-oriented implementations. By encapsulating the fundamental aspects of a language semantics within a set of default classes and giving t h e programmer t h e flexibility of deriving new versions of these base... | Metamusing; Object persistence | 1992 |
293 |
|
Evans, John; Kessler, Robert R. | Using utilization profiles in allocation and partitioning for multiproscessor systems | The 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 pro... | utilization profiles; multiprocessor partitioning; program allocation | 1992 |
294 |
|
Cohen, Elaine | Adaptive isocurves based rendering for freeform surfaces | Freeform 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; Isocurves | 1992 |
295 |
|
Bruderlin, Beat | GDI reference manual | GDI is a dialog interface tool library for C + + applications. It facilitates the design and implementation of graphical, object-oriented user interfaces for workstations equipped with a graphical display, a mouse and a keyboard. GDI's design allows for its portability onto a multitude of platforms.... | GDI; Dialog interface tool library | 1992 |
296 |
|
Akella, Venkatesh | Testing two-phase transition signaling based self-timed circuits in a synthesis environment | The 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 circuits | 1993 |
297 |
|
| Reconstruction of sculptured surface using coordinate measuring machines | This 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 machines | 1993 |
298 |
|
Gopalakrishnan, Ganesh | Peephole optimization of asynchronous networks through process composition and burst-mode machine generation | In this paper we discuss the problem of improving the e ciency of macromodule networks generated through asynchronous high level synthesis We compose the behaviors of the modules in the sub network being optimized using Dill s trace theoretic operators to get a single behavioral description for ... | Macromodule networks; Peephole; Asynchronous networks | 1993 |
299 |
|
Hibler, Michael J. | Notes on thread models in Mach 3.0 | During 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.0 | 1993 |
300 |
|
Sobh, Tarek M.; Henderson, Thomas C. | Intermediate results in active inspection and reverse engineering | In 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; DEDS | 1993 |