Browsing MINDS@UW Madison by Title
Now showing items 127-146 of 14729
-
A-Posteriori Error Estimates
(University of Wisconsin-Madison Department of Computer Sciences, 1974) -
Aankhen Meri Baqi Un-ka
(Center for South Asia, University of Wisconsin–Madison, 2001) -
Abe-A Query Language for Constructing Aggregates-by-Example
(University of Wisconsin-Madison Department of Computer Sciences, 1982) -
Absolute densities of long lived species in an ionized physical vapor deposition copper-argon plasma
(American Institute of Physics Inc, 2000) -
Absolute Value Equation Solution via Dual Complementarity
(2011)By utilizing a dual complementarity condition, we propose an iterative method for solving the NPhard absolute value equation (AVE): Ax?|x| = b, where A is an n�n square matrix. The algorithm makes no assumptions on the ... -
Absolute Value Equations
(2005)We investigate existence and nonexistence of solutions for NP-hard equations in- volving absolute values of variables: Ax ? |x| = b, where A is an arbitrary n � n real matrix. By utilizing an equivalence relation to the ... -
Absorption bases
(1936) -
An Abstract Domain for Bit-Vector Inequalities
(University of Wisconsin-Madison Department of Computer Sciences, 2013-04-16)This paper advances the state of the art in abstract interpretation of machine code. It tackles two of the biggest challenges in machine-code analysis: (1) holding onto invariants about values in memory, and (2) identifying ... -
Abstract Domains of Affine Relations
(University of Wisconsin-Madison Department of Computer Sciences, 2013-05-13)This paper considers some known abstract domains for affine-relation analysis, along with several variants, and studies how they relate to each other. The various domains represent sets of points that satisfy affine ... -
Abstract Domains of Affine Relations
(University of Wisconsin-Madison Department of Computer Sciences, 2011)This paper considers some known abstract domains for affine-relation analysis (ARA), along with several variants, and studies how they relate to each other. We show that the abstract domains of Mueller-Olm/Seidl (MOS) ... -
Abstract Error Projection
(University of Wisconsin-Madison Department of Computer Sciences, 2006)To improve the reporting of results from model checking and programanalysis systems, we introduce the notion of an error projection and annotated error projection. An error projection is a set of program nodes N such that ... -
Abstract Execution: A Technique for Efficiently Tracing Programs
(University of Wisconsin-Madison Department of Computer Sciences, 1990) -
Abstract: Magic Templates: A Spellbinding Approach to Logic Programs
(University of Wisconsin-Madison Department of Computer Sciences, 1988) -
Abstraction Refinement for 3-Valued Logic Analysis
(University of Wisconsin-Madison Department of Computer Sciences, 2004)This paper concerns the question of how to create abstractions that are useful for program analysis. It presents a method that refines an abstraction automatically for analysis problems in which the semantics of statements ... -
Abu Nasr Muhammad Khalidi (d. 1403/1985) A Brief Memoir
(Center for South Asia, University of Wisconsin–Madison, 2000) -
AC adjustable-speed drives at the millennium: How did we get here?
(Institute of Electrical and Electronics Engineers Inc, 2001) -
AC brushless drive with low-resolution hall-effect sensors for surface-mounted PM machines
(IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 2006) -
Academic Libraries as Scholarly Publishers
(2007-10)Academic librarians have historically been the scholarly literature's collectors and preservers, its major purchasers and ultimate disseminators. What happens between author manuscript and ink (or, increasingly, pixels) ... -
Academic Libraries: "Social" or "Communal?" The Nature and Future of Academic Libraries
(Elsevier, 2008-01)The apparent death of academic libraries, as measured by declining circulation of print materials, reduced use of reference services, and falling gate counts, has led to calls for a more “social” approach to academic ...