1 - 25 of 1,963
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Gopalakrishnan, GaneshThe 'test model-checking' approach to the verification of formal memory models of multiprocessorsWe offer a solution to the problem of verifying formal memory models of processors by com bining the strengths of model checking and a formal testing procedure for parallel machines We characterize the formal basis for abstracting the tests into test automata and associated memory rule safety p...Formal memory models; Shared memory multiprocessors; Formal testing; Model; Checking1998
2 Gopalakrishnan, GaneshThe 'Test model-checking' approach to the verification of formal memory models of multiprocessorsWe offer a solution to the problem of verifying formal memory models of processors by combining the strengths of model-checking and a formal testing procedure for parallel machines. We characterize the formal basis for abstracting the tests into test automata and associated memory rule safety proper...Test Model-checking; Formal memory; Verification1998
3 Liu, Feng(BAl12)Cs: a cluster-assembled solidFirst-principles calculations on the geometry and stability of AlnBm clusters have been carried out to examine the effect of size, composition, and electronic-shell filling on their relative stability. It is shown that although Al and B are both trivalent, a BAl12 cluster is more stable than an Al1...First-principles calculations; (BAl12)Cs; Cluster-assembled; AlnBm clusters1997-06
4 Normann, Richard A.; Campbell, Patrick K.; Jones, Kelly E.100 electrode intracortical array: structural variabilityA technique has been developed for fabricating three dimensional "hair brush" electrode arrays from monocrystalline silicon blocks. Arrays consist of a square pattern of 100 penetrating electrodes, with 400 microns interelectrode spacing. Each electrode is 1.5mm in length and tapers from about 100 m...Microelectrode arrays; Stimulation; Micromachining1990
5 Furse, Cynthia M.13 crazy, notorious things to do in an EM classThe average attention span of an adult human is 12-20 minutes. Our lectures are 50-80 minutes. Attention Span Math reminds us to take a break now and then, and to bring the class back to life by bringing some life to the class. Many students learn things better if they can see and touch them, so thi...Attention span; Fun2005-06
6 Sarofim, Adel F.; Pugmire, Ronald J.13C NMR analysis of soot produced from model compounds and a coalSoot samples, including the associated organics, produced from an Illinois No. 6 coal (five samples) and two model compounds, biphenyl (three samples) and pyrene (two samples), have been studied by 13C NMR methods. The coal soot data served as a guide to selection of the temperature range that would...13C NMR; Biphenyl; Aromatic cluster size2001
7 Smith, Grant D.; Borodin, Oleg; Bedrov, Dmitro13C NMR spin-lattice relaxation and conformational dynamics in a 1,4-polybutadiene meltWe have performed molecular dynamics (MD) simulations of a melt of 1,4-polybutadiene (PBD, 1622 Da) over the temperature range 400?273 K. 13C NMR spin?lattice relaxation times (T1) and nuclear Overhauser enhancement (NOE) values have been measured from 357 to 272 K for 12 different resonances. The T...Polybutadiene melt; 13C NMR; Spin-lattice relaxation; Conformational dynamics; Molecular dynamics simulation2001
8 Henderson, Thomas C.2-D scene analysis using split-level relaxationWe present a new method for applying multiple semantic constraints based on discrete relaxation. A separate graph is maintained for each constraint relation and used in parallel to achieve a consistent labeling. This permits both local and global analysis without recourse to complete graphs. Here l...Discrete relaxation; Split-level relaxation1985
9 Bhanu, Bir3-D model building for computer visionThis paper presents a Computer-Aided Geometric Design (CAGD) based approach for building 3-D models which can be used for the recognition of 3-D objects for industrial machine vision applications. The objects are designed using the Alpha_1 CAGD system developed at the University of Utah. A new metho...CAGD; 3-D models; Machine vision1985
10 Gooch, Amy A.; Gooch, Bruce; Willemsen, Peter; Kniss, Joe; Riesenfeld, Richard F.; Shirley, Peter S.3D Line textures and the visualization of confidence in ArchitectureThis work introduces a technique for interactive walkthroughs of non-photorealistically rendered (NPR) scenes using 3D line primitives to define architectural features of the model, as well as indicate textural qualities. Line primitives are not typically used in this manner in favor of texture ma...Presentation graphics; Interactive walkthroughs2007
11 Furse, Cynthia M.3D ray-tracing for intra-vehicle environmentsIn order to develop a wireless communication system that could be used for all types of aircraft sensor networks, the severe multipath channel found inside aircrafts must be well defined. This multipath channel is much more complex than usual outdoor/indoor channels and thus far, research has been l...2009
12 Khan, Faisal Habib5 kW multilevel DC-DC converter for hybrid electric and fuel cell automotive applicationsA 5 kW multilevel modular capacitor clamped dc-dc converter (MMCCC) for future hybrid electric vehicle and fuel cell automotive applications will be presented in this paper. The modular structure of the MMCCC topology was utilized to build this 5 kW converter with high reliability and fault bypassi...2007-09
13 Blair, StevenA 3D glass optrode array for optical neural stimulationThis paper presents optical characterization of a first-generation SiO2 optrode array as a set of penetrating waveguides for both optogenetic and infrared (IR) neural stimulation. Fused silica and quartz discs of 3-mm thickness and 50-mm diameter were micromachined to yield 10×10 arrays of up to 2-...2012-01-01
14 Khan, Faisal HabibA 5 kW Bi-directional multilevel modular DC-DC converter (MMCCC) featuring built in power management for fuel cell and hybrid electric automobilesAbstract- A new capacitor clamped modular dc-dc converter with bi-directional power handling capability will be presented in this paper. This inductor-free design is modular, and it is possible to integrate multiple loads and sources simultaneously in the converter. Moreover, this 5 kW dc-dc convert...2007
15 Mathews, V. JohnA baseband residual vector quantization algorithm for voiceband data signalsAbstract-In this paper, we present a new approach to the digitization and compression of a class of voiceband modem signals. Our approach, which we call baseband residual vector quantization (BRVQ), relies heavily upon the simple structure present in a modem signal. After the signal is converted to...1989
16 Mathews, V. John; Schlegel, ChristianA blind adaptive projection receiver for CDMA systemsAbstract - This paper presents a blind and adaptive CDMA receiver that does not require knowledge of the spreading codes associated with users other than the ones of interest. Receivers for synchronous as well as asynchronous transmission by multiple users with error control coding are develope...1998
17 Mathews, V. John; Schlegel, ChristianA blind projection receiver for coded CDMA systemsABSTRACT This paper presents a blind adaptive CDMA receiver that requires no knowledge of the spreading codes, the delays, and the energy of the received signals associated with the interfering users. Our receiver is based on linear interference cancellation and adaptive interference signal subspa...1999
18 Poeppelmeier, Charles ChristianA boolean sum interpolation scheme to random data for computer aided geometric designThis thesis presents a new imterpolation function for randomly distributed data. The new interpolation function is capable of exactly reproducing quadratic surfaces. The new function is developed, through boolean sum theory, from Shepard's two dimensional interpolation functions and the Barnhill-Gre...Computer-aided geometric design; CAGD; Barnhill-Gregory; Interpolation functions1975
19 Ziegenfuss, DonnaA Busy Professor's Guide to Sanely Flipping Your ClassroomThe Flipped Classroom has become a popular teaching method. Students watch video lectures before class, saving class time for active learning (problem solving, demonstrations, applications, etc.). This paper is a useful guide for busy professors who would like to try out the flipped classroom approa...flipped classroom; inverted classroom; engineering education; teaching electromagnetics; assessment pedagogy2019
20 Furse, Cynthia M.A busy professors guide to sanely flipping your classroomThis paper describes the use of the flipped classroom approach for an Introduction to Electromagnetics course. Video lectures were created on a tablet PC, and uploaded to YouTube. Students watched the videos before coming to class. Class time was used for problem solving strategy (using homework as ...2013-01-01
21 Balasubramonian, RajeevA case for increased operating system support in chip multi-processorsWe identify the operating system as one area where a novel architecture could significantly improve on current chip multi-processor designs, allowing increased performance and improved power efficiency. We first show that the operating system contributes a non-trivial overhead to even the most com...2005
22 Brunvand, Erik L.A case for increased operating system support in chip multi-processorsWe identify the operating system as one area where a novel architecture could significantly improve on current chip multi-processor designs, allowing increased performance and improved power efficiency. We first show that the operating system contributes a non-trivial overhead to even the most com...2005
23 Panangaden, PrakashA category theoretic formalism for abstract interpretationWe present a formal theory of abstract interpretation based on a new category theoretic formalism. This formalism allows one to derive a collecting semantics which preserves continuity of lifted functions and for which the lifting functon is itself continuous. The theory of abstract interpretation i...Formal theory; Theoretic formalism; Lifted functions1984
24 Brunvand, Erik L.A cell set for self-timed design using actel FPGAsAsynchronous or self-timed systems that do not rely on a global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in a variety of applications. However, these systems require that suitable self-timed circuit primitives are available for b...Self-timed systems; Actel field programmable gate arrays; FPGA1991
25 Davis, Alan L.A characterization of parallel systemsa taxonomy for parallel processing systems is presented which has some advantages over previous taxonomies. The taxonomy characterizes parallel processing systems using four parameters: topology, communication, granularity, and operation. These parameters and used repetitively in a hierarchical fash...Parallel systems1980
1 - 25 of 1,963