Sciweavers

7192 search results - page 1220 / 1439
» Interactive Simulation and Visualization
Sort
View
157
Voted
CP
1998
Springer
15 years 10 months ago
Suggestion Strategies for Constraint-Based Matchmaker Agents
In this paper we describe a paradigm for contentfocused matchmaking, based on a recently proposed model for constraint acquisition-and-satisfaction. Matchmaking agents are conceiv...
Eugene C. Freuder, Richard J. Wallace
SIGSOFT
1998
ACM
15 years 10 months ago
Formal Modeling and Analysis of the HLA Component Integration Standard
An increasingly important trend in the engineering of complex systems is the design of component integration standards. Such standards de ne rules of interaction and shared commun...
Robert Allen, David Garlan
FODO
1998
Springer
241views Algorithms» more  FODO 1998»
15 years 10 months ago
2D BubbleUp: Managing Parallel Disks for Media Servers
In this study we present a scheme called two-dimensional BubbleUp (2DB) for managing parallel disks in a multimedia server. Its goal is to reduce initial latency for interactive m...
Edward Y. Chang, Hector Garcia-Molina, Chen Li
178
Voted
DATE
1997
IEEE
75views Hardware» more  DATE 1997»
15 years 10 months ago
Using constraint logic programming in memory synthesis for general purpose computers
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
Renate Beckmann, Jürgen Herrmann
LICS
1994
IEEE
15 years 10 months ago
Subtyping and Parametricity
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
Gordon D. Plotkin, Martín Abadi, Luca Carde...
« Prev « First page 1220 / 1439 Last » Next »