Jeffrey Boase PERSONAL NETWORKS AND THE PERSONAL COMMUNICATION SYSTEM Using multiple media to connect1 In contrast to technologically deterministic approaches that focus on how

Source URL: individual.utoronto.ca

• Human behavior
• Community building
• Social networks
• Sociology
• Metaphysics
• Social information processing
• Communication
• Cultural economics
• Interpersonal ties
• Social capital
• Personal network
• Social affordance

D2013  PSU  Cycling  WRF-­‐EnKF  Real-­‐time  System     1. ATCF ID APSU:  stream 1.5; Ahw  deterministic  forecast  initialized  by  PSU  wrf-­‐enkf   system  wi

Source URL: hfip.psu.edu

Automatic Exploration of SW Concurrency Bugs through Deterministic Behavior Control Luis Gabriel Murillo, Rainer Leupers MAD Workshop, Munich, Germany

Source URL: www.mad-workshop.de

• Computer programming
• Software
• Debugging
• Embedded system
• Programming tool
• Software bug
• Lock
• Thread
• Debuggers

CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution Tom Bergan Owen Anderson

Source URL: homes.cs.washington.edu

An Intersection Type System for Deterministic Pushdown Automata Takeshi Tsukada1 and Naoki Kobayashi2 1 2

Source URL: www-kb.is.s.u-tokyo.ac.jp

CoreDet: A Compiler and Runtime System for Deterministic Multithreaded Execution Tom Bergan Owen Anderson

Source URL: homes.cs.washington.edu

™ MICROKERNEL PROFILE FOR VXWORKS Powering billions of intelligent devices, VxWorks® is the world’s most widely deployed real-time operating system (RTOS). VxWorks delivers unrivaled deterministic performance and s

Source URL: windriver.com

• Real-time operating systems
• Embedded operating systems
• VxWorks
• Wind River Systems
• Kernel
• Embedded system
• Simics
• Microkernel
• Embedded software
• System software
• Software
• Computing

Deterministic Process Groups in dOS Tom Bergan Nicholas Hunt Luis Ceze

Source URL: homes.cs.washington.edu

• Concurrent computing
• Thread
• Concurrency control
• Determinism
• NL
• Indeterminism
• Monitor
• Deterministic system
• Shim
• Computing
• Computer programming
• Software engineering

Poster: Modeling of APT Attacks through Transforming Attack Scenarios into DEVS Models Jiyeon Kim Hyung-Jong Kim

Source URL: www.ieee-security.org

• Computer science
• Applied mathematics
• Simulation
• Dev
• Advanced persistent threat
• Cyberwarfare
• Computer security
• SP-DEVS
• Finite & Deterministic Discrete Event System Specification
• Automata theory
• DEVS
• Security

The Brain: a deterministic system? Christoph Hartmann FIGSS Seminar A word of caution…

Source URL: figss.uni-frankfurt.de