Fractalide HyperCard on Flow-based Programming Author : Denis Michiels Collaborator : Stewart Mackenzie

Source URL: fractalide.com

Dataflow Constructs for a Language Extension Based on the Algebra of Communicating Processes André van Delft andre dot vandelft at gmail dot com ABSTRACT

Source URL: lampwww.epfl.ch

• Software engineering
• Computing
• Computer programming
• Functional languages
• Concurrent programming languages
• Scripting languages
• Cross-platform software
• Control flow
• Scala
• Futures and promises
• JavaScript
• Event loop

Dynamic Development Support for Highly Concurrent Programs in the Ohua Data Flow Engine Sebastian Ertel Michael J. Beckerle

Source URL: lame2013.dei.uc.pt

• Programming paradigms
• Concurrent programming languages
• Computer architecture
• Parallel computing
• Visual programming languages
• Flow-based programming
• Dataflow
• Transmission Control Protocol
• Actor model
• Concurrent computing
• Algorithm
• Traffic flow

Exception Handling in Coordination-based Mobile Environments Alexei Iliasov University of Newcastle upon Tyne Newcastle upon Tyne, UK

Source URL: rodin.cs.ncl.ac.uk

• Parallel computing
• Concurrent programming languages
• Control flow
• Exception handling
• Tuple space
• Tuple
• Linda
• Multi-agent system

Introducing Circa: A Dataflow-Based Language for Live Coding Andrew Fischer Shutterfly, USA Phoenix, AZ USA

Source URL: liveprogramming.github.io

• Control flow
• Human communication
• Humanmachine interaction
• User interface
• Virtual reality
• Dataflow programming
• Dataflow
• Feedback
• Futures and promises
• Eval
• Algorithm
• TK Solver

A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1

Source URL: amitlevy.com

• Computer programming
• Software engineering
• Computing
• Parallel computing
• Scheduling
• Software design patterns
• Functional programming
• Concurrent computing
• Monad
• Exception handling
• Synchronization
• Futures and promises

Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1

Source URL: lara.epfl.ch

• Control flow
• Constraint programming
• Electronic design automation
• Logic in computer science
• Satisfiability Modulo Theories
• LLVM
• For loop
• C
• Static single assignment form
• Computing
• Software engineering
• Computer programming

Towards Separation of Concerns in Flow-Based Programming Bahram Zarrin Hubert Baumeister FOAL 2015

Source URL: www.eecs.ucf.edu

• Computer programming
• Flow-based programming
• Parallel computing
• Life-cycle assessment
• Honda P series
• Log
• Aspect-oriented software development
• Computing
• Software development
• Programming paradigms

A Library for Removing Cache-based Attacks in Concurrent Information Flow Systems Pablo Buiras1 , Amit Levy2 , Deian Stefan2 , Alejandro Russo1 , and David Mazi`eres2 1

Source URL: www.amitlevy.com

• Adjoint functors
• Functional programming
• Control flow
• Central processing unit
• Concurrency control
• Monad
• Scheduling
• Parallel computing
• Thread
• Computing
• Software engineering
• Computer programming

Towards Reliable Computation of Large-Scale Market-Based Optimal Power Flow

Source URL: www.hicss.hawaii.edu

• Μ operator
• Linear programming
• Applied mathematics
• Mathematical analysis
• Normal distribution
• Operations research
• Mathematics
• Mathematical optimization