Resumo (784.7Kb)
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Application-Level Virtual Memory for Object-Oriented Systems Mariano Martinez Peck
Application-Level Virtual Memory for Object-Oriented Systems Mariano Martinez Peck To cite this version: Mariano Martinez Peck. Application-Level Virtual Memory for Object-Oriented Systems. Program- ming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2012. English. tel-00764991 HAL Id: tel-00764991 https://tel.archives-ouvertes.fr/tel-00764991 Submitted on 26 Dec 2012 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. N° d’ordre : 40886 THESE présentée en vue d’obtenir le grade de DOCTEUR en Spécialité : informatique par Mariano MARTINEZ PECK DOCTORAT DELIVRE CONJOINTEMENT PAR MINES DOUAI ET L’UNIVERSITE DE LILLE 1 Titre de la thèse : Application-Level Virtual Memory for Object-Oriented Systems Soutenue le 29/10/2012 à 10h devant le jury d’examen : Président Jean-Bernard STEFANI (Directeur de recherche – INRIA Grenoble- Rhône-Alpes) Directeur de thèse Stéphane DUCASSE (Directeur de recherche – INRIA Lille) Rapporteur Robert HIRSCHFELD (Professeur – Hasso-Plattner-Institut, Universität Potsdam, Allemagne) Rapporteur Christophe DONY (Professeur – Université Montpellier 2) Examinateur Roel WUYTS (Professeur – IMEC & Katholieke Universiteit Leuven, Belgique) co-Encadrant Noury BOURAQADI (Maître-Assistant – Mines de Douai) co-Encadrant Marcus DENKER (Chargé de recherche – INRIA Lille) co-Encadrant Luc FABRESSE (Maître-Assistant – Mines de Douai) Laboratoire(s) d’accueil : Dépt. -
Debian Edu / Skolelinux Wheezy 7.1+Edu0 Manual
Debian Edu / Skolelinux Wheezy 7.1+edu0 Manual May 28, 2016 i CONTENTS CONTENTS Contents 1 Manual for Debian Edu 7.1+edu0 Codename Wheezy1 2 About Debian Edu and Skolelinux1 2.1 Some history and why two names . .1 3 Architecture 2 3.1 Network . .2 3.1.1 The default network setup . .3 3.1.2 Main server (tjener) . .3 3.1.3 Services running on the main server . .3 3.1.4 LTSP server(s) (Thin client server(s)) . .5 3.1.5 Thin clients . .5 3.1.6 Diskless workstations . .5 3.1.7 Networked clients . .5 3.2 Administration . .5 3.2.1 Installation . .5 3.2.2 File system access configuration . .6 4 Requirements 6 4.1 Hardware requirements . .6 4.2 Hardware known to work . .7 5 Requirements for network setup7 5.1 Default Setup . .7 5.2 Internet router . .7 6 Installation and download options8 6.1 Where to find additional information . .8 6.2 Download the installation media for Debian Edu 7.1+edu0 Codename "Wheezy" . .8 6.2.1 netinstall CD image for i386, amd64 . .8 6.2.2 USB flash drive / Blue-ray disc ISO image for i386 and amd64 . .8 6.2.3 Source image . .8 6.3 Request a CD / DVD by mail . .8 6.4 Installing Debian Edu . .9 6.4.1 Select type of installation . .9 6.4.1.1 Additional boot parameters for installations . 12 6.4.2 The installation process . 12 6.4.3 Notes on some characteristics . 14 6.4.3.1 A note on notebooks . -
Content Project V7 English
Content Project V7 English Public Computer Entrepre- Climate Program- Solar Water Tech Leadership Agriculture Recycling Education neurship Change ming Energy Literacy Health Potential and Growth CD3W Videos BFOIT CD3W IEARN We Recycle Business Lessons Introduction Resources CD3W CD3W Resources Getting Where GirlRising Resources Resources Readings to on Solar Started with Class UNGEI How to Set Computer Energy on Water There Is No and Ubuntu Manage- Doctor Peace Up Nat’l Geo Program- 10.04 ment STEM Computer a Climate.gov ming Sanitation Corps UNESCO Khan Academy Books Refurbishing CLEAN Getting Empowering Center and more UN Lesson HIV/AIDS WikiSlice Plans on Started with Girls Library Ck-12 Textbooks Adrodok Water OpenOffice Intro to Computer Prog Empowering Medline Thinkersmith Vegetable How to Girls-School Computer Sci in a Box Garden Assemble a Computer Ubuntu Manual Life Skills Childhood LibreOffice Guides Healthy Illness Harvest Math Science Reference Writing Soc.Sci. Promoting Comp. for Class. Guidesl Powerful Health for People Health Wikipedia and Wikibooks Children Hesperian Health Guides Khan Video BlueMall Medline Learning Volunteer- Teach AIDS Khan Video Lessons Basic 20 Gigabytes with thousands of Health Medline Plus Lessons Spelling Center ism Activities for Language searchable articles using the Pop. Council Activities Ck-12 Kiwix offline wiki-reader Primary Gr. Ck-12 Textbooks Dictionary Common World Map Textbooks Sense Project HIV Toolkit Wiki HowTo Thousands of books for youth WikiSlice Compositio of all ages Unesco -Animals -
Praise for the Official Ubuntu Book
Praise for The Official Ubuntu Book “The Official Ubuntu Book is a great way to get you started with Ubuntu, giving you enough information to be productive without overloading you.” —John Stevenson, DZone Book Reviewer “OUB is one of the best books I’ve seen for beginners.” —Bill Blinn, TechByter Worldwide “This book is the perfect companion for users new to Linux and Ubuntu. It covers the basics in a concise and well-organized manner. General use is covered separately from troubleshooting and error-handling, making the book well-suited both for the beginner as well as the user that needs extended help.” —Thomas Petrucha, Austria Ubuntu User Group “I have recommended this book to several users who I instruct regularly on the use of Ubuntu. All of them have been satisfied with their purchase and have even been able to use it to help them in their journey along the way.” —Chris Crisafulli, Ubuntu LoCo Council, Florida Local Community Team “This text demystifies a very powerful Linux operating system . in just a few weeks of having it, I’ve used it as a quick reference a half dozen times, which saved me the time I would have spent scouring the Ubuntu forums online.” —Darren Frey, Member, Houston Local User Group This page intentionally left blank The Official Ubuntu Book Sixth Edition This page intentionally left blank The Official Ubuntu Book Sixth Edition Benjamin Mako Hill Matthew Helmke Amber Graner Corey Burger With Jonathan Jesse, Kyle Rankin, and Jono Bacon Upper Saddle River, NJ • Boston • Indianapolis • San Francisco New York • Toronto • Montreal • London • Munich • Paris • Madrid Capetown • Sydney • Tokyo • Singapore • Mexico City Many of the designations used by manufacturers and sellers to distinguish their products are claimed as trademarks. -
Wireless Evolution •..••••.•.•...•....•.•..•.•••••••...••••••.•••.••••••.••.•.••.••••••• 4
Department of Justice ,"'''''''''<11 Bureau of Investigation ,Operational Technology Division WIRELESS EVDLUTIDN IN THIS Iselil-it:: .. WIRELESS EVOLUTIDN I!I TECH BYTES • LONG TERM EVOLUTIQN ill CLDUD SERVICES • 4G TECHNOLOGY ill GESTURE-RECOGNITION • FCC ON BROADBAND • ACTIVITY-BASED NAVIGATION 'aw PUIi! I' -. q f. 8tH'-.1 Waa 8RI,. (!.EIi/RiW81 R.d-nl)) - 11 - I! .el " Ij MESSAGE FROM MANAGEMENT b7E he bou~~aries of technology are constantly expanding. develop technical tools to combat threats along the Southwest Recognizing the pathway of emerging technology is Border. a key element to maintaining relevance in a rapidly changing technological environment. While this The customer-centric approach calls for a high degree of T collaboration among engineers, subject matter experts (SMEs), proficiency is fundamentally important in developing strategies that preserve long-term capabilities in the face of emerging and the investigator to determine needs and requirements. technologies, equally important is delivering technical solutions To encourage innovation, the technologists gain a better to meet the operational needs of the law enforcement understanding of the operational and investigative needs customer in a dynamic 'threat' environment. How can technical and tailor the technology to fit the end user's challenges. law enforcement organizations maintain the steady-state Rather than developing solutions from scratch, the customer production of tools and expertise for technical collection, while centric approach leverages and modifies the technoloe:v to infusing ideas and agility into our organizations to improve our fit the customer's nFlFlrt~.1 ability to deliver timely, relevant, and cutting edge tools to law enforcement customers? Balancing these two fundamentals through an effective business strategy is both a challenge and an opportunity for the Federal Bureau of Investigation (FBI) and other Federal, state, and local law enforcement agencies. -
Indicators for Missing Maintainership in Collaborative Open Source Projects
TECHNISCHE UNIVERSITÄT CAROLO-WILHELMINA ZU BRAUNSCHWEIG Studienarbeit Indicators for Missing Maintainership in Collaborative Open Source Projects Andre Klapper February 04, 2013 Institute of Software Engineering and Automotive Informatics Prof. Dr.-Ing. Ina Schaefer Supervisor: Michael Dukaczewski Affidavit Hereby I, Andre Klapper, declare that I wrote the present thesis without any assis- tance from third parties and without any sources than those indicated in the thesis itself. Braunschweig / Prague, February 04, 2013 Abstract The thesis provides an attempt to use freely accessible metadata in order to identify missing maintainership in free and open source software projects by querying various data sources and rating the gathered information. GNOME and Apache are used as case studies. License This work is licensed under a Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) license. Keywords Maintenance, Activity, Open Source, Free Software, Metrics, Metadata, DOAP Contents List of Tablesx 1 Introduction1 1.1 Problem and Motivation.........................1 1.2 Objective.................................2 1.3 Outline...................................3 2 Theoretical Background4 2.1 Reasons for Inactivity..........................4 2.2 Problems Caused by Inactivity......................4 2.3 Ways to Pass Maintainership.......................5 3 Data Sources in Projects7 3.1 Identification and Accessibility......................7 3.2 Potential Sources and their Exploitability................7 3.2.1 Code Repositories.........................8 3.2.2 Mailing Lists...........................9 3.2.3 IRC Chat.............................9 3.2.4 Wikis............................... 10 3.2.5 Issue Tracking Systems...................... 11 3.2.6 Forums............................... 12 3.2.7 Releases.............................. 12 3.2.8 Patch Review........................... 13 3.2.9 Social Media............................ 13 3.2.10 Other Sources.......................... -
Pipenightdreams Osgcal-Doc Mumudvb Mpg123-Alsa Tbb
pipenightdreams osgcal-doc mumudvb mpg123-alsa tbb-examples libgammu4-dbg gcc-4.1-doc snort-rules-default davical cutmp3 libevolution5.0-cil aspell-am python-gobject-doc openoffice.org-l10n-mn libc6-xen xserver-xorg trophy-data t38modem pioneers-console libnb-platform10-java libgtkglext1-ruby libboost-wave1.39-dev drgenius bfbtester libchromexvmcpro1 isdnutils-xtools ubuntuone-client openoffice.org2-math openoffice.org-l10n-lt lsb-cxx-ia32 kdeartwork-emoticons-kde4 wmpuzzle trafshow python-plplot lx-gdb link-monitor-applet libscm-dev liblog-agent-logger-perl libccrtp-doc libclass-throwable-perl kde-i18n-csb jack-jconv hamradio-menus coinor-libvol-doc msx-emulator bitbake nabi language-pack-gnome-zh libpaperg popularity-contest xracer-tools xfont-nexus opendrim-lmp-baseserver libvorbisfile-ruby liblinebreak-doc libgfcui-2.0-0c2a-dbg libblacs-mpi-dev dict-freedict-spa-eng blender-ogrexml aspell-da x11-apps openoffice.org-l10n-lv openoffice.org-l10n-nl pnmtopng libodbcinstq1 libhsqldb-java-doc libmono-addins-gui0.2-cil sg3-utils linux-backports-modules-alsa-2.6.31-19-generic yorick-yeti-gsl python-pymssql plasma-widget-cpuload mcpp gpsim-lcd cl-csv libhtml-clean-perl asterisk-dbg apt-dater-dbg libgnome-mag1-dev language-pack-gnome-yo python-crypto svn-autoreleasedeb sugar-terminal-activity mii-diag maria-doc libplexus-component-api-java-doc libhugs-hgl-bundled libchipcard-libgwenhywfar47-plugins libghc6-random-dev freefem3d ezmlm cakephp-scripts aspell-ar ara-byte not+sparc openoffice.org-l10n-nn linux-backports-modules-karmic-generic-pae -
Installation Guide: Installation of Tools and Applications Required for Rolling out ICT in Schools
Installation Guide: Installation of tools and applications required for rolling out ICT in Schools Step 1: Configure Ubuntu to install software packages Important: Ensure that you are connected to internet before proceeding. 1. Search your computer for “Software and Updates”. The Software and Updates window opens. 2. Click the Other Software tab. 3. Select Canonical Partners and Canonical Partners (Source Code) check boxes. 4. Click Close. 5. Enter system password “pass@123”. 6. Click Reload. The system will take a few minutes to update the necessary software list. The window closes automatically after installation. Step 2: Install these softwares 1. Installation of Tuxpaint in Ubuntu: Open terminal from Unity Dash, App Launcher, or via Ctrl+Alt+T shortcut key. When it opens, paste below command and hit run: 1. sudo apt-get update Type password (no visual feedback so just type in mind) when it asks, and hit Enter to continue. 2. sudo apt-get install tuxpaint Type ‘Y’, when asked “yes/No” and hit Enter to continue. 2. Installation of Tuxmath in Ubuntu: Open terminal from Unity Dash, App Launcher, or via Ctrl+Alt+T shortcut key. When it opens, paste below command and hit run: 1. sudo apt-get update Type password (no visual feedback so just type in mind) when it asks, and hit Enter to continue. 2. sudo apt-get install tuxmath Type ‘Y’, when asked “yes/No” and hit Enter to continue. 3. Installation of Gcompris in Ubuntu: Go to Ubuntu Software store, search “Gcompris“, click install. Or Open terminal from Unity Dash, App Launcher, or via Ctrl+Alt+T shortcut key. -
Geometry Tools Gclc and Wingclc
Geometry Tools gclc and Wingclc Predrag Janiˇci´c [email protected] Faculty of Mathematics, University of Belgrade Studentski trg 16, 11 000 Belgrade, Serbia Abstract. We present geometry tools gclc and Wingclc. They are based on a custom-built language for declarative representation of ge- ometry figures. There are automated geometry theorem provers built in gclc that directly link visual and semantical geometrical information with deductive properties and machine–generated proofs. So, gclc/Win- gclc can serve as a powerful mechanized geometric assistant. The main areas of applications of gclc/Wingclc are in mathematical education, in publishing, in storing mathematical knowledge, and in studies of au- tomated reasoning. 1 Introduction Euclidean geometry and geometric constructions have important role in math- ematics and in mathematical education for thousands of years. In twentieth century, there was a shift from classical, synthetic geometry in favor of algebraic geometry in university education. However, synthetic geometry still holds a very important position in lower levels of mathematical education and also, in recent years, it has been making a comeback to university education, thanks to impor- tant applications in computer-aided design, computer graphics, computer vision, robotics, etc. There is a range of geometry software tools, covering different geometries and geometrical problems. Many of them focus on Euclidean geometry and on con- struction problems. These problems are very suitable for interactive work and animations, typical for dynamic geometry software (e.g., Geometer’s Sketchpad, Cabri, Cinderella). In dynamic geometry software, the user can create and ma- nipulate geometric constructions. Typically, the user starts a construction with several points, construct new objects depending on the existing ones, and then move the starting points to explore how the whole construction changes. -
Awoken Icon Theme - Installation & Customizing Instructions 1
Awoken Icon Theme - Installation & Customizing Instructions 1 AWOKEN ICON THEME Installation & Customizing Instructions Alessandro Roncone mail: [email protected] homepage: http://alecive.deviantart.com/ Awoken homepage (GNOME Version): link kAwoken homepage (KDE Version): link Contents 1 Iconset Credits 3 2 Copyright 3 3 Installation 3 3.1 GNOME........................................................3 3.2 KDE..........................................................4 4 Customizing Instructions 4 4.1 GNOME........................................................4 4.2 KDE..........................................................5 5 Overview of the customization script6 5.1 How to customize a single iconset..........................................7 6 Customization options 8 6.1 Folder types......................................................8 6.2 Color-NoColor.................................................... 11 6.3 Distributor Logos................................................... 11 6.4 Trash types...................................................... 11 6.5 Other Options.................................................... 11 6.5.1 Gedit icon................................................... 11 6.5.2 Computer icon................................................ 11 6.5.3 Home icon................................................... 11 6.6 Deprecated...................................................... 12 7 How to colorize the iconset 13 8 Icons that don't want to change (but I've drawed) 14 9 Conclusions 15 9.1 Changelog...................................................... -
Linux Professional Institute Tutorials LPI Exam 101 Prep: Hardware and Architecture Junior Level Administration (LPIC-1) Topic 101
Linux Professional Institute Tutorials LPI exam 101 prep: Hardware and architecture Junior Level Administration (LPIC-1) topic 101 Skill Level: Introductory Ian Shields ([email protected]) Senior Programmer IBM 08 Aug 2005 In this tutorial, Ian Shields begins preparing you to take the Linux Professional Institute® Junior Level Administration (LPIC-1) Exam 101. In this first of five tutorials, Ian introduces you to configuring your system hardware with Linux™. By the end of this tutorial, you will know how Linux configures the hardware found on a modern PC and where to look if you have problems. Section 1. Before you start Learn what these tutorials can teach you and how you can get the most from them. About this series The Linux Professional Institute (LPI) certifies Linux system administrators at two levels: junior level (also called "certification level 1") and intermediate level (also called "certification level 2"). To attain certification level 1, you must pass exams 101 and 102; to attain certification level 2, you must pass exams 201 and 202. developerWorks offers tutorials to help you prepare for each of the four exams. Each exam covers several topics, and each topic has a corresponding self-study tutorial on developerWorks. For LPI exam 101, the five topics and corresponding developerWorks tutorials are: Hardware and architecture © Copyright IBM Corporation 1994, 2008. All rights reserved. Page 1 of 43 developerWorks® ibm.com/developerWorks Table 1. LPI exam 101: Tutorials and topics LPI exam 101 topic developerWorks tutorial Tutorial summary Topic 101 LPI exam 101 prep (topic (This tutorial). Learn to 101): configure your system Hardware and architecture hardware with Linux. -
The Kig Handbook
The Kig Handbook Dominique Devriese The Kig Handbook 2 Contents 1 Introduction 1 2 Basic usage 2 2.1 Constructing Objects . 2 2.1.1 Constructing points . 2 2.1.2 Constructing Other Objects . 3 2.2 Selecting Objects . 5 2.3 Moving Objects . 6 2.4 Deleting objects . 7 2.5 Showing and hiding objects . 7 2.5.1 Night Vision . 7 2.6 Undo/Redo . 7 2.7 Full Screen Mode . 7 3 Kig Object Types 8 4 Advanced Usage 9 4.1 Context Menus . 9 4.2 Document context menus . 9 4.3 Defining Macros . 9 4.4 Working with types . 12 4.5 Text labels . 13 4.6 Locuses . 16 5 Scripting 18 6 Kig Features 22 The Kig Handbook 7 Questions and Answers 24 8 Credits and License 25 A Installation 26 A.1 How to obtain Kig . 26 A.2 Compilation and Installation . 26 B Contribute 27 B.1 Free Software . 27 B.2 Contribute . 27 B.3 How to contribute ? . 27 4 Abstract Kig is a KDE application for Interactive Geometry. The Kig Handbook Chapter 1 Introduction Kig is an application for Interactive Geometry. It’s intended to serve two pur- poses: • Allow students to interactively explore mathematical figures and concepts using the computer. • Serve as a WYSIWYG tool for drawing mathematical figures and including them in other documents. You can report problems in Kig using the internal bug reporting tool (Help → Report Bug...), or just contact me at [email protected]. Since Kig supports macros and the construction of locuses, it allows for some rather advanced macros to be defined.