Když dobro, tak od kosti. DARUJ KOSTNÍ DŘEŇ. DÁRCOVSTVÍ KRVETVORNÝCH BUNĚK v otázkách a odpovědích

Source URL: www.kostnidren.cz

Insomnia in the Access or How to Curb Access Network Related Energy Consumption Eduard Goma† , Marco Canini⋆ , Alberto Lopez Toledo† , Nikolaos Laoutaris† , Dejan Kosti´c⋆ , Pablo Rodriguez† , Rade Stanojevi

Source URL: conferences.sigcomm.org

Volkswagen Amarok Fágaður og fullur af orku Volkswagen Amarok sameinar kosti lúxusjeppa og pallbíls og hefur upp á að bjóða mikla notkunarmöguleika fyrir fólk með fjölbreyttan lífsstíl. Loksins er hægt a

Source URL: www.hekla.is

A NICE Way to Test OpenFlow Applications Marco Canini⋆ , Daniele Venzano⋆ , Peter Pereˇs´ıni⋆ , Dejan Kosti´c⋆ , and Jennifer Rexford† ⋆ EPFL

Source URL: perso.uclouvain.be

A NICE Way to Test OpenFlow Applications EPFL Technical Report EPFL-REPORTMarco Canini⋆ , Daniele Venzano⋆ , Peter Pereˇs´ıni⋆ , Dejan Kosti´c⋆ , and Jennifer Rexford† ⋆ EPFL

Source URL: perso.uclouvain.be

ESPRES: Easy Scheduling and Prioritization for SDN † Peter Pereˇs´ıni† Maciej Ku´zniar† Marco Canini∗ Dejan Kosti´c‡ EPFL ∗ Universit´e catholique de Louvain ‡ Institute IMDEA Networks interleaving ru

Source URL: perso.uclouvain.be

Online Testing of Federated and Heterogeneous Distributed Systems Marco Canini, Vojin Jovanovi´c, Daniele Venzano, Dejan Novakovi´c, and Dejan Kosti´c School of Computer and Communication Sciences, EPFL, Switzerland {

Source URL: conferences.sigcomm.org

• Computing
• Internet
• Network architecture
• Border Gateway Protocol
• Computer networking
• Concolic testing
• Router
• Symbolic execution

OF.CPP: Consistent Packet Processing for OpenFlow Peter Perešíni† ∗ , Maciej Ku´zniar† ∗ , Nedeljko Vasi´c† , Marco Canini♯ , and Dejan Kosti´c‡ † † ♯

Source URL: perso.uclouvain.be

• Transaction processing
• Computing
• Data management
• Data
• Concurrency control
• Databases
• OpenFlow
• ACID
• Serializability
• Software-defined networking
• Isolation
• Database transaction

1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri

Source URL: perso.uclouvain.be

• Logic
• Mathematical logic
• Computing
• Formal methods
• Predicate logic
• Finite model theory
• Computer programming
• Invariant
• First-order logic
• Daikon
• FO
• Chord

Automating the Testing of OpenFlow Applications Marco Canini∗ , Dejan Kosti´c∗ , Jennifer Rexford† , Daniele Venzano∗ ∗ EPFL, {marco.canini,dejan.kostic,daniele.venzano}@epfl.ch † Princeton University, jrex@

Source URL: perso.uclouvain.be

• Network architecture
• OpenFlow
• Software-defined networking
• Nox
• Frenetic
• Transmission Control Protocol
• Internet protocol suite
• Open vSwitch
• Communications protocol