3,768 research outputs found
Hierarchies and Space Measures for Pointer Machines
Coordinated Science Laboratory was formerly known as Control Systems LaboratoryAir Force Institute of Technology, AFIT/CIR
Bounded Counter Languages
We show that deterministic finite automata equipped with two-way heads
are equivalent to deterministic machines with a single two-way input head and
linearly bounded counters if the accepted language is strictly bounded,
i.e., a subset of for a fixed sequence of symbols . Then we investigate linear speed-up for counter machines. Lower
and upper time bounds for concrete recognition problems are shown, implying
that in general linear speed-up does not hold for counter machines. For bounded
languages we develop a technique for speeding up computations by any constant
factor at the expense of adding a fixed number of counters
Software-Architecture Recovery from Machine Code
In this paper, we present a tool, called Lego, which recovers object-oriented software architecture from stripped binaries. Lego takes a stripped binary as input, and uses information obtained from dynamic analysis to (i) group the functions in the binary into classes, and (ii) identify inheritance and composition relationships between the inferred classes. The information obtained by Lego can be used for reengineering legacy software, and for understanding the architecture of software systems that lack documentation and source code. Our experiments show that the class hierarchies recovered by Lego have a high degree of agreement---measured in terms of precision and recall---with the hierarchy defined in the source code
An occam Style Communications System for UNIX Networks
This document describes the design of a communications system which provides occam style communications primitives under a Unix environment, using TCP/IP protocols, and any number of other protocols deemed suitable as underlying transport layers. The system will integrate with a low overhead scheduler/kernel without incurring significant costs to the execution of processes within the run time environment. A survey of relevant occam and occam3 features and related research is followed by a look at the Unix and TCP/IP facilities which determine our working constraints, and a description of the T9000 transputer's Virtual Channel Processor, which was instrumental in our formulation. Drawing from the information presented here, a design for the communications system is subsequently proposed. Finally, a preliminary investigation of methods for lightweight access control to shared resources in an environment which does not provide support for critical sections, semaphores, or busy waiting, is made. This is presented with relevance to mutual exclusion problems which arise within the proposed design. Future directions for the evolution of this project are discussed in conclusion
Kolmogorov Complexity of Categories
Kolmogorov complexity theory is used to tell what the algorithmic
informational content of a string is. It is defined as the length of the
shortest program that describes the string. We present a programming language
that can be used to describe categories, functors, and natural transformations.
With this in hand, we define the informational content of these categorical
structures as the shortest program that describes such structures. Some basic
consequences of our definition are presented including the fact that equivalent
categories have equal Kolmogorov complexity. We also prove different theorems
about what can and cannot be described by our programming language.Comment: 16 page
On parallel Turing machines with multi-head control units
This paper deals with parallel Turing machines with multi-head
control units on one or more tapes which can be considered as a
generalization of cellular automata. We discuss the problem of
finding an appropriate measure of space complexity. A definition is
suggested which implies that the model is in the first machine
class. It is shown that without loss of generality it suffices to
consider only parallel Turing machines of certain normal forms
- …