Recherche

Afficher tous les résultats pour

Accueil

Personne

Dejan Kostic

Cette personne n’est plus à l’EPFL

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (48)

Automating the Testing of OpenFlow Applications

Jennifer Rexford, Dejan Kostic, Marco Canini

Software-defined networking, and the emergence of OpenFlow-capable switches, enables a wide range of new network functionality. However, enhanced programmability inevitably leads to more software faults (or bugs). We believe that tools for testing OpenFlow ...

2011

Sahara: Guiding the Debugging of Failed Software Upgrades

Olivier Crameri, Willy Zwaenepoel, Ricardo Bianchini, Dejan Kostic

2011

Online Testing of Federated and Heterogeneous Distributed Systems

Dejan Kostic, Dejan Novakovic, Marco Canini, Vojin Jovanovic

DiCE is a system for online testing of federated and heterogeneous distributed systems. We have built a prototype of DiCE and integrated it with a BGP router. DiCE quickly detects three important classes of faults, resulting from configuration mistakes, po ...

2011

Insomnia in the Access (or How to Curb Access Network Related Energy Consumption)

Dejan Kostic, Marco Canini, Alberto López

Access networks include modems, home gateways, and DSL Access Multiplexers (DSLAMs), and are responsible for 70-80% of total network-based energy consumption. In this paper, we take an in-depth look at the problem of greening access networks, identify root ...

2011

Identifying and Using Energy-Critical Paths

Dejan Kostic, Nedeljko Vasic, Dejan Novakovic, Marco Canini

2011

Toward Online Testing of Federated and Heterogeneous Distributed Systems

Olivier Crameri, Dejan Kostic, Marco Canini, Vojin Jovanovic, Boris Spasojevic

2011

Finding Almost-Invariants in Distributed Systems

Dejan Kostic, Maysam Yabandeh, Marco Canini

It is notoriously hard to develop dependable distributed systems. This is partly due to the difficulties in foreseeing various corner cases and failure scenarios while implementing a system that will be deployed over an asynchronous network. In contrast, r ...

2011

Online Testing of Federated and Heterogeneous Distributed Systems

Dejan Kostic, Dejan Novakovic, Marco Canini, Vojin Jovanovic

DiCE is a system for online testing of federated and heterogeneous distributed systems. We have built a prototype of DiCE and integrated it with an open-source BGP router. DiCE quickly detects three important classes of faults, resulting from configuration ...

Association for Computing Machinery2011

Bandwidth Adaptation in Streaming Overlays

Dejan Kostic, Simon Schubert, Nedeljko Vasic

A major challenge for real-time streaming overlays is to distribute high bit-rate streams with uninterrupted playback. Hosts usually have sufficient inbound bandwidth to support streaming, but due to the prevalence of asymmetric links in broadband networks ...

2010

Energy-Aware Traffic Engineering

Dejan Kostic, Nedeljko Vasic

Energy consumption of the Internet is already substantial and it is likely to increase as operators deploy faster equipment to handle popular bandwidth-intensive services, such as streaming and video-on-demand. Existing work on energy saving considers loca ...

2010

Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Dejan Kostic, Nikola Knezevic, Viktor Kuncak, Maysam Yabandeh

We propose a new approach for developing and deploying distributed systems, in which nodes predict distributed consequences of their actions, and use this information to detect and avoid errors. Each node continuously runs a state exploration algorithm on ...

Association for Computing Machinery2010

Fault Prediction in Distributed Systems Gone Wild

Dejan Kostic, Dejan Novakovic, Marco Canini, Vojin Jovanovic

2010

CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems

Dejan Kostic, Nikola Knezevic, Viktor Kuncak, Maysam Yabandeh

2009

Making Cluster Applications Energy-Aware

Vincent Salzgeber, Dejan Kostic, Nedeljko Vasic, Martin Barisits

Power consumption has become a critical issue in large scale clusters. Existing solutions for addressing the servers' energy consumption suggest ``shrinking'' the set of active machines, at least until the more power-proport-ional hardware devices become a ...

2009

Simplifying Distributed System Development

Dejan Kostic, Viktor Kuncak, Maysam Yabandeh, Nedeljko Vasic

Distributed systems are difficult to design and develop. The difficulties arise both in basic safety correctness properties, and in achieving high performance. As a result of this complexity, the implementation of a distributed system often contains the ba ...

2009

Simplifying Distributed System Development

Dejan Kostic, Viktor Kuncak, Maysam Yabandeh, Nedeljko Vasic

2009

Towards a Cost-Effective Networking Testbed

Dejan Kostic, Nikola Knezevic, Simon Schubert

2009

Opis: Reliable Distributed Systems in OCaml

Dejan Kostic, Viktor Kuncak, Pierre-Evariste Dagand

Concurrency and distribution pose algorithmic and implementation challenges in developing reliable distributed systems, making the field an excellent testbed for evaluating programming language and verification paradigms. Several specialized domain-specifi ...

2009

Handling Very Large Numbers of Messages in Distributed Hash Tables

Jean-Yves Le Boudec, Karl Aberer, Fabius Klemm, Dejan Kostic

2009

One Bit Is Enough: a Framework for Deploying Explicit Feedback Congestion Control Protocols

Dejan Kostic, Nedeljko Vasic

Since the bandwidth-delay products of Internet links keep increasing, issues with TCP's convergence time, throughput, and amount of queuing in these environments are becoming more pressing. As we move toward the next-generation Internet, it is important to ...

2009

Page 2 sur 3