Experts in intellectual property litigation have used the commercial version of Code-Match to search for plagiarized source code. CodeMatch makes use of knowledge of programming languages and program structures. The d...
详细信息
Experts in intellectual property litigation have used the commercial version of Code-Match to search for plagiarized source code. CodeMatch makes use of knowledge of programming languages and program structures. The demo version compares two files and lists all their similarities as determined by the five algorithms. The commercial version compares lots of files in different directories and ranks them according to most similar pairs. The CodeMatch Semantic Sequence Matching algorithms compares the first word of every source line in the pair of files, ignoring blank lines and comment lines.
As technology has progressed, the use of Macintosh computers in campus computing labs has changed from independent workstations with no network access to fully networked members of the local domain. However, integrati...
详细信息
ISBN:
(纸本)9781581138696
As technology has progressed, the use of Macintosh computers in campus computing labs has changed from independent workstations with no network access to fully networked members of the local domain. However, integrating the newest Mac operating systems into a Windows-based Active Directory environment has presented many new opportunities (otherwise known as challenges) to customize the operating system to meet the needs of thousands of students per week. This presentation will attempt to demonstrate in brief the various techniques used to customize the OS X operating systems to integrate with the Windows-based Active Directory. Specifically, this will include logout scripts, between-user maintenance procedures, inactivity logouts, printer restrictions, desktop and dock customizations, and other user environment modifications. Copyright 2004 ACM.
We present a mechanism of modified Petri nets, the resource Petri nets, which are the basis of the control algorithm for the operating system of multiprocessor servers. This mechanism allows us to efficiently perform ...
详细信息
We present a mechanism of modified Petri nets, the resource Petri nets, which are the basis of the control algorithm for the operating system of multiprocessor servers. This mechanism allows us to efficiently perform task monitoring.
Genericity is a topic which is not sufficiently developed in state-based systems modelling, mainly due to a myriad of approaches and behaviour models which lack unification. This paper adopts coalgebra theory to propo...
详细信息
A Web Content Extraction System (WebCES) that tackles the problems of computer systems programming is presented. In order to overcome the shortcomings of a purely textural representation, WebCES represents documents a...
详细信息
A Web Content Extraction System (WebCES) that tackles the problems of computer systems programming is presented. In order to overcome the shortcomings of a purely textural representation, WebCES represents documents at a higher level of abstraction. The system uses a object-based representation built from the document object model, provided by the web browser, which allows better communication between the user and the WebCES.
We introduce a real-time extension of the PV language: A timed PV program consists of a number of timed automata which synchronize by locking and releasing common resources. We give a geometric semantics to such progr...
详细信息
Kleene Algebra with Tests is an extension of Kleene Algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Kleene Algebra with Tests, along the line...
详细信息
This paper forms part of a project focusing on the development of homological and simplicial methods in rewriting. The purpose of this contribution is to generalize Kobayashi's theorem for monoids to "monoids...
详细信息
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction application with built-in matching facilities. T...
详细信息
We introduce a new framework of algebraic pure type systems in which we consider rewrite rules as lambda terms with patterns and rewrite rule application as abstraction application with built-in matching facilities. This framework, that we call 'Pure Pattern Type systems", is particularly well-suited for the foundations of programming (meta)languages and proof assistants since it provides in a fully unified setting higher-order capabilities and pattern matching ability together with powerful type systems. We prove some standard properties like confluence and subject reduction for the case of a syntactic theory and under a syntactical restriction over the shape of patterns. We also conjecture the strong normalization of typable terms. This work should be seen as a contribution to a formal connection between logics and rewriting, and a step towards new proof engines based on the Curry-Howard isomorphism.
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating systems, and programming languages. As...
详细信息
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating systems, and programming languages. As a complement to RPC/RMI, InterWeave facilitates the rapid development of maintainable code by allowing processes to access shared data using ordinary reads and writes. Internally, InterWeave employs a variety of aggressive optimizations to obtain significant performance improvements with minimal programmer effort. In this paper, we focus on application-specific optimizations that exploit dynamic high-level information about an application's spatial data access patterns and the stringency of its coherence requirements. Using applications drawn from computer vision, datamining, and web proxy caching, we illustrate the specification of coherence requirements based on the (temporal) concept of "recent enough" to use, and introduce two (spatial) notions of views, which allow a program to limit coherence management to the portion of a data structure actively in use. Experiments with these applications show that InterWeave can reduce their communication traffic by up to one order of magnitude with minimum effort on the part of the application programmer.
暂无评论