Subroutine - PDFSEARCH.IO - Document Search Engine

Subroutine
Results: 1130

#	Item
571	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, F[removed]Paris (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.open-do.org Language: English - Date: 2011-12-14 10:38:39 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
572	Perl Best Practices Reference Guide[removed]. Add to Reading List Source URL: www.squirrel.nl Language: English - Date: 2007-12-20 10:33:28 Perl Source code Cross-platform software Procedural programming languages Subroutine University of Cambridge Computer Laboratory Control flow XS Parameter Software engineering Computing Computer programming
573	TWENTY REASONS WHY YOU SHOULD USE BOXER (INSTEAD O F LOGO) * Andrea A. diSessa Graduate School of Education University of California Berkeley, CA 94720 Add to Reading List Source URL: www.soe.berkeley.edu Language: English - Date: 2006-03-24 14:14:58 Data types Logo Scope MicroWorlds Variable Subroutine Pointer Environment variable Software engineering Computing Computer programming
574	NAG Library Manual X07BAF NAG Library Routine Document X07BAF Add to Reading List Source URL: www.nag.com Language: English - Date: 2013-01-25 10:47:10 Computer programming Floating point Subroutine IEEE Standards Association Parameter Machine epsilon NaN Computer arithmetic Computing Software engineering
575	Microsoft Word - Ada Distilled[removed]Color Version.doc Add to Reading List Source URL: www.adapower.com Language: English - Date: 2004-10-28 01:00:00 Cross-platform software Procedural programming languages Ada programming language Ada Subroutine Control flow C++ ALGOL 68 Pointer Computing Software engineering Computer programming
576	How a Java VM Can Get More from a Hardware Performance Monitor Hiroshi Inoue and Toshio Nakatani IBM Research – Tokyo[removed], Shimo-tsuruma, Yamato-shi, Kanagawa-ken, [removed], Japan {inouehrs, nakatani}@jp.ibm.com Add to Reading List Source URL: researcher.watson.ibm.com Language: English - Date: 2012-09-21 10:11:13 Java virtual machine Concurrent computing Software optimization Profiling Computing platforms Subroutine Java Call stack Garbage collection Computing Computer programming Cross-platform software
577	UNIVERSITY OF CAMBRIDGE Computer Laboratory Computer Science Tripos Part II Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-01-11 11:34:03 Compiler optimizations Compiler construction Programming language implementation Register allocation Static single assignment form Data-flow analysis Live variable analysis Subroutine Pointer Software engineering Computing Computer programming
578	PAPI Conversion Cookbook Introduction So… you’ve instrumented your code and it’s running fine under PAPI 2.x.y. Why would you want to upgrade to PAPI 3.0? There are some good reasons. For example, • Better perfor Add to Reading List Source URL: www.lrz.de Language: English - Date: 2014-04-02 09:41:07 Software optimization C++ Profiling C Pointer Sequence container Subroutine Computer programming Computing Software engineering
579	Eidgenössische Technische Hochschule Zürich Programming in Systems[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-12-09 20:47:43 Assembly languages Central processing unit Processor register Memory address Pointer Stack Subroutine Stack machine LC-3 Computing Software engineering Computer programming
580	Eidgenössische Technische Hochschule Zürich Programming in Systems[removed]) Add to Reading List Source URL: www.cs.inf.ethz.ch Language: English - Date: 2001-12-18 19:03:37 Computing Calling convention O0 Stack Leaf subroutine Pointer NOP Parameter Software engineering Subroutines Computer programming

UPDATE