Sciweavers

7047 search results - page 122 / 1410
» Focusing on Binding and Computation
Sort
View
WSC
1997
15 years 7 months ago
Computational Efficiency of Batching Methods
This paper discusses the efficiency of various batching methods for estimating performance parameters from steady-state simulation output, e.g., the steadystate mean. Our primary ...
David Goldsman, Bruce W. Schmeiser
TSMC
2008
113views more  TSMC 2008»
15 years 6 months ago
Computational Methods for Verification of Stochastic Hybrid Systems
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...
Xenofon D. Koutsoukos, Derek Riley
FORMATS
2010
Springer
15 years 4 months ago
Computing Equilibria in Two-Player Timed Games via Turn-Based Finite Games
We study two-player timed games where the objectives of the two players are not opposite. We focus on the standard notion of Nash equilibrium and propose a series of transformation...
Patricia Bouyer, Romain Brenguier, Nicolas Markey
FECS
2009
159views Education» more  FECS 2009»
15 years 4 months ago
Pair-teaching a course on Grid computing from two campuses on NCREN
- Since Fall 2004, we have been co-teaching a class on Grid computing to several NC institutions using the North Carolina Research and Education Network (NCREN). In this paper, we ...
Clayton Ferner, Barry Wilkinson
AAAI
2012
13 years 8 months ago
Computing Game-Theoretic Solutions and Applications to Security
The multiagent systems community has adopted game theory as a framework for the design of systems of multiple self-interested agents. For this to be effective, efficient algorith...
Vincent Conitzer