1 - 25 of 6
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 |
Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a... | Validation; Optimization | 1992 |
| 2 |
 |
Jacobson, Hans | Design and validation of a simultaneous multi-threaded DLX processor | Modern day computer systems rely on two forms of parallelism to achieve high performance, parallelism between individual instructions of a program (ILP) and parallelism between individual threads (TLP). Superscalar processors exploit ILP by issuing several instructions per clock, and multiprocessors... | DLX processor; Validation | 1999 |
| 3 |
 |
Freire, Juliana | Designing information-preserving mapping schemes for XML | An XML-to-relational mapping scheme consists of a procedure for shredding XML documents into relational databases, a procedure for publishing databases back as documents, and a set of constraints the databases must satisfy. In previous work, we discussed two notions of information preservation for m... | Losslessness; Validation; Mapping scheme; Edge++; LILO; Lossless Inlining; Lossless Outlining; XML Schema | 2005 |
| 4 |
 |
Sikorski, Christopher | Method of generated solutions as a numerical verification tool for ice code | Method of Manufactured solutions is a well-known method used to verify numerical algorithms. It is used to estimate convergence and order of accuracy of the algorithms. The method involves design of analytical solutions to the set of equations solved by the algorithm and generation of the forcing fu... | Validation; Verification; Method of Generated Solutions; Finite volume solver; ICE code | 2007 |
| 5 |
 |
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 |
| 6 |
 |
Gerig, Guido | User-guided 3D active contour segmentation of anatomical structures: significantly improved efficiency and reliability | Active contour segmentation and its robust implementation using level set methods are well-established theoretical approaches that have been studied thoroughly in the image analysis literature. Despite the existence of these powerful segmentation methods, the needs of clinical research continue to b... | Computational anatomy; Image segmentation; Caudate nucleus; 3D active contour models; Open source software; Validation; Anatomical objects | 2006-01-01 |
1 - 25 of 6