Die Datenschleuder Das wissenschaftliche Fachblatt für Datenreisende Ein Organ des Chaos Computer Club e.V. NETTER PC, DEN NEHMEN WIR!

Source URL: ds.ccc.de

Call for Papers - NSV 2015 8th Workshop on Numerical Software Verification PC Co-Chairs Important Dates Submission Notification

Source URL: nsv2015.informatik.uni-freiburg.de

• Economy
• Computational science
• Numerical analysis
• Computer science
• Validation
• Electromagnetism
• Quantitative analyst
• Business

Building the Billion-Mulmod PC Bo-Yin Yang Institute of Information Science Academia Sinica Taipei, Taiwan

Source URL: www.hyperelliptic.org

• Finite fields
• Integer factorization algorithms
• Lenstra elliptic-curve factorization
• Elliptic curve
• Mathematics

Google’s Ideological Echo Chamber How bias clouds our thinking about diversity and inclusion go/pc-considered-harmful James Damore - damore@ July 2017 Feel free to comment (they aren’t disabled, the doc may just be o

Source URL: assets.documentcloud.org

• Gender
• Human behavior
• Discrimination
• Culture
• Gender studies
• Gender equality
• Chauvinism
• Sexism in the United States
• Cognitive bias
• Unconscious bias training
• Google's Ideological Echo Chamber
• Gender role

Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Software bugs
• Software testing
• Computer network security
• Debuggers
• Common Weakness Enumeration
• Memory debugger
• Memory safety
• Application security
• Frama-C

Rechnen in der Wolke – Flexibilität für eine Welt in Bewegung Alle Welt wird mobil: Längst rufen wir unsere elektronische Post nicht mehr nur am Arbeitsplatz ab, sondern auch am PC zu Hause oder auf dem Handy unterw

Source URL: www.ta-swiss.ch

F e b r uar yGuiding Embedded Designers on Systems and Technologies Engineers’ Guide to PC/104 & Embedded SFF

Source URL: www.eproductalert.com

• Computer architecture
• Instruction set architectures
• Computing
• Acorn Computers
• Microcontrollers
• RISC-V
• Central processing unit
• Reduced instruction set computer
• Embedded system
• ARM architecture
• Arm Holdings

Runtime Detection of Temporal Memory Errors? Kostyantyn Vorobyov, Nikolai Kosmatov, Julien Signoles, and Arvid Jakobsson CEA, LIST, Software Reliability and Security Laboratory, PC 174, 91191 Gif-sur-Yvette France {kosty

Source URL: julien.signoles.free.fr

• Computing
• Software engineering
• Computer programming
• Data types
• C++
• C
• Primitive types
• Software bugs
• Pointer
• Struct
• Memory safety
• C dynamic memory allocation

TACAS-PC-chair-guidelines-16-September-2016

Source URL: tacas.info

• Academic conferences
• Conferences
• Academic publishing
• Abstract management
• European Joint Conferences on Theory and Practice of Software
• Bernhard Steffen
• Knowledge
• Culture
• Human behavior