1 - 25 of 127
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 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
4 Stevens, KennethA mathematical approach to a low power FFT architectureArchitecture and circuit design are the two most effective means of reducing power in CMOS VLSI. Mathematical manipulations have been applied to create a power efficient architecture of an FFT. This architecture has been implemented in asynchronous circuit technology that achieves significant powe...1998
5 Morse, Michael DavidA pair potentials study of matrix-isolated atomic zinc. II. Intersystem crossing in rare-gas clusters and matricesThe mechanism of 4p 1P1?4p 3PJ intersystem crossing (ISC) following excitation of the 4p 1P1 level of matrix-isolated atomic zinc is investigated using a pair potentials approach. This is achieved by extending earlier ISC calculations on the Zn?RG2 and Zn?RG3 complexes to the square planar Zn?RG4 ...1998
6 Gopalakrishnan, GaneshA partial order reduction algorithm without the ProvisoThis paper presents a partial order reduction algorithm, called Two phase, that preserves stutter free LTL properties. Two phase dramatically reduces the number of states visited compared to previous partial order reduction algorithms on most practical protocols. The reason can be traced to a step o...Order reduction algorithm; Proviso step1998
7 Stevens, KennethA single chip low power asynchronous implementation of an FFT algorithm for space applicationsA fully asynchronous _x000C_fixed point FFT processor is introduced for low power space applications. The architecture is based on an algorithm developed by Suter and Stevens specifi_x000C_cally for a low power implementation. The novelty of this architecture lies in its high localization of compo...1998
8 Beazley, David. M.A wrapper generation tool for the creation of scriptable scientific applicationsIn recent years, there has been considerable interest in the use of scripting languages as a mechanism for controlling and developing scientific software. Scripting languages allow scientific applications to be encapsulated in an interpreted environment similar to that found in commercial scientific...1998
9 Ogburn, Joyce L.Acquiring minds want to know: CAUSEThis year I went to CAUSE in Orlando FL, December 3-5, for the first time to see how it differed from EDUCOM (at the CAUSE meeting the two organizations voted to merge next year). The content seemed similar and some of the same attendees and vendors were there. Typical topics covered campus informat...Education; Technology; CAUSE; Libraries1998
10 Ogburn, Joyce L.Acquiring minds want to know: information policies and intellectual propertyAs librarians, vendors, and publishers, we deal with information every day, and we have developed policies to govern the acquisition and use of this information. Information policies on campuses have tended to focus on computing issues and information technology. Information policies give a lot of a...Information policies; Information access; Computing; Free speech; Academic freedom1998
11 Ogburn, Joyce L.Acquiring minds want to know: ownership of intellectual property in the academic environmentThis article is the third in a series dealing with intellectual property, technology, and information policies. It specifically addresses ownership of intellectual property in the academic environment, focusing on course materials, but providing commentary on other intellectual property.Intellectual property; Rights; Academia1998
12 Mathews, V. JohnAdaptive parallel-cascade truncated volterra filtersAbstract-This paper studies adaptive truncated Volterra filters employing parallel-cascade structures. Parallel-cascade realizations implement higher order Volterra systems a s a parallel connection of multiplicative combinations of lower order truncated Volterra systems. A normalized LMS adaptive f...1998
13 Mathews, V. JohnAdaptive, quadratic preprocessing of document images for binarizationAbstract-This paper presents an adaptive algorithm for preprocessing document images prior to binarization in character recognition problems. Our method is similar in its approach to the blind adaptive equalization of binary communication channels. The adaptive filter utilizes a quadratic system mod...1998
14 Vardeny, Zeev Valentine; Gellermann, WernerAmplified resonant Raman scattering in conducting polymer thin filmsUsing picosecond pulsed laser excitation, we investigate the optical emission characteristics of poly(2,5-dioctyloxy-p-phenylenevinylene), (DOO-PPV), thin films at high excitation intensities (~1-90 MW/cm2). We observe the presence of amplified resonance Raman scattering in the emission spectra of c...Amplified resonant Raman scattering; High excitation intensities; pi-conjugated polymers1998
15 Mathews, V. JohnAn analytical model of the perceptual threshold function for multichannel image compressionABSTRACT The human observer is often the final judge of the quality of compressed images. One way to design a compression system that attempts to reduce or eliminate subjective distortions in the coded images is to incorporate a perceptual threshold function model into the compression system. The...1998
16 Sikorski, KrisAn interior ellipsoid algorithm for fixed pointsWe consider the problem of approximating fixed points of non-smooth contractive functions with using of the absolute error criterion. In [12] we proved that the upper bound on the number of function evaluations to compute ?-approximations is 0(n3(In 1/? + In 1/1-q +In n)) in the worst case, where ...Ellipsoid algorithm; Contractive functions; Fixed points1998
17 Weinstein, DavidThe analytic 3-D transform for the least-squared fit of three pairs of corresponding pointsWe derive the analytic transformation for minimizing the summed-squared-distance between three movable points in one three-space pose to three corresponding fixed points in another three-space pose. This change of basis is a general rigid-body transformation (translation and rotation), with the addi...3-D transform; summed-squared-distance; three movable points; Three-space1998
18 Chuaqui, Miguel BasimAncient wing for solo fluteArchaeopteryx (Ancient Wing) was a prehistoric animal, presumably the "missing link" between reptiles and birds. I portrayed the dual nature of the animal by writing music that represents it both as a lizard-like motionless reptile, suddenly scuttling through the forest, as well as an ungainly bird,...1998
19 ARL Circulation Data 1995-20151995; 1996; 1997; 1998; 1999; 2000; 2001; 2002; 2003; 2004; 2005; 2006; 2007; 2008; 2009; 2010; 2011; 2012; 2013; 2014; 2015
20 Carter, John B.AS-COMA: An adaptive hybrid shared memory ArchitectureScalable shared memory multiprocessors traditionally use either a cache coherent nonuniform memory access (CC-NUMA) or simple cache-only memory architecture (S-COMA) memory architecture. Recently, hybrid architectures that combine aspects of both CC-NUMA and S-COMA have emerged. In this paper, we pr...AS-COMA; Hybrid shared memory1998
21 Stevens, Kenneth; Myers, Chris J.Average-case optimized technology mapping of one-hot domino circuitsThis paper presents a technology mapping technique for optimizing the average-case delay of asynchronous combinational circuits implemented using domino logic and one-hot encoded outputs. The technique minimizes the critical path for common input patterns at the possible expense of making less commo...1998
22 Myers, Chris J.; Stevens, KennethAverage-case optimized technology mapping of one-hot domino circuits*This paper presents a technology mapping technique for optimizing the average-case delay of asynchronous combinational circuits implemented using domino logic and one-hot encoded outputs. The technique minimizes the critical path for common input patterns at the possible expense of making less commo...1998
23 Schmidt, Meic H.Benzoporphyrin derivative and light-emitting diode for use in photodynamic therapy: applications of space light-emitting diode technologyPhotodynamic therapy (PDT) is a cancer treatment modality that recently has been applied as adjuvant therapy for rain tumors. PDT consists of intravenously injecting a photosensitizer, which preferentially accumulates in tumor ells, into a patient and then activating the photosensitizer with a light...Benzoporphyrin; Photodynamic therapy; Brain tumors; Photofrin1998
24 Freire, JulianaBeyond depth-first strategies: improving tabled logic programs through alternative schedulingTabled evaluation ensures termination for programs with finite models by keeping track of which subgoals have been called. Given several variant subgoals in an evaluation, only the fi rst one encountered will use program-clause resolution; the rest will resolve with the answers generated by the f...Alternate scheduling; SLG-WAM; Tabled logic programs1998
25 Gardner, Reed M.Blood Pressue MonitoringBiomedical Informatics1998
1 - 25 of 127