> Verlagsreihe
-
Mobile und verteilte Systeme 6 Seminar im WS 2008/09 / Herausgeber: Till Riedel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
SLA translation in multi-layered service oriented architectures: status and challenges Hui Li; Wolfgang Theilmann; Jens Happe
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
On the complexity of scheduling with power control in geometric SINR Markus Völker, Bastian Katz, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Improving and evaluating the scalability of precise system dependence graphs for objectoriented languages Jürgen Graf
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Space-efficient SHARC-routing Edith Brunel, Daniel Delling, Andreas Gemsa, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Does transactional memory keep its promises? results from an empirical study Victor Pankratius; Ali-Reza Adl-Tabatabai; Frank Otto
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Atune-IL an instrumentation language for auto-tuning parallel applications Christoph A. Schaefer; Victor Pankratius; Walter F. Tichy
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Batch dynamic single-source shortest-path algorithms: an experimental study Reinhard Bauer and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Dynamic graph clustering using minimum-cut trees Robert Görke, Tanja Hartmann, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
A generator of dynamic clustered random graphs Christian Staudt and Robert Görke
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Fourteenth International Workshop on Component-Oriented Programming Herausgeber: Ralf Reussner ... Autoren: Colin Atkinson
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Computing large matchings in planar graphs with fixed minimum degree Robert Franke; Ignaz Rutter; Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Software-Industrialisierung Herausgeber: Franz Brosch ... Autoren: Emre Taspolatoglu
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Verification of modifies clauses in dynamic logic with non-rigid functions Christian Engel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Parallel computation of best connections in public transportation networks Daniel Delling; Bastian Katz; Thomas Pajor
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Manhattan-geodesic point-set embeddability and polygonization Bastian Katz; Marcus Krug; Ignaz Rutter; Alexander Wolff
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2009
-
Augmenting the connectivity of planar and geometric graphs Ignaz Rutter; Alexander Wolff
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Dynamic graph drawing in Visone Michael Baur and Thomas Schank
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
The Dialog DSL rapid development of advanced web-based dialogs with stakeholders Patrick Freudenstein and Martin Nussbaumer
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Software Zertifizierung Herausgeber: Thomas Goldschmidt, Henning Groenda, Klaus Krogmann, Michael Kuperberg, Anne Martens, Christoph Rathfelder, Ralf Reussner, Johannes Stammel. Autoren: Jakob Blomer, Fabian Brosig, Andreas Kreidler, Jens Küttel, Achim Kuwertz, Grischa Liebel, Daniel Popovic, Michael Stübs, Alexander M. Turek, Christian Vogel, Thomas Weinstein, Thomas Wurth
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Auction-based traffic management towards effective concurrent usage of road intersections Heiko Schepperle; Klemens Böhm
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Towards comparable network simulations Pengfei Di; Yaser Houri; Kendy Kutzner; Thomas Fuhrmann
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Design of a dynamic simulation system for VR applications Jan Bender
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Parallelizing BZip2 a case study in multicore software engineering Victor Pankratius; Ali Jannesari; Walter F. Tichy
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Software-Industrialisierung Hrsg.: Franz Brosch ... Autoren: Jaouad Bouras
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Impact of shortcuts on speedup techniques Reinhard Bauer, Daniel Delling, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Flow-sensitive, context-sensitive, and object-sensitive information flow control based on program dependance graphs Christian Hammer; Gregor Snelting
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Mobile und verteilte Systeme 4 Ubiquitous computing / Till Riedel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2008
-
Shortest-Path Indices: Establishing a Methodology for Shortest-Path Problems Bauer, Reinhard; Delling, Daniel; Wagner, Dorothea
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Transformationen in der modellgetriebenen Software-Entwicklung Hrsg.: Steffen Becker
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
The dangers of poorly connected peers in structured P2P networks and a solution based on incentives Björn-Oliver Hartmann; Klemens Böhm; Andranik Khachatryan; Stephan Schosser
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Kostenmodell der Kontextkommunikation und Kontextverarbeitung in Ubiquitären Informationsumgebungen Tobias Zimmer
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Verification of Memory Performance Contracts with KeY Christian Engel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
The GrGen.NET User Manual refers to GrGen.NET User Manual, www.grgen.net Jacob Blomer ; Rubino Geiß
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
SensorWebs, databases and mining in networked sensing systems [International Workshop on SensorWebs, Databases and Mining in Networked Sensing Systems (SWDMNSS), Workshop at the 4th International Conference on Networked Sensing Systems (INSS 2007), Braunschweig, Germany, June 6, 2007] Hrsg.: Yoh Shiraishi
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
A survey on fault tolerance in wireless sensor networks Luciana Moreira Sá de Souza, Harald Vogt, Micheal Beigl
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
The Palladio component model Ralf Reussner, Steffen Becker, Jens Happe, Heiko Koziolek, Klaus Krogmann, Michael Kuperberg
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
GI/ITG KuVS Fachgespräch Systemsoftware und Energiebewusste Systeme 11. Oktober 2007, Universität Karlsruhe (TH) Hrsg.: Frank Bellosa
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
GI/ITG Fachgruppentreffen Betriebssysteme 12. Oktober 2007, Universität Karlsruhe (TH) Hrsg.: Frank Bellosa
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
How dark should a component black-box be? Proceedings of the 12th International Workshop on Component Oriented Programming (WCOP 2007), July, 31st, 2007, Berlin, Germany Hrsg.: Ralf Reussner, Clemens Szyperski, Wolfgang Weck
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Software-Komponentenmodelle Seminar im Wintersemester 2006/2007 Hrsg.: Steffen Becker
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Competition and cooperation in heterogeneous structured P2P systems - are they mutually exclusive? Stephan Schosser, Klemens Böhm und Bodo Vogt
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Computing large matchings fast Ignaz Rutter; Alexander Wolff
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Mobile und verteilte Systeme 5 Ubiquitous computing / Till Riedel
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Comparing clusterings an overview Silke Wagner; Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Model checking for energy efficient scheduling in wireless sensor networks Peter H. Schmitt; Frank Werner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Verifying the Mondex Case Study - The KeY Approach Isabel Tonin
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Software-Entwicklung mit Eclipse Proseminar im Wintersemester 2006/2007 Hrsg.: Steffen Becker
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
On improvements of the Varró Benchmark for graph transformation tools Rubino Geiß; Moritz Kroll
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2007
-
Maximum rigid components as means for direction-based localization in sensor networks Bastian Katz; Marco Gaertler; Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006
-
An Optimization Technique for Subgraph Matching Strategies Gernot Veit Batz
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006
-
WAM-XML: Maschinenlesbare Architekturbeschreibungen im Web Johannes Meinecke; Frederic Majer; Martin Gaedke
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006
-
How to Evaluate Clustering Techniques? Daniel Delling
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006
-
Einsatz Domänen-spezifischer Sprachen für Komponenten-basierte Web Anwendungen Martin Nussbaumer; Patrick Freudenstein; Martin Gaedke
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006
-
On modularity - NP-completeness and beyond Brandes, Ulrik; Delling, Daniel; Gaertler, Marco; Görke, Robert; Hoefer, Martin; Nikolski, Zoran; Wagner, Dorothea
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006
-
Pre-virtualization soft Layering for virtual machines Joshua LeVasseur
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006
-
Experiments on comparing graph clusterings Daniel Delling, Marco Gaertler, Robert Görke, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, [2006]
-
Cumulative Noise and 5.9 GHz DSRC Extensions for ns-2.28 Felix Schmidt-Eisenlohr; Marc Torrent-Moreno; Tessa Tielert; Jens Mittag; Hannes Hartenstein
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006
-
Mobile und verteilte Systeme 3 Ubiquitous computing / Tobias Zimmer ... (Hrsg.)
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, 2006
-
Halfmoon a new paradigm for complex network visualization Ignacio Alvarez-Hamelin, Marco Gaertler, Robert Görke, and Dorothea Wagner
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, [2005]
-
Configurations with few crossings in topological graphs Christian Knauer, Etienne Schramm, Andreas Spillner, Alexander Wolff
Karlsruhe: Universität Karlsruhe, Fakultät für Informatik, [September 2005]