Welcome to Wayland. Martin Gra ßlin BlueSystems Akademy 2015

Size: px
Start display at page:

Download "Welcome to Wayland. Martin Gra ßlin BlueSystems Akademy 2015"

Transcription

1 Welcome to Waylan Martin Gra ßlin BlueSystems Akaemy

2 Agena 1 Architecture 2 Evolution of KWin 3 The kwin Project 4 What s next? Welcome to Waylan Martin Gra ßlin

3 Agena 1 Architecture 2 Evolution of KWin 3 The kwin Project 4 What s next? Welcome to Waylan Martin Gra ßlin

4 Architecture as presente last year Welcome to Waylan Martin Gra ßlin

5 Current architecture Welcome to Waylan Martin Gra ßlin

6 Backen plugins for ifferent platforms KWin internal Platform Abstraction Create OpenGL context an surface QPainter fallback for no OpenGL Output information Input event hanling Libinput If backen oesn t provie input, libinput library is use. Welcome to Waylan Martin Gra ßlin

7 Available backen plugins Winowe/Neste Platforms X11 (supports OpenGL, QPainter) Waylan (supports OpenGL, QPainter) Full Platforms DRM (supports OpenGL through GBM, QPainter) fbev (supports QPainter) Anroi hwcomposer/libhybris (supports OpenGL, input) This Presentation runs on the DRM platform! Welcome to Waylan Martin Gra ßlin

8 Architecture summary KWin is a Waylan server KWin supports wl shell clients both OpenGL an SHM KWin supports Xwaylan base clients KWin can rener on top of DRM/KMS KWin support input through libinput Neste KWin Waylan servers on X11/Waylan for easy testing Welcome to Waylan Martin Gra ßlin

9 Agena 1 Architecture 2 Evolution of KWin 3 The kwin Project 4 What s next? Welcome to Waylan Martin Gra ßlin

10 Simplifie KWin (Core) architecture before Waylan Welcome to Waylan Martin Gra ßlin

11 Simplifie KWin (Core) architecture as of toay Welcome to Waylan Martin Gra ßlin

12 How to start KWin Welcome to Waylan Martin Gra ßlin

13 Starting KWin as X11 application How to start X? KWin s startup is highly X11 epenent Qt s XCB plugin requires X11 in QApplication ctor Starting Xwaylan before KWin requires a running Waylan server Waylan server requires event loop Event loop requires QApplication Xwaylan requires wl rm KWin nees to move away from xcb QPA Welcome to Waylan Martin Gra ßlin

14 Is QtWaylan any better? New Startup First start Waylan server Create QApplication Startup Compositor/Scene Startup Xwaylan Wait for Xwaylan being starte Continue with X specific startup coe Welcome to Waylan Martin Gra ßlin

15 Similar problems as xcb QPA Rountrips are evil Requires Waylan server at QApplication startup Does rountrip to server in startup (blocks gui threa) Cannot create a QThrea before creating QApplication QtWaylan ispatches events while waiting for the rountrip Welcome to Waylan Martin Gra ßlin

16 Still many workarouns neee Blocking OpenGL context creation // HACK: create a QWinow in a threa to force QtWaylan to create the // client buffer integration. // this performs an eglinitialize which woul block as it oes a rountrip // to the Waylan server in the main threa. // By moving into a threa we get the initialize without hitting the problem // This nees to be one before creating the Workspace as from insie // Workspace the angerous coe gets hit in the main threa QFutureWatcher<voi> *eglinitwatcher = new QFutureWatcher<voi>(this); eglinitwatcher->setfuture(qtconcurrent::run([] { QWinow w; w.setsurfacetype(qsurface::rasterglsurface); w.create(); })); Welcome to Waylan Martin Gra ßlin

