Sciweavers

956 search results - page 78 / 192
» Slicing Objects Using System Dependence Graphs
Sort
View
CONCUR
1998
Springer
14 years 2 months ago
Algebraic Techniques for Timed Systems
Performance evaluation is a central issue in the design of complex real-time systems. In this work, we propose an extension of socalled "Max-Plus" algebraic techniques to...
Albert Benveniste, Claude Jard, Stephane Gaubert
CORR
2011
Springer
150views Education» more  CORR 2011»
13 years 5 months ago
XMLlab : multimedia publication of simulations applets using XML and Scilab
We present an XML-based simulation authoring environment. The proposed description language allows to describe mathematical objects such as systems of ordinary differential equat...
Stéphane Mottelet, André Pauss
DATE
1997
IEEE
75views Hardware» more  DATE 1997»
14 years 2 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
ISAAC
2005
Springer
153views Algorithms» more  ISAAC 2005»
14 years 3 months ago
Network Game with Attacker and Protector Entities
Consider an information network with harmful procedures called attackers (e.g., viruses); each attacker uses a probability distribution to choose a node of the network to damage. O...
Marios Mavronicolas, Vicky G. Papadopoulou, Anna P...
SIGMOD
2006
ACM
107views Database» more  SIGMOD 2006»
14 years 10 months ago
Relaxed space bounding for moving objects: a case for the buddy tree
Rapid advancements in positioning systems and wireless communications enable accurate tracking of continuously moving objects. This development poses new challenges to database te...
Shuqiao Guo, Zhiyong Huang, H. V. Jagadish, Beng C...