Search results
-
Cost-Aware WWW Proxy Caching Algorithms
of web traffic over the network through cost-aware caching. This paper introduces GreedyDual-Size, ... http://www.usenix.org/publications/library/proceedings/usits97/full_papers/cao/cao.pdf http://www.usenix.org/publications/library/proceedings/usits97/full_papers/cao/cao_html/cao.html ...admin - January 5, 2022 - 7:21 pm
-
System Design Issues for Internet Middleware Services: Deductions from a Large Client Trace
Steven D. Gribble and Eric A. Brewer, University of California, Berkeley In this paper, we present ... http://www.usenix.org/publications/library/proceedings/usits97/full_papers/gribble/gribble.pdf http://www.usenix.org/publications/library/proceedings/usits97/full_papers/gribble/gribble_html/gribble.html ...admin - January 5, 2022 - 7:21 pm
-
Alleviating the Latency and Bandwidth Problems in WWW Browsing
limited web browsing even during disconnection. In this paper, we describe the design and implementation ... http://www.usenix.org/publications/library/proceedings/usits97/full_papers/tong/tong_html/tong.html http://www.usenix.org/publications/library/proceedings/usits97/full_papers/tong/tong.pdf ...admin - January 5, 2022 - 7:51 pm
-
The Search Broker
://www.usenix.org/publications/library/proceedings/usits97/full_papers/manber_search/manber_search.pdf http ... ://www.usenix.org/publications/library/proceedings/usits97/full_papers/manber_search/manber_search_html/manber_search.html ...admin - January 5, 2022 - 7:51 pm
-
Using the Structure of HTML Documents to Improve Retrieval
this environment. In this paper, we propose a method for making use of the structures and hyperlinks of ... http://www.usenix.org/publications/library/proceedings/usits97/full_papers/cutler/cutler.pdf http://www.usenix.org/publications/library/proceedings/usits97/full_papers/cutler/cutler_html/cutler.html ...admin - January 5, 2022 - 7:51 pm
-
SASE: Implementation of a Compressed Text Search Engine
require efficient mechanisms to store as well as index data. In this paper we discuss the implementation ... ://www.usenix.org/publications/library/proceedings/usits97/full_papers/varadarajan/varadarajan.pdf http ... ://www.usenix.org/publications/library/proceedings/usits97/full_papers/varadarajan/varadarajan_html/varadarajan.html ...admin - January 5, 2022 - 7:51 pm
-
Service Combinators for Web Computing
http://usenix.org/publications/library/proceedings/dsl97/full_papers/cardelli/cardelli.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/cardelli/cardelli_html/cardelli.html ...admin - January 5, 2022 - 9:24 pm
-
A Domain-Specific Language for Video Device Drivers: From Design to Implementation
paper we present our DSL approach and its application to a realistic application: video display device ... http://usenix.org/publications/library/proceedings/dsl97/full_papers/thibault/thibault.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/thibault/thibault_html/thibault.html ...admin - January 5, 2022 - 9:55 pm
-
Domain-Specific Languages for ad hoc Distributed Applications
http://usenix.org/publications/library/proceedings/dsl97/full_papers/fuchs/fuchs.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/fuchs/fuchs_html/fuchs.html ...admin - January 5, 2022 - 9:55 pm
-
Experience with a Domain-Specific Language for Form-Based Services
http://usenix.org/publications/library/proceedings/dsl97/full_papers ... /atkins/atkins.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/atkins/atkins_html/atkins.html ...admin - January 5, 2022 - 9:55 pm
-
Experience with a Language for Writing Coherence Protocols
California, Berkeley In this paper we describe our experience with Teapot [7], a domain-specific language for ... off-the-shelf items, as their details depend on the requirements of the system under consideration. This paper ... http://usenix.org/publications/library/proceedings/dsl97/full_papers/chandra/chandra.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/chandra/chandra_html/chandra.html ...admin - January 5, 2022 - 9:55 pm
-
Lightweight Languages as Software Engineering Tools
http://usenix.org/publications/library/proceedings/dsl97/full_papers/spinellis/spinellis.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/spinellis/spinellis_html/spinellis.html ...admin - January 5, 2022 - 9:55 pm
-
A Slicing-Based Approach for Locating Type Errors
http://usenix.org/publications/library/proceedings/dsl97/full_papers/dinesh/dinesh.pdf ...admin - January 5, 2022 - 9:55 pm
-
Typed Common Intermediate Format
languages. This paper presents a framework on building high-quality systems environment for multiple advanced ... http://usenix.org/publications/library/proceedings/dsl97/full_papers/shao/shao.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/shao/shao_html/shao.html ...admin - January 5, 2022 - 9:55 pm
-
Incorporating Application Semantics and Control into Compilation
passive users of compilers, rather than active exploiters of their transformational abilities. This paper ... http://usenix.org/publications/library/proceedings/dsl97/full_papers/engler/engler.pdf ...admin - January 5, 2022 - 9:55 pm
-
Code Composition as an Implementation Language for Compilers
http://usenix.org/publications/library/proceedings/dsl97/full_papers/stichnoth/stichnoth.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/stichnoth/stichnoth_html/stichnoth.html ...admin - January 5, 2022 - 9:55 pm
-
BDL: A Language to Control the Behavior of Concurrent Objects
http://usenix.org/publications/library/proceedings/dsl97/full_papers/bertrand/bertrand.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/bertrand/bertrand_html/bertrand.html ...admin - January 5, 2022 - 10:26 pm
-
A Domain-Specific Language for Regular Sets of Strings and Trees
complexity and practical interest. In the present paper, we motivate the need for a language like FIDO, and ... http://usenix.org/publications/library/proceedings/dsl97/full_papers/klarlund/klarlund.pdf ...admin - January 5, 2022 - 10:26 pm
-
A Modular Monadic Action Semantics
opportunity to apply formal methods in proving properties of an application. In this paper, we contribute ... http://usenix.org/publications/library/proceedings/dsl97/full_papers/wansbrough/wansbrough.pdf ...admin - January 5, 2022 - 10:26 pm
-
SHIFT and SMART-AHS: A Language for Hybrid System Engineering Modeling and Simulation
of Hybrid System based simulation of Automated Highways Systems. In this paper we describe how the ... http://usenix.org/publications/library/proceedings/dsl97/full_papers/antoniotti/antoniotti.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/antoniotti/antoniotti_html/antoniotti.html ...admin - January 5, 2022 - 10:26 pm
-
Design and Semantics of Quantum: A Language to Control Resource Consumption in Distributed Computing
Luc Moreau, University of Southampton, and Christian Queinnec, Université de Paris This paper ... http://usenix.org/publications/library/proceedings/dsl97/full_papers/moreau/moreau.pdf ...admin - January 5, 2022 - 10:26 pm
-
Domains of Concern in Software Architectures and Architecture Description Languages
http://usenix.org/publications/library/proceedings/dsl97/full_papers/medvidovic/medvidovic.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/medvidovic/medvidovic_html/medvidovic.html ...admin - January 5, 2022 - 10:26 pm
-
A The Zephyr Abstract Syntax Description Language
http://usenix.org/publications/library/proceedings/dsl97/full_papers/wang/wang.pdf http://usenix.org/publications/library/proceedings/dsl97/full_papers/wang/wang_html/wang.html ...admin - January 5, 2022 - 10:26 pm
-
ASTLOG: A Language for Examining Abstract Syntax Trees
http://usenix.org/publications/library/proceedings/dsl97/full_papers/crew/crew.pdf ...admin - January 5, 2022 - 10:26 pm
-
KHEPERA: A System for Rapid Implementation of Domain-Specific Languages
and debugging for the DSL processor and end-user programs. In this paper, we present an overview of ... http://usenix.org/publications/library/proceedings/dsl97/full_papers/faith/faith.pdf ...admin - January 5, 2022 - 10:26 pm