17 More workarouns BypassWinowManagerHint neee for each Winow on X11 bool ApplicationWaylan::notify(QObject *o, QEvent *e) { if (QWinow *w = qobject_cast< QWinow* >(o)) { if (e->type() == QEvent::Show) { // on QtWaylan winows with X11BypassWinowManagerHint are not shown, // thus we nee to remove it. As the flag is interprete only before // the PlatformWinow is create we nee to estroy the winow first if (w->flags() & Qt::X11BypassWinowManagerHint) { w->setflags(w->flags() & ~Qt::X11BypassWinowManagerHint); w->estroy(); w->show(); return false; } } } return Application::notify(o, e); } Welcome to Waylan Martin Gra ßlin

18 Do we nee our own QPA plugin? Further issues Cannot share composite OpenGL context with QtQuick Cannot use threae QtQuick rener loop QtQuick on hwcomposer aborts Intercept all input insie KWin anyway Have coe to create X11 an Waylan winows Have coe to create OpenGL context Have coe to o low level event processing Welcome to Waylan Martin Gra ßlin

19 Agena 1 Architecture 2 Evolution of KWin 3 The kwin Project 4 What s next? Welcome to Waylan Martin Gra ßlin

20 I propose to rename kwin to kwin because it swallows all features (Kai-Uwe Broulik) Welcome to Waylan Martin Gra ßlin

21 Fixing the X11 security issues Generic issues on X11 KGlobalAccel is a global key logger Screen lockers are not secure (see Blog post Why screen lockers on X11 cannot be secure ) All winows can eit all attributes of winows of foreign processes Winows can place themselves Winows can bypass Winow Managers Clients can warp pointer Clients can grab foreign winow content Welcome to Waylan Martin Gra ßlin

22 KWin nees more knowlege about the winows More control to the compositor KGlobalAccel move into KWin Screen Locking nees to move into KWin Nees to know which winows belong to virtual keyboar Nees to know which process is esktop shell Nees to know which process is screen shot application Nees to know which process hanles power management Nees to know the session splash screen Nees to authorize processes to access special interfaces Welcome to Waylan Martin Gra ßlin

23 Suggestions for the problems appreciate! It s tricky Don t uplicate coe Don t har epen on specific technology Everything shoul be flexible How to hanle e.g. a shell process crash Don t harm user experience (no UAC) What about ke? Welcome to Waylan Martin Gra ßlin

24 Agena 1 Architecture 2 Evolution of KWin 3 The kwin Project 4 What s next? Welcome to Waylan Martin Gra ßlin

25 XDG Shell So far only wl shell support wl shell is rather limite We make it useable with a Qt extension No support for Weston-emo clients No support for GTK+ clients XDG Shell uner heavy evelopment Unstable protocol mechanism GTK, Qt, Weston on real systems out of sync Nee to get our (Qt, Plasma) nees into the protocol Welcome to Waylan Martin Gra ßlin

26 Winow Decorations Issues with Qt eco Minimize button oes nothing No visible istinction between active/inactive state Cannot configure button orer Cannot a our own buttons It s not a goo client-sie eco solution, moels server sie Possible Solution 1 Implement a better plugin base on KDecoration Maybe better Solution? Disable Qt eco at runtime Rea Qt::FramelessWinowHint in Extene surface Create server eco for all Qt Winows Welcome to Waylan Martin Gra ßlin

27 Improvements in KWin Lot s of features still missing Geometry hanling missing Winow types mostly missing Interaction with Plasma nees improvements Lots of small bugs here an there Winow Rules missing Please help us! Plasma on Waylan on too.ke.org Welcome to Waylan Martin Gra ßlin

28 KWinowSystem Moele aroun X11 Everywhere global Winow I Mixes API for own an foreign winows Platform abstraction is not a solution to support Waylan Iea Create a new API exposing a QAbstractItemMoel which can be use by Task Managers. Welcome to Waylan Martin Gra ßlin

29 Polish, polish, polish Please Help! Starting KWin: kwin waylan xwaylan Starting Plasma: startplasmacompositor Welcome to Waylan Martin Gra ßlin

30 Tuesay is Waylan Day Lab 0.5w 10:30 Waylan an Powerevil an KScreen 11:30 Waylan an Plasma 15:00 Waylan an Applications Welcome to Waylan Martin Gra ßlin

31 What is KWaylan Client? Qt style convenient library for Waylan Allow to use Waylan APIs in a Qt way Not a complete wrapper of Waylan yet Can integrate with QtWaylan QPA Aitional KWin/Plasma specific Waylan interfaces Doesn t that uplicate QtWaylan? QtWaylan is a QPA plugin KWaylan is an API which coul be use to write a Waylan QPA plugin KWaylan is to QtWaylan, what KWinowSystem is to xcb QPA plugin Welcome to Waylan Martin Gra ßlin

32 Aitional Interfaces provie by KWaylan Alreay implemente org ke kwin shaow (e.g. Plasma panel shaow) org ke kwin ile (KF5IleTime) org ke kwin fake input (keconnect) org ke plasma shell org ke plasma winow management More to come, e.g. Blur an Backgroun contrast effect Highlight Winows Present Winows Slie Winows Welcome to Waylan Martin Gra ßlin

33 New Repository: kwaylan-integration New in Plasma 5.4 Plugin for KWinowSystem Plugin for KIleTime Place for any framework plugin which nees to epen on KWaylan Welcome to Waylan Martin Gra ßlin

34 What is KWaylan Server? The other sie Qt-style API to implement a Waylan server Wrapper for the core Waylan protocols Wrapper for the KWin/Plasma specific interfaces No renering! Implements lots of generic Waylan server functionality Welcome to Waylan Martin Gra ßlin

35 Builing a Waylan Server with KWaylan auto isplay = new KWaylan::Server::Display(this); isplay->start(); auto compositor = isplay->createcompositor(isplay); compositor->create(); auto shell = isplay->createshell(isplay); shell->create(); isplay->createshm(); auto seat = isplay->createseat(isplay); seat->create(); isplay->createdatadevicemanager(isplay)->create(); isplay->createile(isplay)->create(); auto plasmashell = isplay->createplasmashell(isplay); plasmashell->create(); auto qtextenesurface = isplay->createqtsurfaceextension(isplay); qtextenesurface->create(); auto winowmanagement = isplay->createplasmawinowmanagement(isplay); winowmanagement->create(); auto shaowmanager = isplay->createshaowmanager(isplay); shaowmanager->create(); Welcome to Waylan Martin Gra ßlin

36 Interacting with the server Example for a create object connect(m_plasmashell, &PlasmaShellInterface::surfaceCreate, [this] (PlasmaShellSurfaceInterface *surface) { if (ShellClient *client = finclient(surface->surface())) { client->installplasmashellsurface(surface); } } ); Welcome to Waylan Martin Gra ßlin

37 Interacting with the server Example for upating information in the server voi InputReirection::processPointerMotion(const QPointF &pos, uint32_t time) { // KWin internal hanling for pointer motion remove for reaability #if HAVE_WAYLAND if (auto seat = finseat()) { seat->settimestamp(time); seat->setpointerpos(pos); } #enif } Welcome to Waylan Martin Gra ßlin

38 Why not QtCompositor? Comparable to Client vs QPA Our own interfaces are no fit for integration into Qt QtCompositor has not seen a release yet Focus on QtQuick useless for our nees Lot s of things which just oesn t fit our usecases Welcome to Waylan Martin Gra ßlin

CS 106 Winter 2016 Craig S. Kaplan. Module 01 Processing Recap. Topics

CS 106 Winter 2016 Craig S. Kaplan. Module 01 Processing Recap. Topics CS 106 Winter 2016 Craig S. Kaplan Moule 01 Processing Recap Topics The basic parts of speech in a Processing program Scope Review of syntax for classes an objects Reaings Your CS 105 notes Learning Processing,

More information

Chapter 5 Proposed models for reconstituting/ adapting three stereoscopes

Chapter 5 Proposed models for reconstituting/ adapting three stereoscopes Chapter 5 Propose moels for reconstituting/ aapting three stereoscopes - 89 - 5. Propose moels for reconstituting/aapting three stereoscopes This chapter offers three contributions in the Stereoscopy area,

More information

Preamble. Singly linked lists. Collaboration policy and academic integrity. Getting help

Preamble. Singly linked lists. Collaboration policy and academic integrity. Getting help CS2110 Spring 2016 Assignment A. Linke Lists Due on the CMS by: See the CMS 1 Preamble Linke Lists This assignment begins our iscussions of structures. In this assignment, you will implement a structure

More information

Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed.

Here are a couple of warnings to my students who may be here to get a copy of what happened on a day that you missed. Preface Here are my online notes for my Calculus I course that I teach here at Lamar University. Despite the fact that these are my class notes, they shoul be accessible to anyone wanting to learn Calculus

More information

We are the 1 % Porting KWin to Qt 5 Martin Gräßlin Bilbao Akademy

We are the 1 % Porting KWin to Qt 5 Martin Gräßlin Bilbao Akademy We are the 1 % Porting KWin to Qt 5 Martin Gräßlin 2013-07-13 Bilbao Akademy Be Free. KDE About me Martin Gräßlin mgraesslin@kde.org http://blog.martin-graesslin.com KWin Maintainer Focus on Porting to

More information

Politehnica University of Timisoara Mobile Computing, Sensors Network and Embedded Systems Laboratory. Testing Techniques

Politehnica University of Timisoara Mobile Computing, Sensors Network and Embedded Systems Laboratory. Testing Techniques Politehnica University of Timisoara Mobile Computing, Sensors Network an Embee Systems Laboratory ing Techniques What is testing? ing is the process of emonstrating that errors are not present. The purpose

More information

Message Transport With The User Datagram Protocol

Message Transport With The User Datagram Protocol Message Transport With The User Datagram Protocol User Datagram Protocol (UDP) Use During startup For VoIP an some vieo applications Accounts for less than 10% of Internet traffic Blocke by some ISPs Computer

More information

The Wayland Display Server

The Wayland Display Server The Wayland Display Server Kristian Hgsberg krh@bitplanet.net July 26, 2010 1 Wayland Overview wayland is a protocol for a new display server. wayland is an implementation 1.1 Replacing X11 Over time,

More information

Chapter 9 Memory Management

Chapter 9 Memory Management Contents 1. Introuction 2. Computer-System Structures 3. Operating-System Structures 4. Processes 5. Threas 6. CPU Scheuling 7. Process Synchronization 8. Dealocks 9. Memory Management 10.Virtual Memory

More information

An In Depth Look at VOLK

An In Depth Look at VOLK An In Depth Look at VOLK The Vector-Optimize Library of Kernels Nathan West U.S. Naval Research Laboratory 26 August 2015 (U) 26 August 2015 1 / 19 A brief look at VOLK organization VOLK is a sub-project

More information

You Can Do That. Unit 16. Motivation. Computer Organization. Computer Organization Design of a Simple Processor. Now that you have some understanding

You Can Do That. Unit 16. Motivation. Computer Organization. Computer Organization Design of a Simple Processor. Now that you have some understanding .. ou Can Do That Unit Computer Organization Design of a imple Clou & Distribute Computing (CyberPhysical, bases, Mining,etc.) Applications (AI, Robotics, Graphics, Mobile) ystems & Networking (Embee ystems,

More information

Computer Organization

Computer Organization Computer Organization Douglas Comer Computer Science Department Purue University 250 N. University Street West Lafayette, IN 47907-2066 http://www.cs.purue.eu/people/comer Copyright 2006. All rights reserve.

More information

Recitation Caches and Blocking. 4 March 2019

Recitation Caches and Blocking. 4 March 2019 15-213 Recitation Caches an Blocking 4 March 2019 Agena Reminers Revisiting Cache Lab Caching Review Blocking to reuce cache misses Cache alignment Reminers Due Dates Cache Lab (Thursay 3/7) Miterm Exam

More information

CS269I: Incentives in Computer Science Lecture #8: Incentives in BGP Routing

CS269I: Incentives in Computer Science Lecture #8: Incentives in BGP Routing CS269I: Incentives in Computer Science Lecture #8: Incentives in BGP Routing Tim Roughgaren October 19, 2016 1 Routing in the Internet Last lecture we talke about elay-base (or selfish ) routing, which

More information

CordEx. >> Operating instructions. English

CordEx. >> Operating instructions. English CorEx >> Operating instructions English Symbols use in this manual Important information concerning your safety is specifically marke. Follow these instructions closely to prevent accients an amage to

More information

Feature Extraction and Rule Classification Algorithm of Digital Mammography based on Rough Set Theory

Feature Extraction and Rule Classification Algorithm of Digital Mammography based on Rough Set Theory Feature Extraction an Rule Classification Algorithm of Digital Mammography base on Rough Set Theory Aboul Ella Hassanien Jafar M. H. Ali. Kuwait University, Faculty of Aministrative Science, Quantitative

More information

Rough Set Approach for Classification of Breast Cancer Mammogram Images

Rough Set Approach for Classification of Breast Cancer Mammogram Images Rough Set Approach for Classification of Breast Cancer Mammogram Images Aboul Ella Hassanien Jafar M. H. Ali. Kuwait University, Faculty of Aministrative Science, Quantitative Methos an Information Systems

More information

Problem Paper Atoms Tree. atoms.pas. atoms.cpp. atoms.c. atoms.java. Time limit per test 1 second 1 second 2 seconds. Number of tests

Problem Paper Atoms Tree. atoms.pas. atoms.cpp. atoms.c. atoms.java. Time limit per test 1 second 1 second 2 seconds. Number of tests ! " # %$ & Overview Problem Paper Atoms Tree Shen Tian Harry Wiggins Carl Hultquist Program name paper.exe atoms.exe tree.exe Source name paper.pas atoms.pas tree.pas paper.cpp atoms.cpp tree.cpp paper.c

More information

Plane Sweep Algorithms

Plane Sweep Algorithms CMPS 6640/4040 Computational Geometry Spring 2016 Plane Sweep Algorithms Carola Wenk 3/3/16 CMPS 6640/4040 Computational Geometry 1 Line Segment Intersection Input: A set S={s 1,, s n } of (close) line

More information

CMSC 430 Introduction to Compilers. Spring Register Allocation

CMSC 430 Introduction to Compilers. Spring Register Allocation CMSC 430 Introuction to Compilers Spring 2016 Register Allocation Introuction Change coe that uses an unoune set of virtual registers to coe that uses a finite set of actual regs For ytecoe targets, can

More information

A Plane Tracker for AEC-automation Applications

A Plane Tracker for AEC-automation Applications A Plane Tracker for AEC-automation Applications Chen Feng *, an Vineet R. Kamat Department of Civil an Environmental Engineering, University of Michigan, Ann Arbor, USA * Corresponing author (cforrest@umich.eu)

More information

QtWayland. Creating Window Compositors with the QtWayland module

QtWayland. Creating Window Compositors with the QtWayland module QtWayland Creating Window Compositors with the QtWayland module Andy Nichols 2012 A little about me... Andy Nichols Software Engineer at Digia 6 years of Qt experience Former Qt Support Engineer Maintainer

More information

Video-based Characters Creating New Human Performances from a Multi-view Video Database

Video-based Characters Creating New Human Performances from a Multi-view Video Database Vieo-base Characters Creating New Human Performances from a Multi-view Vieo Database Feng Xu Yebin Liu? Carsten Stoll? James Tompkin Gaurav Bharaj? Qionghai Dai Hans-Peter Seiel? Jan Kautz Christian Theobalt?

More information

KWin went XCB. Blue Systems. October X.Org Developer s Conference

KWin went XCB. Blue Systems. October X.Org Developer s Conference KWin went XCB Martin Gräßlin mgraesslin@kde.org Blue Systems 2014 X.Org Developer s Conference October 2014 Who am I? Martin Gräßlin e-mail: mgraesslin@kde.org IRC: mgraesslin on freenode KWin maintainer

More information

Almost Disjunct Codes in Large Scale Multihop Wireless Network Media Access Control

Almost Disjunct Codes in Large Scale Multihop Wireless Network Media Access Control Almost Disjunct Coes in Large Scale Multihop Wireless Network Meia Access Control D. Charles Engelhart Anan Sivasubramaniam Penn. State University University Park PA 682 engelhar,anan @cse.psu.eu Abstract

More information

ACE: And/Or-parallel Copying-based Execution of Logic Programs

ACE: And/Or-parallel Copying-based Execution of Logic Programs ACE: An/Or-parallel Copying-base Execution of Logic Programs Gopal GuptaJ Manuel Hermenegilo* Enrico PontelliJ an Vítor Santos Costa' Abstract In this paper we present a novel execution moel for parallel

More information

EFL on Wayland. Rafael Antognolli October, 22th

EFL on Wayland. Rafael Antognolli October, 22th EFL on Wayland Rafael Antognolli October, 22th - 2013 Wayland Simpler replacement for X Core protocol + extensions Weston is the reference compositor Toolkits (EFL, Qt, GTK) implement the client API EFL

More information

Compiler Optimisation

Compiler Optimisation Compiler Optimisation Michael O Boyle mob@inf.e.ac.uk Room 1.06 January, 2014 1 Two recommene books for the course Recommene texts Engineering a Compiler Engineering a Compiler by K. D. Cooper an L. Torczon.

More information

Overview Capturing Still Images Recording Videos Various Features Advanced Features

Overview Capturing Still Images Recording Videos Various Features Advanced Features Overview... - Viewfiner Inicators... -3 Switching s... -5 Capturing Still Images... -6 Capturing Still Images... -6 Recoring Vieos... -8 Recoring Vieos... -8 Various Features... -0 Using Smile Moe... -0

More information

Dense Disparity Estimation in Ego-motion Reduced Search Space

Dense Disparity Estimation in Ego-motion Reduced Search Space Dense Disparity Estimation in Ego-motion Reuce Search Space Luka Fućek, Ivan Marković, Igor Cvišić, Ivan Petrović University of Zagreb, Faculty of Electrical Engineering an Computing, Croatia (e-mail:

More information

Comparison of Methods for Increasing the Performance of a DUA Computation

Comparison of Methods for Increasing the Performance of a DUA Computation Comparison of Methos for Increasing the Performance of a DUA Computation Michael Behrisch, Daniel Krajzewicz, Peter Wagner an Yun-Pang Wang Institute of Transportation Systems, German Aerospace Center,

More information

Estimating Velocity Fields on a Freeway from Low Resolution Video

Estimating Velocity Fields on a Freeway from Low Resolution Video Estimating Velocity Fiels on a Freeway from Low Resolution Vieo Young Cho Department of Statistics University of California, Berkeley Berkeley, CA 94720-3860 Email: young@stat.berkeley.eu John Rice Department

More information

Boxes, Inkwells, Speech and Formulas DRAFT

Boxes, Inkwells, Speech and Formulas DRAFT Boxes, Inkwells, Speech an Formulas DRAFT Richar J. Fateman March 0, 2006 Introuction This paper sets out some esigns for entering mathematical formulas into a computer system. An initial approach to this

More information

Lab work #8. Congestion control

Lab work #8. Congestion control TEORÍA DE REDES DE TELECOMUNICACIONES Grao en Ingeniería Telemática Grao en Ingeniería en Sistemas e Telecomunicación Curso 2015-2016 Lab work #8. Congestion control (1 session) Author: Pablo Pavón Mariño

More information

Animated Surface Pasting

Animated Surface Pasting Animate Surface Pasting Clara Tsang an Stephen Mann Computing Science Department University of Waterloo 200 University Ave W. Waterloo, Ontario Canaa N2L 3G1 e-mail: clftsang@cgl.uwaterloo.ca, smann@cgl.uwaterloo.ca

More information

CMS evolution on data access: xrootd remote access and data federation. Giacinto DONVITO INFN-BARI

CMS evolution on data access: xrootd remote access and data federation. Giacinto DONVITO INFN-BARI CMS evolution on ata access: xroot remote access an ata feeration Giacinto DONVITO INFN-BARI Outlook ò CMS computing moel: first assumptions an results ò Technology trens an impact on HEP Computing moels

More information

Shift-map Image Registration

Shift-map Image Registration Shift-map Image Registration Svärm, Linus; Stranmark, Petter Unpublishe: 2010-01-01 Link to publication Citation for publishe version (APA): Svärm, L., & Stranmark, P. (2010). Shift-map Image Registration.

More information

EXPLANATION OF THE ALGORITHMS FOR DISPLAYING 3D FIGURES ON THE COMPUTER SCREEN

EXPLANATION OF THE ALGORITHMS FOR DISPLAYING 3D FIGURES ON THE COMPUTER SCREEN Original Research Article: full paper [13] Galárraga, L., Heitz, G., Murphy, K., Suchanek, F. M. (2014). Canonicalizing Open Knowlege Bases. Proceeings of the 23r ACM International Conference on Conference

More information

UI, Graphics & EFL. Carsten Haitzler Principal Engineer Samsung Electronics Korea Founder/Leader Enlightenment / EFL

UI, Graphics & EFL. Carsten Haitzler Principal Engineer Samsung Electronics Korea Founder/Leader Enlightenment / EFL UI, Graphics & EFL Carsten Haitzler Principal Engineer Samsung Electronics Korea c.haitzler@samsung.com Founder/Leader Enlightenment / EFL Display System Overview Graphics 4 Graphics Old-School FB 5 In

More information

Proving Vizing s Theorem with Rodin

Proving Vizing s Theorem with Rodin Proving Vizing s Theorem with Roin Joachim Breitner March 25, 2011 Proofs for Vizing s Theorem t to be unwiely unless presente in form a constructive algorithm with a proof of its correctness an termination.

More information

Data Management About Data Folder Accessing Files Managing Memory Cards

Data Management About Data Folder Accessing Files Managing Memory Cards About Data Foler... - Accessing Files... - Opening Files... - Quick Album (Slieshow)... - Creating Animations... -5 Using Playlist (Meloies)... -6 Using Playlists (Vieos)... -6 Eiting Files... -8 Eiting

More information

ANALYTICAL OPTIMIZATION OF SIMPLE ROOF SHADING DEVICES. Khaled Nassar 1 and Mohamed Aly 1. line below should be left

ANALYTICAL OPTIMIZATION OF SIMPLE ROOF SHADING DEVICES. Khaled Nassar 1 and Mohamed Aly 1. line below should be left ANALYTICAL OPTIMIZATION OF SIMPLE ROOF SHADING DEVICES Khale Nassar 1 an Mohame Aly 1 1 The American University in Cairo line below shoul be left ABSTRACT Parametric an algorithmic esign tools have evelope

More information

EFFICIENT STEREO MATCHING BASED ON A NEW CONFIDENCE METRIC. Won-Hee Lee, Yumi Kim, and Jong Beom Ra

EFFICIENT STEREO MATCHING BASED ON A NEW CONFIDENCE METRIC. Won-Hee Lee, Yumi Kim, and Jong Beom Ra th European Signal Processing Conference (EUSIPCO ) Bucharest, omania, August 7-3, EFFICIENT STEEO MATCHING BASED ON A NEW CONFIDENCE METIC Won-Hee Lee, Yumi Kim, an Jong Beom a Department of Electrical

More information

Online Appendix to: Generalizing Database Forensics

Online Appendix to: Generalizing Database Forensics Online Appenix to: Generalizing Database Forensics KYRIACOS E. PAVLOU an RICHARD T. SNODGRASS, University of Arizona This appenix presents a step-by-step iscussion of the forensic analysis protocol that

More information

ELECTRONIC SCALE WB-380. Instruction manual

ELECTRONIC SCALE WB-380. Instruction manual ELECTRONIC SCALE WB-380 Instruction manual Temperature Range for Use : 5 C 35 C Relative Humiity : 30% 80% (without conensation) Temperature Range of Environment :

More information

Intensive Hypercube Communication: Prearranged Communication in Link-Bound Machines 1 2

Intensive Hypercube Communication: Prearranged Communication in Link-Bound Machines 1 2 This paper appears in J. of Parallel an Distribute Computing 10 (1990), pp. 167 181. Intensive Hypercube Communication: Prearrange Communication in Link-Boun Machines 1 2 Quentin F. Stout an Bruce Wagar

More information

Multimodal Stereo Image Registration for Pedestrian Detection

Multimodal Stereo Image Registration for Pedestrian Detection Multimoal Stereo Image Registration for Peestrian Detection Stephen Krotosky an Mohan Trivei Abstract This paper presents an approach for the registration of multimoal imagery for peestrian etection when

More information

Design of Controller for Crawling to Sitting Behavior of Infants

Design of Controller for Crawling to Sitting Behavior of Infants Design of Controller for Crawling to Sitting Behavior of Infants A Report submitte for the Semester Project To be accepte on: 29 June 2007 by Neha Priyaarshini Garg Supervisors: Luovic Righetti Prof. Auke

More information

Handling missing values in kernel methods with application to microbiology data

Handling missing values in kernel methods with application to microbiology data an Machine Learning. Bruges (Belgium), 24-26 April 2013, i6oc.com publ., ISBN 978-2-87419-081-0. Available from http://www.i6oc.com/en/livre/?gcoi=28001100131010. Hanling missing values in kernel methos

More information

Learning Polynomial Functions. by Feature Construction

Learning Polynomial Functions. by Feature Construction I Proceeings of the Eighth International Workshop on Machine Learning Chicago, Illinois, June 27-29 1991 Learning Polynomial Functions by Feature Construction Richar S. Sutton GTE Laboratories Incorporate

More information

How to Link your Accounts at Morgan Stanley

How to Link your Accounts at Morgan Stanley How to Link your Accounts at Morgan Stanley This guie explains how to link your accounts at Morgan Stanley for streamline online access to your shares an cash. At Morgan Stanley, your shares an cash are

More information

MODULE II. Network Programming And Applications

MODULE II. Network Programming And Applications MODULE II Network Programming An Applications Computer Networks an Internets -- Moule 2 1 Spring, 2014 Copyright 2014. All rights reserve. Topics Internet services an communication paraigms Client-server

More information

Coupling the User Interfaces of a Multiuser Program

Coupling the User Interfaces of a Multiuser Program Coupling the User Interfaces of a Multiuser Program PRASUN DEWAN University of North Carolina at Chapel Hill RAJIV CHOUDHARY Intel Corporation We have evelope a new moel for coupling the user-interfaces

More information

4.2 Implicit Differentiation

4.2 Implicit Differentiation 6 Chapter 4 More Derivatives 4. Implicit Differentiation What ou will learn about... Implicitl Define Functions Lenses, Tangents, an Normal Lines Derivatives of Higher Orer Rational Powers of Differentiable

More information

Wayland IVI Extension

Wayland IVI Extension Wayland IVI Extension May 10, 2017 Updates in front of us Eugen Friedrich, Emre Ucan Graphics engineers, ADIT Wayland IVI Extension Agenda Short introduction of wayland-ivi-extension Current status of

More information

Finite Automata Implementations Considering CPU Cache J. Holub

Finite Automata Implementations Considering CPU Cache J. Holub Finite Automata Implementations Consiering CPU Cache J. Holub The finite automata are mathematical moels for finite state systems. More general finite automaton is the noneterministic finite automaton

More information

Additional Divide and Conquer Algorithms. Skipping from chapter 4: Quicksort Binary Search Binary Tree Traversal Matrix Multiplication

Additional Divide and Conquer Algorithms. Skipping from chapter 4: Quicksort Binary Search Binary Tree Traversal Matrix Multiplication Aitional Divie an Conquer Algorithms Skipping from chapter 4: Quicksort Binary Search Binary Tree Traversal Matrix Multiplication Divie an Conquer Closest Pair Let s revisit the closest pair problem. Last

More information

Classifying Facial Expression with Radial Basis Function Networks, using Gradient Descent and K-means

Classifying Facial Expression with Radial Basis Function Networks, using Gradient Descent and K-means Classifying Facial Expression with Raial Basis Function Networks, using Graient Descent an K-means Neil Allrin Department of Computer Science University of California, San Diego La Jolla, CA 9237 nallrin@cs.ucs.eu

More information

Design Management Using Dynamically Defined Flows

Design Management Using Dynamically Defined Flows Design Management Using Dynamically Deine Flows Peter R. Sutton*, Jay B. Brockman** an Stephen W. Director* *Department o Electrical an Computer Engineering, Carnegie Mellon University, Pittsburgh, PA

More information

A Neural Network Model Based on Graph Matching and Annealing :Application to Hand-Written Digits Recognition

A Neural Network Model Based on Graph Matching and Annealing :Application to Hand-Written Digits Recognition ITERATIOAL JOURAL OF MATHEMATICS AD COMPUTERS I SIMULATIO A eural etwork Moel Base on Graph Matching an Annealing :Application to Han-Written Digits Recognition Kyunghee Lee Abstract We present a neural

More information

ELECTRONIC PHYSICIAN SCALE WB-3000 INSTRUCTION MANUAL

ELECTRONIC PHYSICIAN SCALE WB-3000 INSTRUCTION MANUAL ELECTRONIC PHYSICIAN SCALE WB-3000 INSTRUCTION MANUAL Please keep this manual in a safe place, an make sure it is reaily available whenever necessary. Please use this prouct only after carefully reaing

More information

PART 2. Organization Of An Operating System

PART 2. Organization Of An Operating System PART 2 Organization Of An Operating System CS 503 - PART 2 1 2010 Services An OS Supplies Support for concurrent execution Facilities for process synchronization Inter-process communication mechanisms

More information

Shift-map Image Registration

Shift-map Image Registration Shift-map Image Registration Linus Svärm Petter Stranmark Centre for Mathematical Sciences, Lun University {linus,petter}@maths.lth.se Abstract Shift-map image processing is a new framework base on energy

More information

Chapter 2. Operating-System Structures

Chapter 2. Operating-System Structures Chapter 2 Operating-System Structures 2.1 Chapter 2: Operating-System Structures Operating System Services User Operating System Interface System Calls Types of System Calls System Programs Operating System

More information

FZRTRAN Procedures and Error Handling

FZRTRAN Procedures and Error Handling Title FZRTRAN Proceures an Error Hanling Version 1.0 Date 09/16/2010 Create by Dennis Konkler,ITS,RIS Eite by Eitor(s), title, organization Copyright South Dakota Boar of Regents Process Owner Process

More information

Analysis of Virtual Machine System Policies

Analysis of Virtual Machine System Policies Analysis of Virtual Machine System Policies Sanra Ruea, Hayawarh Vijayakumar, Trent Jaeger Systems an Internet Infrastructure Security Laboratory The Pennsylvania State University University Park, PA,

More information

Socially-optimal ISP-aware P2P Content Distribution via a Primal-Dual Approach

Socially-optimal ISP-aware P2P Content Distribution via a Primal-Dual Approach Socially-optimal ISP-aware P2P Content Distribution via a Primal-Dual Approach Jian Zhao, Chuan Wu The University of Hong Kong {jzhao,cwu}@cs.hku.hk Abstract Peer-to-peer (P2P) technology is popularly

More information

Backpressure-based Packet-by-Packet Adaptive Routing in Communication Networks

Backpressure-based Packet-by-Packet Adaptive Routing in Communication Networks 1 Backpressure-base Packet-by-Packet Aaptive Routing in Communication Networks Eleftheria Athanasopoulou, Loc Bui, Tianxiong Ji, R. Srikant, an Alexaner Stolyar Abstract Backpressure-base aaptive routing

More information

Workspace as a Service: an Online Working Environment for Private Cloud

Workspace as a Service: an Online Working Environment for Private Cloud 2017 IEEE Symposium on Service-Oriente System Engineering Workspace as a Service: an Online Working Environment for Private Clou Bo An 1, Xuong Shan 1, Zhicheng Cui 1, Chun Cao 2, Donggang Cao 1 1 Institute

More information

Overview. Operating Systems I. Simple Memory Management. Simple Memory Management. Multiprocessing w/fixed Partitions.

Overview. Operating Systems I. Simple Memory Management. Simple Memory Management. Multiprocessing w/fixed Partitions. Overview Operating Systems I Management Provie Services processes files Manage Devices processor memory isk Simple Management One process in memory, using it all each program nees I/O rivers until 96 I/O

More information

A Duality Based Approach for Realtime TV-L 1 Optical Flow

A Duality Based Approach for Realtime TV-L 1 Optical Flow A Duality Base Approach for Realtime TV-L 1 Optical Flow C. Zach 1, T. Pock 2, an H. Bischof 2 1 VRVis Research Center 2 Institute for Computer Graphics an Vision, TU Graz Abstract. Variational methos

More information

Bazaar Architecture Overview Release 2.8.0dev1

Bazaar Architecture Overview Release 2.8.0dev1 Bazaar Architecture Overview Release 2.8.0dev1 Bazaar Developers November 30, 2018 Contents 1 IDs and keys ii 1.1 IDs..................................................... ii File ids..................................................

More information

Learning Subproblem Complexities in Distributed Branch and Bound

Learning Subproblem Complexities in Distributed Branch and Bound Learning Subproblem Complexities in Distribute Branch an Boun Lars Otten Department of Computer Science University of California, Irvine lotten@ics.uci.eu Rina Dechter Department of Computer Science University

More information

2.7 Implicit Differentiation

2.7 Implicit Differentiation 2.7 Implicit Differentiation [ y] = = = [ x] 1 Sometimes we may be intereste in fining the erivative of an equation that is not solve or able to be solve for a particular epenent variable explicitly. In

More information

What s wrong with existing

What s wrong with existing Feature Article Integrate Browsing an Querying for Image Databases The image atabase system El Niño uses a new interaction moel that aims to overcome the problem of the semantic gap where the meaning that

More information

Experion PKS R500 Migration Planning Guide

Experion PKS R500 Migration Planning Guide Experion PKS R500 Migration Planning Guie EPDOC-XX70-en-500E May 2018 Release 500 Document Release Issue Date EPDOC-XX70- en-500e 500 0 May 2018 Disclaimer This ocument contains Honeywell proprietary information.

More information

Overview : Computer Networking. IEEE MAC Protocol: CSMA/CA Internet mobility TCP over noisy links

Overview : Computer Networking. IEEE MAC Protocol: CSMA/CA Internet mobility TCP over noisy links Overview 15-441 15-441: Computer Networking 15-641 Lecture 24: Wireless Eric Anerson Fall 2014 www.cs.cmu.eu/~prs/15-441-f14 Internet mobility TCP over noisy links Link layer challenges an WiFi Cellular

More information

BIJECTIONS FOR PLANAR MAPS WITH BOUNDARIES

BIJECTIONS FOR PLANAR MAPS WITH BOUNDARIES BIJECTIONS FOR PLANAR MAPS WITH BOUNDARIES OLIVIER BERNARDI AND ÉRIC FUSY Abstract. We present bijections for planar maps with bounaries. In particular, we obtain bijections for triangulations an quarangulations

More information

The Reconstruction of Graphs. Dhananjay P. Mehendale Sir Parashurambhau College, Tilak Road, Pune , India. Abstract

The Reconstruction of Graphs. Dhananjay P. Mehendale Sir Parashurambhau College, Tilak Road, Pune , India. Abstract The Reconstruction of Graphs Dhananay P. Mehenale Sir Parashurambhau College, Tila Roa, Pune-4030, Inia. Abstract In this paper we iscuss reconstruction problems for graphs. We evelop some new ieas lie

More information

Characterizing Decoding Robustness under Parametric Channel Uncertainty

Characterizing Decoding Robustness under Parametric Channel Uncertainty Characterizing Decoing Robustness uner Parametric Channel Uncertainty Jay D. Wierer, Wahee U. Bajwa, Nigel Boston, an Robert D. Nowak Abstract This paper characterizes the robustness of ecoing uner parametric

More information

The GenePattern Notebook Environment

The GenePattern Notebook Environment Tool The GenePattern Notebook Environment Graphical Abstract Authors Michael Reich, Thorin Tabor, Te Liefel, Helga Thorvalsóttir, Barbara Hill, Pablo Tamayo, Jill P. Mesirov Corresponence mmreich@clou.ucs.eu

More information

EXTRACTION OF MAIN AND SECONDARY ROADS IN VHR IMAGES USING A HIGHER-ORDER PHASE FIELD MODEL

EXTRACTION OF MAIN AND SECONDARY ROADS IN VHR IMAGES USING A HIGHER-ORDER PHASE FIELD MODEL EXTRACTION OF MAIN AND SECONDARY ROADS IN VHR IMAGES USING A HIGHER-ORDER PHASE FIELD MODEL Ting Peng a,b, Ian H. Jermyn b, Véronique Prinet a, Josiane Zerubia b a LIAMA & PR, Institute of Automation,

More information

Contributing to Safety and Due Diligence in Safety-critical Interactive Systems Development by Generating and Analyzing Finite State Models

Contributing to Safety and Due Diligence in Safety-critical Interactive Systems Development by Generating and Analyzing Finite State Models Contributing to Safety an Due Diligence in Safety-critical Interactive Systems Development by Generating an Analyzing Finite State Moels Harol Thimbleby Future Interaction Technology Lab Swansea University

More information

Adjusted Probabilistic Packet Marking for IP Traceback

Adjusted Probabilistic Packet Marking for IP Traceback Ajuste Probabilistic Packet Marking for IP Traceback Tao Peng, Christopher Leckie, an Kotagiri Ramamohanarao 2 ARC Special Research Center for Ultra-Broaban Information Networks Department of Electrical

More information

Loop Scheduling and Partitions for Hiding Memory Latencies

Loop Scheduling and Partitions for Hiding Memory Latencies Loop Scheuling an Partitions for Hiing Memory Latencies Fei Chen Ewin Hsing-Mean Sha Dept. of Computer Science an Engineering University of Notre Dame Notre Dame, IN 46556 Email: fchen,esha @cse.n.eu Tel:

More information

University of British Columbia CPSC 314 Computer Graphics May-June Tamara Munzner. Rasterization, Interpolation, Vision/Color

University of British Columbia CPSC 314 Computer Graphics May-June Tamara Munzner. Rasterization, Interpolation, Vision/Color University of British Columbia CPSC 34 Computer Graphics May-June 5 Tamara Munzner Rasterization, Interpolation, Vision/Color Week, Thu May 9 http://www.ugra.cs.ubc.ca/~cs34/vmay5 News reminer: extra lab

More information

Just-In-Time Software Pipelining

Just-In-Time Software Pipelining Just-In-Time Software Pipelining Hongbo Rong Hyunchul Park Youfeng Wu Cheng Wang Programming Systems Lab Intel Labs, Santa Clara What is software pipelining? A loop optimization exposing instruction-level

More information

Modifying ROC Curves to Incorporate Predicted Probabilities

Modifying ROC Curves to Incorporate Predicted Probabilities Moifying ROC Curves to Incorporate Preicte Probabilities Cèsar Ferri DSIC, Universitat Politècnica e València Peter Flach Department of Computer Science, University of Bristol José Hernánez-Orallo DSIC,

More information

Contributing to safety and due diligence in safety-critical interactive systems development

Contributing to safety and due diligence in safety-critical interactive systems development Contributing to safety an ue iligence in safety-critical interactive systems evelopment Harol Thimbleby Future Interaction Technology Lab Swansea University Wales harol@thimbleby.net ABSTRACT Interaction

More information

Multi-camera tracking algorithm study based on information fusion

Multi-camera tracking algorithm study based on information fusion International Conference on Avance Electronic Science an Technolog (AEST 016) Multi-camera tracking algorithm stu base on information fusion a Guoqiang Wang, Shangfu Li an Xue Wen School of Electronic

More information

Non-homogeneous Generalization in Privacy Preserving Data Publishing

Non-homogeneous Generalization in Privacy Preserving Data Publishing Non-homogeneous Generalization in Privacy Preserving Data Publishing W. K. Wong, Nios Mamoulis an Davi W. Cheung Department of Computer Science, The University of Hong Kong Pofulam Roa, Hong Kong {wwong2,nios,cheung}@cs.hu.h

More information

Offloading Cellular Traffic through Opportunistic Communications: Analysis and Optimization

Offloading Cellular Traffic through Opportunistic Communications: Analysis and Optimization 1 Offloaing Cellular Traffic through Opportunistic Communications: Analysis an Optimization Vincenzo Sciancalepore, Domenico Giustiniano, Albert Banchs, Anreea Picu arxiv:1405.3548v1 [cs.ni] 14 May 24

More information

Solution Representation for Job Shop Scheduling Problems in Ant Colony Optimisation

Solution Representation for Job Shop Scheduling Problems in Ant Colony Optimisation Solution Representation for Job Shop Scheuling Problems in Ant Colony Optimisation James Montgomery, Carole Faya 2, an Sana Petrovic 2 Faculty of Information & Communication Technologies, Swinburne University

More information

Random Clustering for Multiple Sampling Units to Speed Up Run-time Sample Generation

Random Clustering for Multiple Sampling Units to Speed Up Run-time Sample Generation DEIM Forum 2018 I4-4 Abstract Ranom Clustering for Multiple Sampling Units to Spee Up Run-time Sample Generation uzuru OKAJIMA an Koichi MARUAMA NEC Solution Innovators, Lt. 1-18-7 Shinkiba, Koto-ku, Tokyo,

More information

On the Placement of Internet Taps in Wireless Neighborhood Networks

On the Placement of Internet Taps in Wireless Neighborhood Networks 1 On the Placement of Internet Taps in Wireless Neighborhoo Networks Lili Qiu, Ranveer Chanra, Kamal Jain, Mohamma Mahian Abstract Recently there has emerge a novel application of wireless technology that

More information

Experiences Developing a Wayland-Based Tizen IVI HMI. Ossama Othman

Experiences Developing a Wayland-Based Tizen IVI HMI. Ossama Othman Experiences Developing a Wayland-Based Tizen IVI HMI Ossama Othman Context Provide human-machine interface (HMI) better suited for Tizen IVI Driver safety React to vehicle state Options Leverage existing

More information

Transient analysis of wave propagation in 3D soil by using the scaled boundary finite element method

Transient analysis of wave propagation in 3D soil by using the scaled boundary finite element method Southern Cross University epublications@scu 23r Australasian Conference on the Mechanics of Structures an Materials 214 Transient analysis of wave propagation in 3D soil by using the scale bounary finite

More information

Computer Graphics Chapter 7 Three-Dimensional Viewing Viewing

Computer Graphics Chapter 7 Three-Dimensional Viewing Viewing Computer Graphics Chapter 7 Three-Dimensional Viewing Outline Overview of Three-Dimensional Viewing Concepts The Three-Dimensional Viewing Pipeline Three-Dimensional Viewing-Coorinate Parameters Transformation

More information

JigCell Model Connector: building large molecular network models from components

JigCell Model Connector: building large molecular network models from components Simulation Applications JigCell Moel Connector: builing large molecular network moels from components Simulation: Transactions of the Society for Moeling an Simulation International 2018, Vol. 94(11) 993

More information

Backpressure-based Packet-by-Packet Adaptive Routing in Communication Networks

Backpressure-based Packet-by-Packet Adaptive Routing in Communication Networks 1 Backpressure-base Packet-by-Packet Aaptive Routing in Communication Networks Eleftheria Athanasopoulou, Loc Bui, Tianxiong Ji, R. Srikant, an Alexaner Stoylar arxiv:15.4984v1 [cs.ni] 27 May 21 Abstract

More information