| Description |
1 online resource (xiv, 572 pages) : illustrations |
| Series |
Lecture notes in computer science, 1611-3349 ; 6543 |
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues |
|
Lecture notes in computer science ; 6543. 0302-9743
|
|
LNCS sublibrary. SL 1, Theoretical computer science and general issues.
|
| Contents |
Machine generated contents note: Integrity and Consistency for Untrusted Services (Extended Abstract) / Christian Cachin -- Structured Codesign Approach to Many-Core Architectures for Embedded Systems / Jurg Gutknecht -- SIMPL Systems, or: Can We Design Cryptographic Hardware without Secret Key Information? / Ulrich Ruhrmair -- Verification of Timed-Arc Petri Nets / Jiri Srba -- Efficient Algorithms for Handling Nondeterministic Automata / Tomas Vojnar -- Straight-Line RAC Drawing Problem Is NP-Hard / Antonios Symvonis -- Tracking the Evolution of Code Clones / Tibor Bakota -- Liquidsoap: A High-Level Programming Language for Multimedia Streaming / Samuel Mimram -- Combining Traditional Map Labeling with Boundary Labeling / Antonios Symvonis -- On Making a Distinguished Vertex Minimum Degree by Vertex Deletion / Johannes Uhlmann -- Randomized OBDDs for the Most Significant Bit of Multiplication Need Exponential Size / Marc Gille -- GreedyMAX-type Algorithms for the Maximum Independent Set Problem / Frank Goring -- Sequential Optimization of Matrix Chain Multiplication Relative to Different Cost Functions / Mikhail Moshkov -- One-Reversal Counter Machines and Multihead Automata: Revisited / Shinnosuke Seki -- Collisionless Gathering of Robots with an Extent / Daniel Wonisch -- Min-Max Coverage in Multi-interface Networks / Alfredo Navarra -- Bandwidth Constrained Multi-interface Networks / Alfredo Navarra -- Privacy-Preserving ID-Based Group Key Agreement Scheme Applied in VPAN / Bart Preneel -- White Space Regions / Mohammad Tavakkoli -- New Results on the Complexity of the Max- and Min-Rep Problems / Robert Ganian -- In-Place Sorting / Jozef Gajdos -- On d-Regular Schematization of Embedded Paths / Ignaz Rutter -- Upward Point-Set Embeddability / Antonios Symvonis -- Cooperative Query Answering by Abstract Interpretation / Agostino Cortesi |
|
Note continued: Improved B+ Tree for Flash File Systems / Ferenc Havasi -- Comparing GPU and CPU in OLAP Cubes Creation / Krzysztof Kaczmarski -- Power Consumption Analysis Technique Using UML-Based Design Models in Embedded Software Development / Jang-Eui Hong -- Advice Complexity and Barely Random Algorithms / Richard Kralovic -- Alternative Parameterizations for Cluster Editing / Johannes Uhlmann -- Complexity of Finding kth Most Probable Explanations in Probabilistic Networks / Linda C. van der Gaag -- Optimal File-Distribution in Heterogeneous and Asymmetric Storage Networks / Alexander Souza -- On the Complexity of the Metric TSP under Stability Considerations / Peter Widmayer -- Structural Properties of Hard Metric TSP Inputs (Extended Abstract) / Tobias Momke -- Automata-Theoretical Characterization of Context-Free Trace Languages / Friedrich Otto -- Unambiguous UML Composite Structures: The OMEGA2 Experience / |
| Summary |
Annotation This book constitutes the refereed proceedings of the 37th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2011, held in Nový, Smokovec, Slovakia in January 2011. The 41 revised full papers, presented together with 5 invited contributions, were carefully reviewed and selected from 122 submissions. SOFSEM 2011 was organized around the following four tracks: foundations of computer science; software, systems, and services; processing large datasets; and cryptography, security, and trust |
| Analysis |
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
gegevensverwerking |
|
data processing |
|
wiskunde |
|
mathematics |
|
computerwetenschappen |
|
computer sciences |
|
software engineering |
|
computernetwerken |
|
computer networks |
|
databasebeheer |
|
database management |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| Notes |
English |
|
Print version record |
| Subject |
Computer science -- Congresses
|
|
Computer science.
|
|
Informatique.
|
|
Computer science
|
| Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
| Form |
Electronic book
|
| Author |
Černá, Ivana.
|
| ISBN |
9783642183812 |
|
3642183816 |
|
