Modelling interfaces in distributed systems: some first steps. David Pym UCL and Alan Turing London
|
|
- Amie Melinda Hunt
- 5 years ago
- Views:
Transcription
1 Modelling interfaces in distributed systems: some first steps David Pym UCL and Alan Turing London
2 Modelling distributed systems: basic concepts Basic concepts of distributed systems the basic architecture Resource: created, consumed, moved by the processes Process: the services that the system provides Situated in Environment: structure not modelled, just events These may be composed of other models of interest, so need seek to employ minimal viable structure Concerned here with prac)cal modelling, with from security policy
3 Modelling distributed systems: basic set- up Topological structure: e.g., directed graphs Resource Combinatorial structure: e.g., monoids, possibly ordered (cf. the logic BI s resource seman@cs, which gives rise to Separa@on Logic) Process Synchronous structure (for modelling purposes): e.g., SCCS + integra@on with resources Environment Stochas@c representa@on: events are incident upon a model system from outside
4 Modelling distributed systems: basic set- up Basic judgement: L, R, E a! L 0,R 0,E 0 Some rules (omipng loca@ons for brevity): µ(a, R) =R 0 R, a : E a! R 0,E R i,e i R, E a! R 0,E 0 S, F b! S 0,F 0 R S, E F ab! R 0 S 0,E 0 F 0 a! R 0 i,e 0 i R 1 R 2,E 1 + E 2 a! R 0 i,e 0 i i =1, 2 A bunch of laws for µ,, and Resource- process equivalence is bisimula@on, wriren ~ Cf. Concurrent Separa@on Logic
5 A (bunched) modal logic ::= p? > _ ^! hai [a] I hai [a] In a given model, a truth- func@onal judgement: R, E = R, E = 1 ^ 2 i R, E = 1 and R, E = 2 R, E = hai i for some R, E a! R 0,E 0, R 0,E 0 = R, E = 1 2 i for some R 1 R 2 = R and E 1 E 2 E, R 1,E 1 = 1 and R 2,E 2 = 2 R, E = hai i for some S, S 0 s.t. R S, E a! R 0 S 0,E 0, R 0 S 0,E 0 = Other similar things, some choices for the last one
6 Basic meta- theory Logical equivalence: R 1,E 1 R 2,E 2 i for all, R 1,E 1 = i R 2,E 2 = Bisimula@on (opera@onal) equivalence: R 1,E 1 R 2,E 2 Soundness and completeness (Hennessy- Milner- van Bentham equivalence): for all R 1,E 1, R 1,E 1 R 2,E 2 i R 1,E 1 R 2,E 2
7 Basic meta- theory Hennessy- Milner completeness is not as straighvorward as might perhaps be imagined In basic resource based on ordered monoids of resource elements, it holds only for fragments of the modal logic and Need the combinatorial structure of and to track of + and x Several papers (MSCS, TCS, JLC, others): hrp://
8 Building models Classical modelling approach using these tools in! observa-ons! induc-on! models! out!! valida-on! deduc-on! real3world! consequences! interpreta-on! consequences! Early versions deployed with HewleR- Packard and its customers, and more recently in projects in the GCHQ RISCS Currently aiming for policy modelling apps in the Turing lots of big industry partners Several papers at hrp:// julia code at hrps://github.com/tristanc/sysmodels
9 Aside: building models Approach is scale- free level therefore chosen to fit problem explored using Model checking also possible (though much less developed at this point) The map is not the territory (Alfred Korzybski) Time- value of models
10 Example: security modelling
11 Interfaces: basic concepts Mediate of models Build on the structure of distributed systems models, quite In must reflect the involved, the resources involved, and crossing the boundaries Note that models are being for environment
12 Interfaces: sketch of basic set- up Interface) Implement the distributed systems model: graph labelled with resources Explicitly with associated in interfaces Each model comes with a specified set of interfaces, specifying input/output loca@ons, with associated ac@ons Decent basic algebraic proper@es: commuta@ve, associa@ve composi@on of models with compa@ble interfaces
13 Interfaces: sketch of basic set- up Implement models as tuples Here Graph with resource- labelled Sets of processes, and located ac)ons A set of interfaces to hav I 2 I ut verti to support com (In,Out,L) and V, An interface on a model is a tuple of (disjoint) input and output loca@ons and located ac@ons
14 Example: security modelling
15 Interfaces: the frame property Supports reasoning: The Frame Rule (think of Hoare s program logic and CSL): { } (M a! M 0 ) { } { } (M N a! M 0 N) { } N =,wheren 6 Side- condi@on restricts evolu@on to part of model not in the interface Correctness reasoning can then be restricted to the interfaces themselves This gives local reasoning about models in their global context; that is, composi@onality a!
16 Example: security modelling
17 Next steps Refine of interface, useful Some underpinning logical theory The Frame Rule in theory and cf. (Concurrent) Logic s theory and implementa@on of local reasoning: abduc)on important here? Applica@ons to big- scale systems Networking Distributed databases and their consistency Supply chains Deliver tools for reasoning about big- scale systems Small- scale systems: weak memory
18 Thank you
19 Modelling distributed systems: basic set- up Other key combinators Hiding Generalizes (build a term model for resources; par@al monoid of ac@ons) Sequen@al composi@on Fixed points
20 A (bunched) modal logic Other logical operators and (over logical treatment in recent joint work with Galmiche, Courtault, and Kimmel in access control Roles: Corresponding (via says modality:
21 References G. Anderson and D. Pym. A Calculus and Logic of Bunched Resources and Processes. Theore)cal Computer Science 614:63-96, D. Galmiche, J.- R. Courtault, D. Pym. A Logic of Separa@ng Modali@es. Theore)cal Computer Science 637, 30-58, M. Collinson and D. Pym. Algebra and Logic for Resource- based Systems Modelling. Mathema)cal Structures in Computer Science 19: , doi: / S M. Collinson, B. Monahan, D. Pym. A Discipline of Mathema)cal Systems Modelling. College Publica@ons, 2012.
22 More references T. Caulfield and D. Pym. Modelling and Systems Security Policy. Proc. SIMUTools 2015, ACM Digital Library, SIMUtools doi: /eai T. Caulfield and D. Pym. Improving Security Policy Decisions with Models. IEEE Security and Privacy, 13(5), 34-41, September/October The julia package used for system models may be obtained from GitHub: hrps:// github.com/tristanc/sysmodels
Floa.ng Point : Introduc;on to Computer Systems 4 th Lecture, Sep. 10, Instructors: Randal E. Bryant and David R.
Floa.ng Point 15-213: Introduc;on to Computer Systems 4 th Lecture, Sep. 10, 2015 Instructors: Randal E. Bryant and David R. O Hallaron Today: Floa.ng Point Background: Frac;onal binary numbers IEEE floa;ng
More informationFloats are not Reals. BIL 220 Introduc6on to Systems Programming Spring Instructors: Aykut & Erkut Erdem
Floats are not Reals BIL 220 Introduc6on to Systems Programming Spring 2012 Instructors: Aykut & Erkut Erdem Acknowledgement: The course slides are adapted from the slides prepared by R.E. Bryant, D.R.
More informationObject Oriented Design (OOD): The Concept
Object Oriented Design (OOD): The Concept Objec,ves To explain how a so8ware design may be represented as a set of interac;ng objects that manage their own state and opera;ons 1 Topics covered Object Oriented
More informationCISC327 - So*ware Quality Assurance
CISC327 - So*ware Quality Assurance Lecture 12 Black Box Tes?ng CISC327-2003 2017 J.R. Cordy, S. Grant, J.S. Bradbury, J. Dunfield Black Box Tes?ng Outline Last?me we con?nued with black box tes?ng and
More informationRela+onal Algebra. Rela+onal Query Languages. CISC437/637, Lecture #6 Ben Cartere?e
Rela+onal Algebra CISC437/637, Lecture #6 Ben Cartere?e Copyright Ben Cartere?e 1 Rela+onal Query Languages A query language allows manipula+on and retrieval of data from a database The rela+onal model
More informationDesign Principles & Prac4ces
Design Principles & Prac4ces Robert France Robert B. France 1 Understanding complexity Accidental versus Essen4al complexity Essen%al complexity: Complexity that is inherent in the problem or the solu4on
More informationCISC327 - So*ware Quality Assurance
CISC327 - So*ware Quality Assurance Lecture 12 Black Box Tes?ng CISC327-2003 2017 J.R. Cordy, S. Grant, J.S. Bradbury, J. Dunfield Black Box Tes?ng Outline Last?me we con?nued with black box tes?ng and
More informationModel Transforma.on. Krzysztof Czarnecki Genera.ve So:ware Development Lab University of Waterloo, Canada gsd.uwaterloo.ca
Model Transforma.on Krzysztof Czarnecki Genera.ve So:ware Development Lab University of Waterloo, Canada gsd.uwaterloo.ca Modeling Wizards Summer School, Oct. 1, 2010, Oslo, Norway What is model transforma.on?
More informationUPCRC. Illiac. Gigascale System Research Center. Petascale computing. Cloud Computing Testbed (CCT) 2
Illiac UPCRC Petascale computing Gigascale System Research Center Cloud Computing Testbed (CCT) 2 www.parallel.illinois.edu Mul2 Core: All Computers Are Now Parallel We con'nue to have more transistors
More informationAdDroid Privilege Separa,on for Applica,ons and Adver,sers in Android
AdDroid Privilege Separa,on for Applica,ons and Adver,sers in Android Paul Pearce 1, Adrienne Porter Felt 1, Gabriel Nunez 2, David Wagner 1 1 University of California, Berkeley 2 Sandia Na,onal Laboratory
More informationSta$c Analysis Dataflow Analysis
Sta$c Analysis Dataflow Analysis Roadmap Overview. Four Analysis Examples. Analysis Framework Soot. Theore>cal Abstrac>on of Dataflow Analysis. Inter- procedure Analysis. Taint Analysis. Overview Sta>c
More informationLING 581: Advanced Computa7onal Linguis7cs. Lecture Notes April 16th
LING 581: Advanced Computa7onal Linguis7cs Lecture Notes April 16th Administrivia Factoid Ques-on Answering homework did you submit your simula.on? Seman7cs New topic! We want computers to be able to understand
More informationW1005 Intro to CS and Programming in MATLAB. Brief History of Compu?ng. Fall 2014 Instructor: Ilia Vovsha. hip://www.cs.columbia.
W1005 Intro to CS and Programming in MATLAB Brief History of Compu?ng Fall 2014 Instructor: Ilia Vovsha hip://www.cs.columbia.edu/~vovsha/w1005 Computer Philosophy Computer is a (electronic digital) device
More informationDiscrete Processes
FRTN20 Market-Driven Systems Marknadsstyrda System FRTN20 Lecture 2: Discrete Produc@on 1 Discrete Produc@on Processes General Characteris@cs of discrete produc@on processes: Discon@nuous produc@on of
More informationHPCSoC Modeling and Simulation Implications
Department Name (View Master > Edit Slide 1) HPCSoC Modeling and Simulation Implications (Sharing three concerns from an academic research user perspective using free, open tools. Solutions left to the
More informationWhat were his cri+cisms? Classical Methodologies:
1 2 Classifica+on In this scheme there are several methodologies, such as Process- oriented, Blended, Object Oriented, Rapid development, People oriented and Organisa+onal oriented. According to David
More informationREDCap Data Dic+onary
REDCap Data Dic+onary ITHS Biomedical Informa+cs Core iths_redcap_admin@uw.edu Bas de Veer MS Research Consultant REDCap version: 6.2.1 Last updated December 9, 2014 1 Goals & Agenda Goals CraDing your
More informationhashfs Applying Hashing to Op2mize File Systems for Small File Reads
hashfs Applying Hashing to Op2mize File Systems for Small File Reads Paul Lensing, Dirk Meister, André Brinkmann Paderborn Center for Parallel Compu2ng University of Paderborn Mo2va2on and Problem Design
More informationCISC327 - So*ware Quality Assurance
CISC327 - So*ware Quality Assurance Lecture 8 Introduc
More informationCS4670/5670: Computer Vision Kavita Bala. Lecture 3: Filtering and Edge detec2on
CS4670/5670: Computer Vision Kavita Bala Lecture 3: Filtering and Edge detec2on Announcements PA 1 will be out later this week (or early next week) due in 2 weeks to be done in groups of two please form
More informationProofs about Programs
Proofs about Programs Program Verification (Rosen, Sections 5.5) TOPICS Program Correctness Preconditions & Postconditions Program Verification Assignment Statements Conditional Statements Loops Composition
More informationDistributed Systems INF Michael Welzl
Distributed Systems INF 3190 Michael Welzl What is a distributed system (DS)? Many defini8ons [Coulouris & Emmerich] A distributed system consists of hardware and sodware components located in a network
More information(Func&onal (Programming (in (Scheme)))) Jianguo Lu
(Func&onal (Programming (in (Scheme)))) Jianguo Lu 1 Programming paradigms Func&onal No assignment statement No side effect Use recursion Logic OOP AOP 2 What is func&onal programming It is NOT what you
More informationFix- point engine in Z3. Krystof Hoder Nikolaj Bjorner Leonardo de Moura
μz Fix- point engine in Z3 Krystof Hoder Nikolaj Bjorner Leonardo de Moura Mo?va?on Horn EPR applica?ons (Datalog) Points- to analysis Security analysis Deduc?ve data- bases and knowledge bases (Yago)
More informationDesign pa*erns. Based on slides by Glenn D. Blank
Design pa*erns Based on slides by Glenn D. Blank Defini6ons A pa#ern is a recurring solu6on to a standard problem, in a context. Christopher Alexander, a professor of architecture Why would what a prof
More informationRDD and Strategy Pa.ern
RDD and Strategy Pa.ern CSCI 3132 Summer 2011 1 OO So1ware Design The tradi7onal view of objects is that they are data with methods. Smart Data. But, it is be.er to think of them as en##es that have responsibili#es.
More informationMapReduce, Apache Hadoop
NDBI040: Big Data Management and NoSQL Databases hp://www.ksi.mff.cuni.cz/ svoboda/courses/2016-1-ndbi040/ Lecture 2 MapReduce, Apache Hadoop Marn Svoboda svoboda@ksi.mff.cuni.cz 11. 10. 2016 Charles University
More informationFounda'ons of So,ware Engineering. Lecture 11 Intro to QA, Tes2ng Claire Le Goues
Founda'ons of So,ware Engineering Lecture 11 Intro to QA, Tes2ng Claire Le Goues 1 Learning goals Define so;ware analysis. Reason about QA ac2vi2es with respect to coverage and coverage/adequacy criteria,
More informationTowards Provably Secure and Correct Systems. Avik Chaudhuri
Towards Provably Secure and Correct Systems Avik Chaudhuri Systems we rely on Opera
More informationFPGAs as Streaming MIMD Machines for Data Analy9cs. James Thomas, Matei Zaharia, Pat Hanrahan
FPGAs as Streaming MIMD Machines for Data Analy9cs James Thomas, Matei Zaharia, Pat Hanrahan CPU/GPU Control Flow Divergence For peak performance, CPUs and GPUs require groups of threads to have iden9cal
More informationCS 188: Ar)ficial Intelligence
CS 188: Ar)ficial Intelligence Search Instructors: Pieter Abbeel & Anca Dragan University of California, Berkeley [These slides were created by Dan Klein and Pieter Abbeel for CS188 Intro to AI at UC Berkeley
More informationCSE 473: Ar+ficial Intelligence
CSE 473: Ar+ficial Intelligence Search Instructor: Luke Ze=lemoyer University of Washington [These slides were adapted from Dan Klein and Pieter Abbeel for CS188 Intro to AI at UC Berkeley. All CS188 materials
More informationEvalua&ng methods for represen&ng model error using ensemble data assimila&on
Evalua&ng methods for represen&ng model error using ensemble data assimila&on Jeff Whitaker NOAA Earth System Research Lab, Boulder, CO, USA jeffrey.s.whitaker@noaa.gov 1 Evalua&ng model error schemes
More informationInstructor: Amol Deshpande
Instructor: Amol Deshpande amol@cs.umd.edu } Mo7va7on: Why study databases? } Background: 424 Summary } Administrivia Workload etc. } No laptop use allowed in the class!! 1 } There is a *HUGE* amount of
More informationCybersecurity Curricular Guidelines
Cybersecurity Curricular Guidelines Ma2 Bishop, University of California Davis, co-chair Diana Burley The George Washington University, co-chair Sco2 Buck, Intel Corp. Joseph J. Ekstrom, Brigham Young
More informationDatabases = Categories
Databases = Categories David I. Spivak dspivak@math.mit.edu Mathematics Department Massachusetts Institute of Technology Presented on 2010/09/16 David I. Spivak (MIT) Databases = Categories Presented on
More informationCS 101: Computer Programming and Utilization
CS 101: Computer Programming and Utilization Jul-Nov 2017 Umesh Bellur (cs101@cse.iitb.ac.in) Lecture 14: Object Oritented Programming and Classes About These Slides Based on Chapter 18 of the book An
More informationPreliminary ACTL-SLOW Design in the ACS and OPC-UA context. G. Tos? (19/04/2016)
Preliminary ACTL-SLOW Design in the ACS and OPC-UA context G. Tos? (19/04/2016) Summary General Introduc?on to ACS Preliminary ACTL-SLOW proposed design Hardware device integra?on in ACS and ACTL- SLOW
More informationTeach A level Compu/ng: Algorithms and Data Structures
Teach A level Compu/ng: Algorithms and Data Structures Eliot Williams @MrEliotWilliams Course Outline 1 Representa9ons of data structures: Arrays, tuples, Stacks, Queues,Lists 2 Recursive Algorithms (
More informationMapReduce, Apache Hadoop
Czech Technical University in Prague, Faculty of Informaon Technology MIE-PDB: Advanced Database Systems hp://www.ksi.mff.cuni.cz/~svoboda/courses/2016-2-mie-pdb/ Lecture 12 MapReduce, Apache Hadoop Marn
More informationInver&ble Bloom Lookup Tables and Applica&ons. Michael Mitzenmacher Joint work with Michael Goodrich, Rasmus Pagh, George Varghese
Inver&ble Bloom Lookup Tables and Applica&ons Michael Mitzenmacher Joint work with Michael Goodrich, Rasmus Pagh, George Varghese Stragglers Problem Consider data streams that insert and delete many items,
More information10/7/15. MediaItem tostring Method. Objec,ves. Using booleans in if statements. Review. Javadoc Guidelines
Objec,ves Excep,ons Ø Wrap up Files Streams MediaItem tostring Method public String tostring() { String classname = getclass().tostring(); StringBuilder rep = new StringBuilder(classname); return rep.tostring();
More informationAdvanced branch predic.on algorithms. Ryan Gabrys Ilya Kolykhmatov
Advanced branch predic.on algorithms Ryan Gabrys Ilya Kolykhmatov Context Branches are frequent: 15-25 % A branch predictor allows the processor to specula.vely fetch and execute instruc.ons down the predicted
More informationA formal design process, part 2
Principles of So3ware Construc9on: Objects, Design, and Concurrency Designing (sub-) systems A formal design process, part 2 Josh Bloch Charlie Garrod School of Computer Science 1 Administrivia Midterm
More informationSide-channel-leaks in Web Applica2ons: A Reality today, A Challenge Tomorrow. Shuo Chen,Rui Wang, XiaoFeng Wang and Kehuan Zhang
Side-channel-leaks in Web Applica2ons: A Reality today, A Challenge Tomorrow Shuo Chen,Rui Wang, XiaoFeng Wang and Kehuan Zhang Tradi&onal PC applica&on Web applica&on (1) split between client and server
More informationDesign Pa*erns. + Anima/on Undo/Redo Graphics and Hints
Design Pa*erns + Anima/on Undo/Redo Graphics and Hints Design Pa*erns Design: the planning that lays the basis for the making of every object or system Pa*ern: a type of theme of recurring events or objects
More informationTaken Out of Context: Language Theoretic Security & Potential Applications for ICS
Taken Out of Context: Language Theoretic Security & Potential Applications for ICS Darren Highfill, UtiliSec Sergey Bratus, Dartmouth Meredith Patterson, Upstanding Hackers 1 darren@utilisec.com sergey@cs.dartmouth.edu
More informationCOSC 310: So*ware Engineering. Dr. Bowen Hui University of Bri>sh Columbia Okanagan
COSC 310: So*ware Engineering Dr. Bowen Hui University of Bri>sh Columbia Okanagan 1 Admin A2 is up Don t forget to keep doing peer evalua>ons Deadline can be extended but shortens A3 >meframe Labs This
More informationNetwork Coding: Theory and Applica7ons
Network Coding: Theory and Applica7ons PhD Course Part IV Tuesday 9.15-12.15 18.6.213 Muriel Médard (MIT), Frank H. P. Fitzek (AAU), Daniel E. Lucani (AAU), Morten V. Pedersen (AAU) Plan Hello World! Intra
More informationOracle Report Manager - What are the Leading Prac6ces for It's Configura6on and U6liza6on? Session ID#: 14984
Oracle Report Manager - What are the Leading Prac6ces for It's Configura6on and U6liza6on? Session ID#: 14984 Prepared by: Lee Briggs Prac1ce Director, Financials Management REMINDER Check in on the COLLABORATE
More informationMinimum Redundancy and Maximum Relevance Feature Selec4on. Hang Xiao
Minimum Redundancy and Maximum Relevance Feature Selec4on Hang Xiao Background Feature a feature is an individual measurable heuris4c property of a phenomenon being observed In character recogni4on: horizontal
More informationCSSE232 Computer Architecture. Introduc5on
CSSE232 Computer Architecture Introduc5on Reading Be:er for you if done before class For today: Ch 1 (esp 1.1-3, 10) App. C Sec5ons 2.4, 3.1-2 Outline Introduc5ons Class details Syllabus, website, schedule
More informationSTA 4273H: Sta-s-cal Machine Learning
STA 4273H: Sta-s-cal Machine Learning Russ Salakhutdinov Department of Statistics! rsalakhu@utstat.toronto.edu! h0p://www.cs.toronto.edu/~rsalakhu/ Lecture 3 Parametric Distribu>ons We want model the probability
More informationSynchroniza+on II COMS W4118
Synchroniza+on II COMS W4118 References: Opera+ng Systems Concepts (9e), Linux Kernel Development, previous W4118s Copyright no2ce: care has been taken to use only those web images deemed by the instructor
More informationPredicate Logic and Quan0fies
Predicate Logic and Quan0fies Sec0ons 1.4, and 1.5 of Rosen Spring 2017 CSCE 235H Introduc7on to Discrete Structures (Honors) Course web-page: cse.unl.edu/~cse235h All ques7ons: Piazza LaTeX Using the
More informationDART Tutorial Sec'on 25: A simple 1D advec'on model: Tracer Data Assimila'on
DART Tutorial Sec'on 25: A simple 1D advec'on model: Tracer Data Assimila'on UCAR The Na'onal Center for Atmospheric Research is sponsored by the Na'onal Science Founda'on. Any opinions, findings and conclusions
More informationModel- Based Security Tes3ng with Test Pa9erns
Model- Based Security Tes3ng with Test Pa9erns Julien BOTELLA (Smartes5ng) Jürgen GROSSMANN (FOKUS) Bruno LEGEARD (Smartes3ng) Fabien PEUREUX (Smartes5ng) Mar5n SCHNEIDER (FOKUS) Fredrik SEEHUSEN (SINTEF)
More informationWriting a Fraction Class
Writing a Fraction Class So far we have worked with floa0ng-point numbers but computers store binary values, so not all real numbers can be represented precisely In applica0ons where the precision of real
More informationOp#mizing PGAS overhead in a mul#-locale Chapel implementa#on of CoMD
Op#mizing PGAS overhead in a mul#-locale Chapel implementa#on of CoMD Riyaz Haque and David F. Richards This work was performed under the auspices of the U.S. Department of Energy by Lawrence Livermore
More informationRAD, Rules, and Compatibility: What's Coming in Kuali Rice 2.0
software development simplified RAD, Rules, and Compatibility: What's Coming in Kuali Rice 2.0 Eric Westfall - Indiana University JASIG 2011 For those who don t know Kuali Rice consists of mul8ple sub-
More informationThrough Python. "Nel mezzo del cammin di nostra vita mi ritrovai per una selva oscura..." Dante Alighieri
Through Python "Nel mezzo del cammin di nostra vita mi ritrovai per una selva oscura..." Dante Alighieri Syllabus Variables vs object Float representa2on The importance of syntax operator overloading built-in
More informationCS 61C: Great Ideas in Computer Architecture (Machine Structures) Lecture 32: Pipeline Parallelism 3
CS 61C: Great Ideas in Computer Architecture (Machine Structures) Lecture 32: Pipeline Parallelism 3 Instructor: Dan Garcia inst.eecs.berkeley.edu/~cs61c! Compu@ng in the News At a laboratory in São Paulo,
More informationSec$on 4: Parallel Algorithms. Michelle Ku8el
Sec$on 4: Parallel Algorithms Michelle Ku8el mku8el@cs.uct.ac.za The DAG, or cost graph A program execu$on using fork and join can be seen as a DAG (directed acyclic graph) Nodes: Pieces of work Edges:
More informationAn ontology of resources for Linked Data
An ontology of resources for Linked Data Harry Halpin and Valen8na Presu: LDOW @ WWW2009 Madrid, April 20th Outline Premises and background Proposal overview Some details of IRW ontology Simple applica8on
More informationDec 2, 2013: Hippocampal spa:al map forma:on
MATH:7450 (22M:305) Topics in Topology: Scien:fic and Engineering Applica:ons of Algebraic Topology Dec 2, 2013: Hippocampal spa:al map forma:on Fall 2013 course offered through the University of Iowa
More informationDataONE Cyberinfrastructure. Ma# Jones Dave Vieglais Bruce Wilson
DataONE Cyberinfrastructure Ma# Jones Dave Vieglais Bruce Wilson Foremost a Federa9on Member Nodes (MNs) Heart of the federa9on Harness the power of local cura9on Coordina9ng Nodes (CNs) Services to link
More informationDesign Pa*erns. Philippe Collet. Master 1 IFI Interna3onal h8p://dep3nfo.unice.fr/twiki/bin/view/minfo/soeeng1213. P.
Design Pa*erns Philippe Collet Master 1 IFI Interna3onal 2012-2013 h8p://dep3nfo.unice.fr/twiki/bin/view/minfo/soeeng1213 P. Collet 1 Agenda Introduc3on First example Principles and classifica3on Presenta3on
More informationiden+fy and represent numbers using objects and pictorial representa+ons
count to and across 100, forwards and backwards, beginning with 0 or 1, or from any given count, read and write s to 100 in numerals; count in mul+ples of twos, fives and tens given a, iden+fy one more
More informationAnnouncements. Working in pairs is only allowed for programming assignments and not for homework problems. H3 has been posted
Announcements Working in pairs is only allowed for programming assignments and not for homework problems H3 has been posted 1 Syntax Directed Transla@on 2 CFGs so Far CFGs for Language Defini&on The CFGs
More informationSemantics for Structured Systems Modelling and Simulation
Semantics for Structured Systems Modelling and Simulation Matthew Collinson HP Labs, Bristol, UK collinson@hp.com Brian Monahan HP Labs, Bristol, UK brian.monahan@hp.com David Pym HP Labs, Bristol, UK
More informationCrea?ng Cloud Apps with Oracle Applica?on Builder Cloud Service
Crea?ng Cloud Apps with Oracle Applica?on Builder Cloud Service Shay Shmeltzer Director of Product Management Oracle Development Tools and Frameworks @JDevShay hpp://blogs.oracle.com/shay This App you
More informationCSE Opera*ng System Principles
CSE 30341 Opera*ng System Principles Overview/Introduc7on Syllabus Instructor: Chris*an Poellabauer (cpoellab@nd.edu) Course Mee*ngs TR 9:30 10:45 DeBartolo 101 TAs: Jian Yang, Josh Siva, Qiyu Zhi, Louis
More informationComponent diagrams. Components Components are model elements that represent independent, interchangeable parts of a system.
Component diagrams Components Components are model elements that represent independent, interchangeable parts of a system. Components are more abstract than classes and can be considered to be stand- alone
More informationCS 6140: Machine Learning Spring 2017
CS 6140: Machine Learning Spring 2017 Instructor: Lu Wang College of Computer and Informa@on Science Northeastern University Webpage: www.ccs.neu.edu/home/luwang Email: luwang@ccs.neu.edu Logis@cs Grades
More informationAsynchronous and Fault-Tolerant Recursive Datalog Evalua9on in Shared-Nothing Engines
Asynchronous and Fault-Tolerant Recursive Datalog Evalua9on in Shared-Nothing Engines Jingjing Wang, Magdalena Balazinska, Daniel Halperin University of Washington Modern Analy>cs Requires Itera>on Graph
More informationLecture 2. White- box Tes2ng and Structural Coverage (see Amman and Offut, Chapter 2)
Lecture 2 White- box Tes2ng and Structural Coverage (see Amman and Offut, Chapter 2) White- box Tes2ng (aka. Glass- box or structural tes2ng) An error may exist at one (or more) loca2on(s) Line numbers
More informationMapReduce. Tom Anderson
MapReduce Tom Anderson Last Time Difference between local state and knowledge about other node s local state Failures are endemic Communica?on costs ma@er Why Is DS So Hard? System design Par??oning of
More informationSubstitution in Structural Operational Semantics and value-passing process calculi
Substitution in Structural Operational Semantics and value-passing process calculi Sam Staton Computer Laboratory University of Cambridge Abstract Consider a process calculus that allows agents to communicate
More informationIntroduction to Python. Fang (Cherry) Liu Ph.D. Scien5fic Compu5ng Consultant PACE GATECH
Introduction to Python Ph.D. Scien5fic Compu5ng Consultant PACE GATECH Things Covered What is Python? How to access Python environment? Fundamental elements in Python Variables (assignment, comparison,
More informationRESTful Design for Internet of Things Systems
RESTful Design for Internet of Things Systems dra8- keranen- t2trg- rest- iot- 00 Ari Keränen with MaGhias Kovatsch & Klaus Hartke W3C Web of Things IG October 30 th 2015, Sapporo,
More informationModules and Representa/on Invariants
Modules and Representa/on Invariants COS 326 David Walker Princeton University slides copyright 2017 David Walker permission granted to reuse these slides for non-commercial educa/onal purposes LAST TIME
More informationSystem Modeling Environment
System Modeling Environment Requirements, Architecture and Implementa
More informationCISC327 - So*ware Quality Assurance
CISC327 - So*ware Quality Assurance Lecture 23 Code Inspec
More informationData Quality Assessment Recommendations
Data Quality Assessment Recommendations Steering Commi,ee Mee.ng, August 19-20, 2014 Bethesda, MD Meredith Nahm Zozus, PhD Assoc. Director, Clinical Research Informa6cs Duke Transla6onal Medicine Ins6tute
More informationScien&fic Experiments as Workflows and Scripts. Vanessa Braganholo
Scien&fic Experiments as Workflows and Scripts Vanessa Braganholo The experiment life cycle Composition Concep&on Reuse Analysis Query Discovery Visualiza&on Provenance Data Distribu&on Monitoring Execution
More informationA System for Genera/ng Sta/c Analyzers for Machine Instruc/ons (TSL)
Seminar on A System for Genera/ng Sta/c Analyzers for Machine Instruc/ons (TSL) Junghee Lim, Univ. of Wisconsin Madison, USA and Thomas Reps, GrammaTech, USA Presenter : Anand Ramkumar S Universitat des
More informationParallel Programming Pa,erns
Parallel Programming Pa,erns Bryan Mills, PhD Spring 2017 What is a programming pa,erns? Repeatable solu@on to commonly occurring problem It isn t a solu@on that you can t simply apply, the engineer has
More informationTomorrow is Yesterday (or nearly so) Historical lessons that foretell the future of mobile and (connected) embedded systems
Tomorrow is Yesterday (or nearly so) Historical lessons that foretell the future of mobile and (connected) embedded systems Bob Iannucci Distinguished Service Professor March 5, 2013 Overview Retrospec.ve
More informationEnsemble- Based Characteriza4on of Uncertain Features Dennis McLaughlin, Rafal Wojcik
Ensemble- Based Characteriza4on of Uncertain Features Dennis McLaughlin, Rafal Wojcik Hydrology TRMM TMI/PR satellite rainfall Neuroscience - - MRI Medicine - - CAT Geophysics Seismic Material tes4ng Laser
More informationInternally Determinis.c Parallel Algorithms
Internally Determinis.c Parallel Algorithms Guy Blelloch Carnegie Mellon University Also: Jeremy Fineman, Phil Gibbons (Intel), Julian Shun, Harsha Vardham Simhadri, WoDet 2013 1 Par.al Mo.va.on WoDet
More informationDatabase Design CENG 351
Database Design Database Design Process Requirements analysis What data, what applica;ons, what most frequent opera;ons, Conceptual database design High level descrip;on of the data and the constraint
More informationAlignment and Image Comparison
Alignment and Image Comparison Erik Learned- Miller University of Massachuse>s, Amherst Alignment and Image Comparison Erik Learned- Miller University of Massachuse>s, Amherst Alignment and Image Comparison
More informationCS251 Programming Languages Spring 2016, Lyn Turbak Department of Computer Science Wellesley College
Functions in Racket CS251 Programming Languages Spring 2016, Lyn Turbak Department of Computer Science Wellesley College Racket Func+ons Functions: most important building block in Racket (and 251) Functions/procedures/methods/subroutines
More informationFunc+on applica+ons (calls, invoca+ons)
Func%ons in Racket Racket Functions: most important building block in Racket (and 25) Functions/procedures/methods/subroutines abstract over computations Like Java methods, Python functions have arguments
More informationAN ALGEBRA FOR TEMPORAL NETWORK MEASURES
AN ALGEBRA FOR TEMPORAL NETWORK MEASURES Lucia Falzon Human & Social Modelling and Analysis Defence Science & Technology 10 October 2017 Networks Course, University of Adelaide 1 2 SOCIAL NETWORK ANALYSIS
More informationLecture 1 Introduc-on
Lecture 1 Introduc-on What would you get out of this course? Structure of a Compiler Op9miza9on Example 15-745: Introduc9on 1 What Do Compilers Do? 1. Translate one language into another e.g., convert
More informationUsability Tes2ng Usability and Correctness. About Face (1995) Alan Cooper. About Face (1995) Alan Cooper. Why Evaluate?
2 Usability and Correctness Usability How easy is the system to use? How learnable is the system? Correctness Does the system do what it says it will do? Usability and correctness are two different criteria.
More informationehealth in the implementa,on of the cross border direc,ve: role of the ehealth Network 26th February 2012
ehealth in the implementa,on of the cross border direc,ve: role of the ehealth Network 26th February 2012 Agenda EU in health Ehealth in the EU ehealth Network ehealth High- Level Governance Ini,a,ve Goals
More informationiuml-b Class Diagrams 1
iuml-b Class Diagrams 1 Mo3va3on Provide a more approachable interface for newcomers to Event-B Provide diagrams to help visualise models Provide extra modelling features to Event-B Sequencing of Events
More informationA Compiler and Run- 1me System for Network Programming Languages
A Compiler and Run- 1me System for Network Programming Languages Christopher Monsanto, Princeton Nate Foster, Cornell Rob Harrison, West Point David Walker, Princeton 1 SoFware- Defined Networks Controller
More information