Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I > Scheduling Periodic Tasks in a Hard Real-Time Environment
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I |
Samson Abramsky; Cyril Gavoille; Claude Kirchner; Friedhelm Meyer auf der Heide; Paul Spirakis
Springer Berlin Heidelberg
Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
Scheduling Periodic Tasks in a Hard Real-Time Environment
Authors

Friedrich Eisenbrand; Nicolai Hähnle; Martin Niemeier; Martin Skutella; José Verschae; Andreas Wiese

ARI Id

1664731679410_2981689

Access

Not Available Free

Pages

299-311

DOI

10.1007/978-3-642-14165-2_26

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-642-14165-2_26

Table of Contents of Book
Showing 1 to 20 of 64 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Local Search: Simple, Successful, But Sometimes Sluggish
Burkhard Monien; Dominic Dumrauf; Tobias Tscheuschner
1-17
When Conflicting Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability
Emo Welzl
18-18
Plane Spanners of Maximum Degree Six
Nicolas Bonichon; Cyril Gavoille; Nicolas Hanusse; Ljubomir Perković
19-30
The Positive Semidefinite Grothendieck Problem with Rank Constraint
Jop Briët; Fernando Mário de Oliveira Filho; Frank Vallentin
31-42
Cycle Detection and Correction
Amihood Amir; Estrella Eisenberg; Avivit Levy; Ely Porat; Natalie Shapira
43-54
Decomposition Width of Matroids
Daniel Král’
55-66
The Cooperative Game Theory Foundations of Network Bargaining Games
MohammadHossein Bateni; MohammadTaghi Hajiaghayi; Nicole Immorlica; Hamid Mahini
67-78
On the Existence of Pure Nash Equilibria in Weighted Congestion Games
Tobias Harks; Max Klimm
79-89
On the Limitations of Greedy Mechanism Design for Truthful Combinatorial Auctions
Allan Borodin; Brendan Lucier
90-101
Mean-Payoff Games and Propositional Proofs
Albert Atserias; Elitza Maneva
102-113
Online Network Design with Outliers
Aris Anagnostopoulos; Fabrizio Grandoni; Stefano Leonardi; Piotr Sankowski
114-126
Efficient Completely Non-malleable Public Key Encryption
Benoît Libert; Moti Yung
127-139
Polynomial-Space Approximation of No-Signaling Provers
Tsuyoshi Ito
140-151
From Secrecy to Soundness: Efficient Verification via Secure Computation
Benny Applebaum; Yuval Ishai; Eyal Kushilevitz
152-163
Mergeable Dictionaries
John Iacono; Özgür Özkan
164-175
Faster Algorithms for Semi-matching Problems (Extended Abstract)
Jittat Fakcharoenphol; Bundit Laekhanukit; Danupon Nanongkai
176-187
Clustering with Diversity
Jian Li; Ke Yi; Qin Zhang
188-200
New Data Structures for Subgraph Connectivity
Ran Duan
201-212
Tight Thresholds for Cuckoo Hashing via XORSAT
Martin Dietzfelbinger; Andreas Goerdt; Michael Mitzenmacher; Andrea Montanari; Rasmus Pagh; Michael Rink
213-225
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 64 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings