Search results for "VALUETOOLS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jane Hillston	Quantitative analysis of biochemical signalling pathways.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	biochemical signalling pathways, systems biology, stochastic process algebra
1	Hamidou Tembine, Eitan Altman, Rachid El Azouzi, Yezekael Hayel	Multiple access game in ad-hoc network.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	delayed dynamics, multiple access game, imitation
1	José Niño-Mora	Characterization and computation of restless bandit marginal productivity indices.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	marginal productivity index, restless bandits, Markov decision processes, block algorithms, index policies
1	Oualid Jouini, Yves Dallery	Stationary delays for a two-class priority queue with impatient customers.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	non-preemptive priority, queueing delays, multiserver queues, reneging
1	Arnaud Legrand, Corinne Touati	How to measure efficiency?	VALUETOOLS	2007	DBLP DOI BibTeX RDF	Braess-like paradox, game theory, Nash equilibrium, Pareto optimality, price of anarchy
1	Mirko Eickhoff, Donald C. McNickle, Krzysztof Pawlikowski	Detecting the duration of initial transient in steady state simulation of arbitrary performance measures.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	initial transient, truncation point, discrete event simulation, steady state
1	Peter W. Glynn (eds.)	Proceedings of the 2nd International Conference on Performance Evaluation Methodolgies and Tools, VALUETOOLS 2007, Nantes, France, October 22-27, 2007	VALUETOOLS	2007	DBLP BibTeX RDF
1	Ben Lauwens, Jan Potemans, Bart Scheers, Antoine Van de Capelle	Hybrid simulation of a FIFO queuing system with trace-driven background traffic.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	FIFO queuing system, trace-driven, simulation, large deviations, hybrid simulation
1	Falko Bause, Jan Kriege	Detecting non-ergodic simulation models of logistics networks.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	process chains, simulation, petri nets, logistics, ergodicity
1	Nicolas Letor, Peter De Cleyn, Chris Blondia	Enabling cross layer design: adding the MadWifi extensions to Nsclick.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	MadWifi, Nsclick, click modular router, simulation, IEEE 802.11, cross layer design, NS-2
1	Masato Uchida	Information theoretic aspects of fairness criteria in network resource allocation problems.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	resource allocation, fairness, information theory
1	Kai Lampka, S. Harwarth, Markus Siegle	Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Enrique Hernández-Orallo, Joan Vila i Carbó	A histogram-based stochastic process for finite buffer occupancy analysis.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	traffic modeling, stochastic analysis, network QoS
1	Mirko Eickhoff, Donald C. McNickle, Krzysztof Pawlikowski	Using parallel replications for sequential estimation of multiple steady state quantiles.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	sequential estimation, discrete-event simulation, steady state, quantiles
1	Henrik Schiøler, Hans-Peter Schwefel, Martin B. Hansen	CyNC: a MATLAB/SimuLink toolbox for network calculus.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	modelling, real time systems, performance analysis, tools, network calculus
1	Ilan Lobel, Daron Acemoglu, Munther A. Dahleh, Asuman E. Ozdaglar	Preliminary results on social learning with partial observations.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Joke Lambert, Benny Van Houdt, Chris Blondia	A policy iteration algorithm for Markov decision processes skip-free in one direction.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	fibre delay lines, policy iteration algorithm, skip-free in one direction, Markov decision process, matrix analytic methods, loss rate, optical buffer
1	Jean-Michel Fourneau, Brigitte Plateau, William J. Stewart 0001	Product form for stochastic automata networks.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	product form steady-state distribution, continuous time Markov chain, stochastic automata networks
1	Samson Lasaulce, Alberto Suárez 0002, Raul L. de Lacerda Neto, Mérouane Debbah	Cross-system resource allocation based on random matrix theory.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	cross system optimization, iterative water-filling, information theory, heterogeneous networks, power allocation, multiple access channel, random matrix theory
1	Virginia Escuder, Raúl Durán, Rafael Rico	Quantifying ILP by means of graph theory.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	graph theory, instruction level parallelism
1	Issam Mabrouki, Xavier Lagrange, Gwillerm Froc	Random walk based routing protocol for wireless sensor networks.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	sensor networks, routing, random walk, data gathering
1	Jean-Michel Fourneau, Imène Kadi, Nihal Pekergin, Jérôme Vienne, Jean-Marc Vincent	Perfect simulation and monotone stochastic bounds.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	coupling from the past, monotone Markov chains, stochastic bounds, perfect simulation
1	Abhijit Datta Banik, Umesh Chandra Gupta, Mohan L. Chaudhry	Finite-buffer bulk service queue under Markovian service process.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	Markovian service process, general bulk service rule, general independent arrival, queue, finite-buffer
1	Albert F. Harris III, Michele Zorzi	Modeling the underwater acoustic channel in ns2.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Susanna W. M. Au-Yeung, Peter G. Harrison, William J. Knottenbelt	Approximate queueing network analysis of patient treatment times.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	analytical models and approximation methods, queueing theory
1	Kai Chen 0012, Purui Su, Yingjun Zhang, Dengguo Feng	SEPCOM: customizable zero copy model.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	SEPCOM, package management, system architecture, zero copy, fast ethernet
1	José Niño-Mora	Computing an index policy for bandits with switching penalties.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	bandits, restless, switching delays, Markov decision processes, switching costs, index policies
1	Samson Lasaulce, Alberto Suárez 0002, Mérouane Debbah, Laura Cottatellucci	Power allocation game for fading MIMO multiple access channels with antenna correlation.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	antenna correlation, power allocation game, game theory, information theory, Nash equilibrium, MIMO systems, multiple access channel, random matrix theory
1	Michael Bloem, Tansu Alpcan, Tamer Basar	A stackelberg game for power control and channel allocation in cognitive radio networks.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Beatriz Soret, M. Carmen Aguayo-Torres, José T. Entrambasaguas	Maximum delay-constrained source rate over a wireless channel.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	quality of service, delay, wireless systems, effective bandwidth
1	Xu Ning, Christos G. Cassandras	Optimal cluster-head deployment in wireless sensor networks with redundant link requirements.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	clustering, wireless sensor network, facility location
1	Marcell Perényi, Sándor Molnár	Enhanced Skype traffic identification.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	analysis, Skype, traffic identification
1	Simone Sbaraglia, Hui-Fang Wen, Seetharami R. Seelam, I-Hsin Chung, Guojing Cong, Kattamuri Ekanadham, David J. Klepacki	A productivity centered application performance tuning framework.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	performance tuning, performance tool
1	Fernando Beltrán, Matthias Roggendorf	Multiple equilibria in symmetric strategies for simultaneous auctions in next-generation bandwidth markets.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Gerhard Haßlinger, Sebastian Kempken	Efficiency of random walks for search in different network structures.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	coverage of search, random walks, transient analysis
1	Hongxia Shen, Tamer Basar	Pricing under information asymmetry for a large population of users.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	active pricing, nonlinear pricing, incentives, incomplete information, information asymmetry
1	Ralph El Khoury, Rachid El Azouzi	Dynamic retransmission limit scheme for routing in multi-hop ad hoc networks.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	performance evaluation, routing, ad-hoc networks, cross layer
1	Hind Castel-Taleb, Lynda Mokdad, Nihal Pekergin	Aggregated bounding Markov processes applied to the analysis of tandem queues.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	loss probability bounds, tandem queueing networks, Markov processes, stochastic comparisons
1	Konstantin Avrachenkov, Danil Nemirovsky, Kim Son Pham	A survey on distributed approaches to graph based reputation measures.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Quanyan Zhu, Lacra Pavel	End-to-end link power control in optical networks using Nash bargaining solution.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	Nash bargaining solution, centralized optimization, game theory, optical networks, power control
1	Andrea Bacioccola, Claudio Cicconetti, Giovanni Stea	User-level performance evaluation of VoIP using ns-2.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	simulation, QoS, VoIP, ns-2, MOS, e-model
1	Luciano Lenzini, Enzo Mingozzi, Giovanni Stea	End-to-end delay bounds in FIFO-multiplexing tandems.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	FIFO-multiplexing, network calculus, delay bound
1	Bruno Tuffin, Pawan K. Choudhary, Christophe Hirel, Kishor S. Trivedi	Simulation versus analytic-numeric methods: illustrative examples.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	analytic-numeric methods, simulation, performance evaluation
1	Eitan Altman, Saswati Sarkar, Eilon Solan	Constrained Markov games with transition probabilities controlled by a single player.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Ralf R. Müller, Dongning Guo, Aris L. Moustakas	Vector precoding in wireless communications: a replica symmetric analysis.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	wireless communications, statistical mechanics
1	Tiina Heikkinen, Ari Hottinen	Distributed subchannel assignment in a multiuser MIMO relay.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	resource allocation, MIMO, beamforming, relay network, noncooperative game theory
1	Francesco Moscato 0001, Francesco Flammini, Giusy Di Lorenzo, Valeria Vittorini, Stefano Marrone 0001, Mauro Iacono	The software architecture of the OsMoSys multisolution framework.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	multiformalism, multisolution, system modeling, orchestration
1	Simonetta Balsamo, Andrea Marin	Representing LCFSPR BCMP service center with Coxian service time by GSPN.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	BCMP theorem, Coxian distribution, LCFSPR scheduling discipline, multi-class system, GSPN
1	Ari Hottinen, Tiina Heikkinen	Distributed subchannel assignment in an OFDMA relay.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	resource allocation, OFDM, relay network, noncooperative game theory
1	Jean-Michel Fourneau	Discrete time stochastic automata networks: using structural properties and stochastic bounds to simplify the SAN.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	stochastic bounds, aggregation, discrete time Markov chain, stochastic automata networks
1	Isabel Dietrich, Falko Dressler, Volker Schmitt, Reinhard German	SYNTONY: network protocol simulation based on standard-conform UML 2 models.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Anne Bouillard, Bruno Gaujal, Sebastien Lagrange, Eric Thierry	Optimal routing for end-to-end guarantees: the price of multiplexing.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	(min, +) algebra, shortest path, multiplexing, network calculus
1	Hiroyuki Okamura, Yuya Kamahara, Tadashi Dohi	Estimating Markov-modulated compound Poisson processes.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	Markov-modulated compound Poisson process, compound Markovian arrival process, EM algorithm, maximum likelihood estimation, uniformization
1	Jorge Hortelano, Marga Nácher, Juan-Carlos Cano, Carlos Miguel Tavares Calafate, Pietro Manzoni	Evaluating the goodness of MANETs performance results obtained with the ns-2 simulator.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	simulation, ad hoc networks, validation
1	Eitan Altman, Richard Marquez, Rachid El Azouzi, David Ros, Bruno Tuffin	Stackelberg approach for pricing differentiated services.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	RED/AQM, Stackelberg equilibrium, TCP, pricing, buffer management
1	Panayotis Mertikopoulos, Aris L. Moustakas	The simplex game: can selfish users learn to operate efficiently in wireless networks?	VALUETOOLS	2007	DBLP DOI BibTeX RDF	Nash equilibria, evolutionary games, statistical physics, minority game
1	Eitan Altman, Tijani Chahed, Salah-Eddine Elayoubi	Joint uplink and downlink capacity considerations in admission control in multiservice CDMA/HSDPA systems.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	HSDPA/HDR, joint uplink and downlink, TCP, capacity
1	Jean-Marc Kelif, Eitan Altman	Cellular network with continuum priority set.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	scheduling, priority, HSDPA, continuum
1	Rachid El Azouzi, Tania Jiménez, Essaid Sabir, S. Benarfa, El-Houssine Bouyakhf	Cooperative and non-cooperative control for slotted aloha with random power level selections algorithms.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Nicola Baldo, Federico Maguolo, Marco Miozzo, Michele Rossi, Michele Zorzi	ns2-MIRACLE: a modular framework for multi-technology and cross-layer support in network simulator 2.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	dynamic libraries, multi-technology, heterogeneous networks, cross-layer, ambient networks
1	Vladimir Marbukh, Stephan Klink	Decentralized control of large-scale networks as a game with local interactions: cross-layer TCP/IP optimization.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	routing stability, optimization, game theory, TCP/IP, learning algorithms, distributed protocols, OSPF, randomized routing
1	Vladimir Marbukh	Utility maximization for resolving throughput/reliability trade-offs in an unreliable network with multipath routing.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	elastic user, intelligent plane, reliability trade-offs, distributed system, resource allocation, throughput, pricing, multipath routing
1	Lingbo Pei, Ming Chen 0003, Jun Zhou	A binomial measure method for traffic modeling.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	multifractal binomial measure method, nonstationary Poisson characteristic, self-similarity
1	Juha Leino 0002	Approximating optimal load balancing policy in discriminatory processor sharing systems.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	discriminatory processor sharing, load balancing, approximation, Markov decision processes, queue length
1	David Raz, Hanoch Levy, Benjamin Avi-Itzhak	The twin measure for queueing system predictability.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	LCFS, LJF, LRPT, SJF, queue disciplines, twin measure, predictability, job scheduling, processor sharing, round robin, SRPT, FCFS, LAS, PS
1	Kayo Fujiwara, Henri Casanova	Speed and accuracy of network simulation in the SimGrid framework.	VALUETOOLS	2007	DBLP DOI BibTeX RDF
1	Ana Busic, Tadeusz Czachórski, Jean-Michel Fourneau, Krzysztof Grochla	Level crossing ordering of Markov chains: computing end to end delays in an all optical network.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	level crossing comparison of Markov chains, end to end delay, deflection routing, stochastic ordering
1	Thomas Bonald	Insensitive queueing models for communication networks.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	partial reversibility, communication networks, insensitivity
1	Ahmad Al Hanbali, Philippe Nain, Eitan Altman	Performance of ad hoc networks with two-hop relay routing and limited packet lifetime.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	limited packet lifetime, two-hop relay protocol, mobile ad hoc network, performance analysis, delay tolerant network, mobility model
1	Pascal Lieshout, Sem C. Borst, Michel Mandjes	Heavy-traffic approximations for linear networks operating under alpha-fair bandwidth-sharing policies.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	alpha-fair sharing, flow-level performance, simultaneous resource possession, heavy traffic, linear network
1	Jose H. Blanchet, Jingchen Liu, Peter W. Glynn	State-dependent importance sampling and large deviations.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	Random Walks, Importance sampling, Large Deviations, Rare-event Simulation
1	Luciano Lenzini, Enzo Mingozzi, Giovanni Stea	Bandwidth and latency analysis of modified deficit round robin scheduling algorithms.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	performance evaluation, latency, deficit round robin
1	Anne Bouillard, Bruno Gaujal	Backward coupling in petri nets.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	(max, plus) algebra, petri nets, perfect simulation
1	Juha Leino 0002, Jorma T. Virtamo	An approximative method for calculating performance measures of Markov processes.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	performance evaluation, approximation, Markov processes
1	Konstantin Avrachenkov, Danil Nemirovsky, Natalia Osipova	Web graph analyzer tool.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	World Wide Web (WWW), graph theory, software tool, connectivity, PageRank, web graph, crawler
1	Jan Trowitzsch, Armin Zimmermann	Using UML state machines and petri nets for the quantitative investigation of ETCS.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	UML state machines, model transformation, stochastic petri nets, ETCS
1	Lynda Mokdad, Mbaye Sene	Performance measures of a call admission control in mobile networks using SWN.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
1	Peter Buchholz 0001, Dennis Müller 0003, Peter Kemper, Axel Thümmler	OPEDo: a tool framework for modeling and optimization of stochastic models.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
1	Yi Xie, Rocky K. C. Chang	Stability-constrained optimization for energy efficiency in polling-based wireless networks.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
1	Pierre L'Ecuyer, Bruno Tuffin	Splitting with weight windows to control the likelihood ratio in importance sampling.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
1	Thu-Ha Dao-Thi, Jean Mairesse	Zero-automatic networks.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	Kelly network, queueing theory, product form, Jackson network, quasi-reversibility
1	Luciano Lenzini, Linda Martorini, Enzo Mingozzi, Giovanni Stea	A novel approach to scalable CAC for real-time traffic in sink-tree networks with aggregate scheduling.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	aggregate scheduling, admission control, network calculus
1	Matthieu Jonckheere, Sem C. Borst	Stability of multi-class queueing systems with state-dependent service rates.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	state-dependent service rates, stability, stochastic comparisons
1	Lisa Wells	Performance analysis using CPN tools.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	coloured petri nets
1	Bruno Casella, Gareth O. Roberts	Monte Carlo simulation of killed diffusions with a single barrier.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	Brownian bridge, crossing probability, exact algorithm, Monte Carlo algorithms, Rao-Blackwellization
1	Edmundo de Souza e Silva, Ana Paula Couto da Silva, Antônio Augusto de Aragão Rocha, Rosa M. M. Leão, Flávio P. Duarte, Fernando J. S. Filho, Guilherme D. G. Jaime, Richard R. Muntz	Modeling, analysis, measurement and experimentation with the Tangram-II integrated environment.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	simulation, analytical modeling, performance tool
1	Shao Liu, Tamer Basar, R. Srikant 0001	TCP-Illinois: a loss and delay-based congestion control algorithm for high-speed networks.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	NewReno, stability, congestion control, TCP, fairness, throughput, packet loss, AIMD, SACK, queueing delay, Reno
1	Jose H. Blanchet, Peter W. Glynn	Strongly efficient estimators for light-tailed sums.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	Dramer's theorem, Markov chains, importance sampling, large deviations, Lyapunov functions, rare-event simulation
1	Stijn De Vuyst, Sabine Wittevrongel, Herwig Bruneel	Parametric delay differentiation between packet flows using multiple reserved spaces.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
1	Sum Lam, Rocky K. C. Chang, Yi Xie	Relative stability analysis of multiple queues.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	ALOHA system, absolute stability, degree of stability, rate-stability multiqueue systems, relative stability, polling models
1	Melike Baykal-Gursoy, Zhe Duan	M/M/C queues with Markov modulated service processes.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
1	Jie Tao 0001, Wolfgang Karl	Detailed cache simulation for detecting bottleneck, miss reason and optimization potentialities.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	code optimization, performance visualization, cache simulation
1	You-Wei Wen, Wai-Ki Ching, Michael K. Ng 0001	Fast solvers for queueing systems with negative customers.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	Gohberg-Semencul formula, negative customer, queueing systems, preconditioners, preconditioned conjugate gradient method
1	Oualid Jouini, Yves Dallery	Predicting queueing delays for multiclass call centers.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	predicting delays, telephone call centers, stochastic models, transient analysis
1	Mauro Andreolini, Sara Casolari	Load prediction models in web-based systems.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
1	József Bíró	Loss ratio approximations in buffered systems with regulated inputs.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
1	Arzad Alam Kherani	Sojourn times in (discrete) time shared systems and their continuous time limits.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
1	Moez Draief, Ayalvadi J. Ganesh, Laurent Massoulié	Thresholds for virus spread on networks.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	SIR epidemic, largest connected component, random graphs, spectral radius
1	Toshiyuki Miyachi, Ken-ichi Chinen, Yoichi Shinoda	StarBED and SpringOS: large-scale general purpose network testbed and supporting software.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	supporting software for experiments, network testbed
1	Kai Lampka, Markus Siegle	Analysis of Markov reward models using zero-suppressed multi-terminal BDDs.	VALUETOOLS	2006	DBLP DOI BibTeX RDF	performance evaluation tool, symbolic data structure, Markov chain, discrete event systems, numerical solution

Publications at "VALUETOOLS"( http://dblp.L3S.de/Venues/VALUETOOLS )