# Browse by Title

• (1990)
The Acquired Immunodeficiency Syndrome (AIDS) has become a major health problem in the world and is discussed in the literature of many disciplines. Using bibliometric techniques and a mailed questionnaire, 87 international, ...

application/pdf

PDF (4MB)
• (European Union Center, 2004)
Putnam's theory of "two-level games" has spawned numerous studies examining the interaction between international and domestic politics, many focusing on politics in the European Union. While noting that ratification may ...

application/pdf

PDF (433kB)
• (2011-08-25)
In this thesis I examine a variety of linguistic elements which involve alternative'' semantic values---a class arguably including focus, interrogatives, indefinites, and disjunctions---and the connections between these ...

application/pdf

PDF (2MB)
• (Association of College and Research Libraries. American Library Association, 1955-10)

application/pdf

PDF (1MB)
• (1998)
The reconstruction process is based on the Newton-Kantorovich method in which, from an initial distribution of the dielectric contrast, the difference between the measured and model-computed equivalent scattered fields is ...

application/pdf

PDF (4MB)
• (2010-07)
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous reference augmenting the prose of ...

application/pdf

PDF (279kB)
• (2010-06-22)
Memory corruptions are a major part of security attacks observed nowadays. Many protection mechanisms have been proposed to fight against them. These techniques can be broadly classified into two categories: those that ...

application/pdf

PDF (2MB)
• (Champaign, Ill. : University of Illinois at Urbana-Champaign, Center for the Study of Reading., 1990)

application/pdf

PDF (870kB)
• (2004-03)
The field of studies on complex systems is becoming one of the most active research areas in computer science. Among those systems, there is a type of system that has the following characteristics: comprising a large number ...

application/pdf

PDF (170kB)
• (2014-01-16)
Formal methods have revolutionized software reliability and safety, and design patterns has revolutionized software reusability and modularity. However, the preciseness required for formal methods and the flexibility ...

application/pdf

PDF (1MB)
• (Association of College and Research Libraries. American Library Association, 1979-07)

application/pdf

PDF (353kB)
• (1985)
This thesis is on the subject of computer architecture, specifically in the area of architecture representation. The main results are that it is possible to represent computer architectures in a formal fashion and that ...

application/pdf

PDF (4MB)
• (2007-07)
This paper presents a formal definition of Scheme (based on the informal definition given in the R5RS report R5RS. The definition is purely equational, so it can be regarded as an algebraic denotational specification with ...

application/pdf

PDF (234kB)
• (2012-09-18)
This dissertation shows that complex, real programming languages can be completely formalized in the K Framework, yielding interpreters and analysis tools for testing and bug detection. This is demonstrated by providing, ...

application/pdf

PDF (4MB)
• (2011-11-22)
This paper describes an executable formal semantics of C expressed using a formalism based on term rewriting. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully ...

application/pdf

PDF (591kB)
• (2013-08-22)
This thesis demonstrates the ability to formalize the operational semantics of complex programming languages in the K Semantic Framework, which provides an interpreter as well as analysis tools for exploring the state space ...

application/pdf

PDF (220kB)
• (2006-05)
There is an extensive literature about refactorings of object-oriented programs, and many refactoring tools for the Java programming language. However, except for a few studies, in practice it is difficult to find precise ...

application/pdf

PDF (172kB)
• (Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, 2001-10)

application/pdf

PDF (4MB)
• (2001)
In this thesis, we describe the Mobius framework and illustrate its usefulness by showing mappings from many formalisms into the framework. We also address some fundamental issues in the field of modeling of discrete-event ...

application/pdf

PDF (11MB)
• (2003-12)
MSSP is a new execution paradigm that achieves high performance by removing correctness constraints from the critical path. A collection of concurrently executing slave processors, which are not on the critical path, check ...

application/pdf

PDF (376kB)