Sciweavers

2785 search results - page 461 / 557
» Simulating Fluid-Solid Interaction
Sort
View
SIGSOFT
1998
ACM
15 years 6 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 6 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
DATE
1997
IEEE
75views Hardware» more  DATE 1997»
15 years 6 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 5 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...
CEC
2007
IEEE
15 years 5 months ago
Emergence of feedback in artificial gene regulatory networks
In this paper, we present a model for simulating the evolution of development together with a method for the analysis of emergence of negative feedback inside the regulatory networ...
Till Steiner, Lisa Schramm, Yaochu Jin, Bernhard S...