Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=496
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Interplay between (im)perfectness, synchrony and connectivity: The case of reliable message transmission
Abhinav Mehta
,
Shashank Agrawal
,
Kannan Srinathan
Theoretical Computer Science
496
, 2013, pp. 2-16
MR4UM: A framework for adding fault tolerance to UML state diagrams
Jingshu Chen
,
Sandeep Kulkarni
Theoretical Computer Science
496
, 2013, pp. 17-33
Byzantine agreement with homonyms in synchronous systems
Carole Delporte-Gallet
,
Hugues Fauconnier
,
Hung Tran-The
Theoretical Computer Science
496
, 2013, pp. 34-49
Facilitating the design of fault tolerance in transaction level SystemC programs
Ali Ebnenasir
,
Reza Hajisheykhi
,
Sandeep S. Kulkarni
Theoretical Computer Science
496
, 2013, pp. 50-68
Solving the at-most-once problem with nearly optimal effectiveness
Sotirios Kentros
,
Aggelos Kiayias
Theoretical Computer Science
496
, 2013, pp. 69-88
The snap-stabilizing message forwarding algorithm on tree topologies
Alain Cournier
,
Swan Dubois
,
Anissa Lamani
,
Franck Petit
,
Vincent Villain
Theoretical Computer Science
496
, 2013, pp. 89-112
Economic models for cloud service markets: Pricing and capacity planning
Ranjan Pal
,
Pan Hui
Theoretical Computer Science
496
, 2013, pp. 113-124
Correctness of concurrent executions of closed nested transactions in transactional memory systems
Sathya Peri
,
K. Vidyasankar
Theoretical Computer Science
496
, 2013, pp. 125-153
Towards a universal construction for transaction-based multiprocess programs
Tyler Crain
,
Damien Imbs
,
Michel Raynal
Theoretical Computer Science
496
, 2013, pp. 154-169
Optimizing Paxos with batching and pipelining
Nuno Santos
,
André Schiper
Theoretical Computer Science
496
, 2013, pp. 170-183
Competitive and deterministic embeddings of virtual networks
Guy Even
,
Moti Medina
,
Gregor Schaffrath
,
Stefan Schmid
Theoretical Computer Science
496
, 2013, pp. 184-194