1 - 25 of 989
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Evans, DavidIntroduction to computer concepts
2 Kasera, Sneha K.; Patwari, NealMobility Assisted Secret Key GenerationSignature Based Key Generation. Wireless link signature; multiple paths caused by radio waves; their measurements are good signatures of links; link signatures measured almost symmetrically at two ends of wireless link, but cannot be measured from another location; use for secret key establishment;...
3 Yang, Xuejun; Chen, Yang; Eide, Eric; Regehr, JohnFinding compiler bugs with random testingUndefined behavior (such as divide by 0) or unspecified behavior (such as order of evaluation) gives compilers freedom to diverge, causing failure to our voting mechanism Control Flow Analysis • a control flow analyzer that can handle abnormal edges created by jump statements (goto / break ...
4 Nguyen, Hoa Thanh; Nguyen, Thanh Hoang; Freire, JulianaDeepPeep: A Form Search EngineWe present DeepPeep (http://www.deeppeep.org), a new search engine specialized in Web forms. DeepPeep uses a scalable infrastructure for discovering, organizing and analyzing Web forms which serve as entry points to hidden-Web sites. DeepPeep provides an intuitive interface that allows users t...
5 Pugsley, Seth H; Spjut, Josef Bo; Nellans, David W; Balasubramonian, RajeevSWEL: hardware cache coherence protocols to map shared data onto shared cachesIn chip multiprocessors, replication of cache lines is allowed to reduce the latency each core has to access a cache line. Because of this replication, it is possible for one copy of data to become out of date if another copy of that data is modified. How a MESI protocol accomplishes this: ? K...
6 Gilbert, Nathan Alan; Riloff, Ellen M.Exploring Knowledge-Rich Solutions to Noun Phrase Coreference ResolutionCoreference resolution is the task of identifying coreferent expressions in text. Accurate coreference resolution can improve other tasks such as machine translation, information retrievel and document summarization. Currently, the best approaches involve some form of supervised Machine Learni...
7 Bhatia, Harsh; Jadhav, Shreeraj Digambar; Norgard, Greg; Bremer, Peer-Timo; Pascucci, ValerioHelmholtz-Hodge Decomposition of vector fields on 2-manifoldsA Morse-like Decomposition ? - Morse-Smale decomposition for gradient (of scalar) fields is an interesting way of decomposing the domain into regions of unidirectional flow (from a source to a sink ). - But works for gradient fields, which are conservative (irrotational), only. - Can such a de...
8 Johnson, Christopher R.Optimizing Inverse Electrocardiographic Problem: Hybrid and High-Order Finite Element MethodOne type of inverse problems in electrocardiography (ECG) is to non-invasively reconstruct epicardial electric potentials from body-surface measurements. We study how to design the finite element discretization of such problem, so as to optimize the conditioning and stability of the resulting num...
9 Schott, Mathias; Hansen, Charles DA directional occlusion shading model for interactive direct volume renderingVolumetric rendering is widely used to examine 3D scalar fields Key aspect: provide perceptual cues to aid in understanding the data set Shading models with natural lighting conditions better convey depth information and spatial relationships Traditionally require considerable (pre)computatio...
10 Joshi, Sarang; Venkatasubramanian, SureshMatching shapes using the current distanceCurrent Distance: It was introduced by Vaillant and Glaunès as a way of comparing shapes (point sets, curves, surfaces). This distance measure is defined by viewing a shape as a linear operator on a k-form field, and constructing a (dual) norm on the space of shapes. Shape Matching: Given two s...
11 Regehr, John; Pagariya, Rohit PannalaljiDirect equivalence testingTesting embedded software is difficult. • Further complicated by presence of memory and type safety errors in software. • Compiler contain various known bugs. Developers are skeptical to upgrade the compilers. • Is your embedded software affected by memory safety and compilation erro...
12 Tripathi, Abhishek; Bremer, Peer-Timo; Pascucci, ValerioUnderstanding global climate changeWhat is Climate Modeling? Use of quantitative methods to simulate the interactions of the atmosphere, oceans, land surface, and ice. Average Global Temperatures indicate a warming trend but that alone does not explain why it is happening.
13 Chen, Yang; Regehr, JohnA code size microbenchmark for CMotivation ? No compilers could always generate smaller code than others ? Hand-optimized code is often hard to understand ? Programmers tend to write readable code and trust compilers generate fast and compact code for them ? There is a plenty of room for improving compiler optimizations Our ...
14 Pascucci, ValerioMorse theory and its applicationDiscussion of Morse TheoryMorse; Morse-Smale; Topology; Algorithms; Terrain; Analysis
15 Kumar, Sidharth; Pascucci, ValerioRemote visualizationGeneralized Architecture and pipeline for a remote site
16 Widanagamaachchi, Wathsala Nayomi; Pascucci, ValerioImage registrationImage Registration is the process of overlaying two or more images of the same scene, taken at different times, from different viewpoints and/or by different sensors.
17 Evans, DavidGraphical man/machine communications: November 1966Semiannual progress report for period ending 30 November, 1966.1966-11
18 Evans, DavidGraphical man/machine communications: May 1967Semiannual technical report for period ending 15 May, 1967.1967-05
19 Evans, DavidImproving communication between man and computers: some recent developments1967-10-11
20 Warnock, John E.A hidden line algorithm for halftone picture representationIn exploring applications in computer graphics, one finds quickly that the representation of three dimensional objects in picture form is both a desirable and necessary capability. Applications dealing with any form of spatial design or with visual environment simulation need the ability to represen...Halftone picture representation; Spatial design1968
21 Evans, DavidGraphical man/machine communications: November 1968Semi-Annual Technical Report 1 June - 30 November 19681968
22 Evans, DavidGraphical man/machine communications: February 1968Technical report No. RADC - TR - 68 - 90 for the period ending 30 November, 1967. Two classes of research activities are being conducted. One is research in information processsing system technology. The other is researach in application of interactive computing technology to the solution of severa...Fluid flow problems1968-02
23 Evans, DavidGraphical man/machine communications: May 1969Semi-Annual Technical Report 1 December 1968 - 30 May 19691969-05
24 Evans, DavidGraphical man/machine communications: November 1969Semi-Annual Technical Report 1 June 1969 - 30 November 19691969-11
25 Seror, Denis D.D.C.P.L. - A distributed control programming languageIn this thesis, a computation is considered a system of asynchronously cooperating "independent" programs (coroutines) linked by paths of in formation along which messages are sent. A programming language called DCPL, a Distributed Control Programming Language, in which such computations may be ex...Distributed control programming language; DCPL1970
1 - 25 of 989