Sciweavers

3171 search results - page 403 / 635
» Application of Reduce Order Modeling to Time Parallelization
Sort
View
ICFEM
2009
Springer
15 years 10 months ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
ICDCS
2005
IEEE
15 years 9 months ago
Controlling Gossip Protocol Infection Pattern Using Adaptive Fanout
We propose and evaluate a model for controlling infection patterns defined over rounds or real time in a gossipbased protocol using adaptive fanout. We model three versions of go...
Satish Verma, Wei Tsang Ooi
132
Voted
ICRA
2010
IEEE
141views Robotics» more  ICRA 2010»
15 years 2 months ago
Improvement of model-mediated teleoperation using a new hybrid environment estimation technique
— In a haptic teleoperation system, the incorporation of knowledge about the remote environment in the controller design can improve stability and performance. Model-mediated tel...
Andreas Achhammer, Carolina Weber, Angelika Peer, ...
156
Voted
ISAAC
2009
Springer
132views Algorithms» more  ISAAC 2009»
15 years 10 months ago
Online Sorted Range Reporting
Abstract. We study the following one-dimensional range reporting problem: On an array A of n elements, support queries that given two indices i ≤ j and an integer k report the k ...
Gerth Stølting Brodal, Rolf Fagerberg, Mark...
FDL
2006
IEEE
15 years 10 months ago
Functional Virtual Prototyping Design Flow and VHDL-AMS
Needs in the worldwide competition push teams to master more and more their design flow in order to minimize risks, costs, time to market, and potential liabilities. The classical...
Yannick Hervé, Patricia Desgreys