Salem Derisavi

19 papers A 5Journal 5Unranked 8
YearRankTypeTitle / Venue / Authors
2010 J jnl
Symbolic partition refinement with automatic balancing of time and space.
Perform. Evaluation
Ralf Wimmer, Salem Derisavi, Holger Hermanns
2009 A conf
Compact multi-dimensional kernel extraction for register tiling.
SC
Lakshminarayanan Renganarayanan, Uday Bondhugula, Salem Derisavi, Alexandre E. Eichenberger, Kevin O'Brien
2009 J jnl
Enhanced Modeling and Solution of Layered Queueing Networks.
IEEE Trans. Software Eng.
Greg Franks, Tariq Omari, C. Murray Woodside, Olivia Das, Salem Derisavi
2008 — conf
Symbolic Partition Refinement with Dynamic Balancing of Time and Space.
QEST
Ralf Wimmer, Salem Derisavi, Holger Hermanns
2007 A conf
A Symbolic Algorithm for Optimal Markov Chain Lumping.
TACAS
Salem Derisavi
2007 — conf
Deriving distribution of thread service time in layered queueing networks.
WOSP
Tariq Omari, Salem Derisavi, Greg Franks
2007 — conf
Performance Modeling of a Quorum Pattern in Layered Service Systems.
QEST
Tariq Omari, Salem Derisavi, Greg Franks, C. Murray Woodside
2007 — conf
Signature-based Symbolic Algorithm for Optimal Markov Chain Lumping.
QEST
Salem Derisavi
2005 A conf
Lumping Matrix Diagram Representations of Markov Models.
DSN
Salem Derisavi, Peter Kemper, William H. Sanders
2005 — —
Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Salem Derisavi
2005 — conf
The Mobius Modeling Environment: Recent Extensions - 2005.
QEST
Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders
2004 — conf
The Möbius Modeling Environment: Recent Developments.
QEST
Tod Courtney, David Daly, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, William H. Sanders
2003 A conf
On Integrating the MÖBIUS and MODEST Modeling Tools.
DSN
Henrik C. Bohnenkamp, Tod Courtney, David Daly, Salem Derisavi, Holger Hermanns, Joost-Pieter Katoen, Ric Klaren, Vinh Vi Lam, William H. Sanders
2003 J jnl
Optimal state-space lumping in Markov chains.
Inf. Process. Lett.
Salem Derisavi, Holger Hermanns, William H. Sanders
2003 J jnl
The Möbius state-level abstract functional interface.
Perform. Evaluation
Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
2002 A conf
Overview: An Integrated Framework for Performance Engineering and Resource-Aware Compilation.
IPDPS
William H. Sanders, Constantine D. Polychronopoulos, Thomas S. Huang, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi
2002 J jnl
The Möbius Framework and Its Implementation.
IEEE Trans. Software Eng.
Daniel D. Deavours, Graham Clark, Tod Courtney, David Daly, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster
2002 — conf
The Möbius State-Level Abstract Functional Interface.
Computer Performance Evaluation / TOOLS
Salem Derisavi, Peter Kemper, William H. Sanders, Tod Courtney
2001 — conf
The Möbius Modeling Tool.
PNPM
Graham Clark, Tod Courtney, David Daly, Daniel D. Deavours, Salem Derisavi, Jay M. Doyle, William H. Sanders, Patrick G. Webster