default search action
MEMICS 2011: Lednice, Czech Republic
- Zdenek Kotásek, Jan Bouda, Ivana Cerná, Lukás Sekanina, Tomás Vojnar, David Antos:
Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7119, Springer 2012, ISBN 978-3-642-25928-9 - Ananda Basu, Saddek Bensalem, Marius Bozga, Paraskevas Bourgos, Joseph Sifakis:
Rigorous System Design: The BIP Approach. 1-19 - Peter J. Bentley:
Natural Born Computing. 20-36 - Krishnendu Chatterjee, Laurent Doyen:
Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. 37-46 - Görschwin Fey:
Assessing System Vulnerability Using Formal Verification Techniques. 47-56 - Renato Renner:
Information Security in a Quantum World. 57-62 - Vlastimil Babka, Petr Tuma:
Computer Memory: Why We Should Care What Is under the Hood. 63-75 - Kaspars Balodis, Ilja Kucevalovs, Rusins Freivalds:
Frequency Prediction of Functions. 76-83 - Jiri Barnat, Ivana Cerná, Jana Tumova:
Timed Automata Approach to Verification of Systems with Degradation. 84-93 - Roland Cmorik, Galina Jirásková:
Basic Operations on Binary Suffix-Free Languages. 94-102 - Dalibor Klusácek, Hana Rudová:
Efficient Data Representation of Large Job Schedules. 103-113 - Monika Krausová:
Prefix-Free Regular Languages: Closure Properties, Difference, and Left Quotient. 114-122 - Bohuslav Krena, Zdenek Letko, Tomás Vojnar:
Noise Injection Heuristics for Concurrency Testing. 123-135 - Jiri Matela, Martin Srom, Petr Holub:
Low GPU Occupancy Approach to Fast Arithmetic Coding in JPEG2000. 136-145 - Jakub Mazgut, Martina Paulinyová, Peter Tiño:
Using Dimensionality Reduction Method for Binary Data to Questionnaire Analysis. 146-154 - Petr Hlinený, Ondrej Moris:
Generalized Maneuvers in Route Planning. 155-166 - Jan Obdrzálek, Jiri Slaby, Marek Trtík:
STANSE: Bug-Finding Framework for C Programs. 167-178 - Christos Sakellariou, Peter J. Bentley:
Introducing the FPGA-Based Hardware Architecture of Systemic Computation (HAoS). 179-190 - Steven van der Vegt, Alfons Laarman:
A Parallel Compact Hash Table. 191-204 - Roman Zilka, Vashek Matyás, Libor Kyncl:
Four Authorization Protocols for an Electronic Payment System. 205-214
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.