OSPERT 2015 Keynote Talk Software Architectures for Advanced Driver Assistance Systems (ADAS) Robert Leibinger Elektrobit Automotive GmbH In recent years, the demand for electronic control units (ECUs) has been rapidly g

Source URL: www.mpi-sws.org

• Engineering
• Safety
• Automotive software
• Computing
• Systems engineering
• Software quality
• Software architecture
• OSEK
• Standards
• AUTOSAR
• Reliability engineering
• Life-critical system

Transactional IPC in Fiasco.OC Can we get the multicore case verified for free? Till Smejkal, Adam Lackorzynski, Benjamin Engel and Marcus Völp Operating Systems Group Technische Universität Dresden, Germany

Source URL: www.mpi-sws.org

• Computing
• Computer architecture
• Concurrency control
• Software
• Transaction processing
• Transactional memory
• Microkernel
• Software transactional memory
• Transactional Synchronization Extensions
• L4 microkernel family
• Rock
• Mach

Understanding and Specifying Social Access Control Lists Mainack Mondal Yabing Liu Bimal Viswanath

Source URL: www.mpi-sws.org

• Software
• Computing
• Digital media
• Social networking services
• Facebook
• Blog hosting services
• Photo sharing
• Social information processing
• Internet privacy
• Privacy
• Google+
• Recommender system

Adaptive Clustered EDF in LITMUSRT Aaron Block, Austin College. Sherman, Texas William Kelley, BAE Systems. Ft. Worth, Texas Austin College

Source URL: www.mpi-sws.org

• Real-time computing
• Computing
• Technology
• Operations research
• Embedded systems
• System software
• Scheduling algorithms
• Scheduling
• Worst-case execution time
• Earliest deadline first scheduling
• Windows Task Scheduler
• Quality of service

Tutoriumsprojekt der STV Biologie und Seminar für MentorInnen der STEOP Biologie LVBarbara Hamilton, Harald Krenn, Birgit Peterson (3 SWS, 5 ECTS ) Anmeldung U:SPACE ab Juni 2016 Wir suchen Studentinnen und Stud

Source URL: molekularebiologie.univie.ac.at

Champaign-Urbana Weather Observations

Source URL: www.sws.uiuc.edu

• Precipitation
• Meteorology

A Case Study on the Success of Altruistic Requests Tim Althoff, Cristian Danescu-Niculescu-Mizil, Dan Jurafsky Stanford University & Max Planck Institute SWS What makes a request successful?

Source URL: timalthoff.com

• Community building
• Surname
• Normative ethics
• Virtual reality
• Interpersonal relationships
• Reciprocity
• War
• Philosophy
• Gratitude
• Online community
• Ethics
• Mitra

2016 Southwest Idaho Department of Lands Wildland Fire Suppression Summary:36:34 PM SWS Protection Total Fires and Acrage

Source URL: www.idahofireinfo.blm.gov

• Occupational safety and health
• Fire suppression
• Wildfire suppression
• Wildfires
• Wildfire
• Lightning
• Risk management
• Systems ecology
• Safety

Microsoft Word - SWS Charges for Events 2013.doc

Source URL: www.sensiblewine.com

• Packaging
• Pallet

Formal Verification for High-Assurance Behavioral Synthesis Sandip Ray1 , Kecheng Hao2 , Yan Chen3 , Fei Xie2 , and Jin Yang4 1 Department of Computer Sciences, University of Texas at Austin, Austin, TX 78712

Source URL: www.mpi-sws.org

• Electronic engineering
• Electronic design automation
• Design
• Formal methods
• Electronics
• Electronic design
• Formal equivalence checking
• Formal verification
• High-level synthesis
• Integrated circuit design
• Register-transfer level
• Invariant