Metabuscador

Aproximadamente 32 registro(s) hasta el momento: (java)

Mostrar 10 | 50 | 100 resultados por página

Recurso libre

New algorithms for a java decompiler and their implementation in Soot
Miecznikowski, Jerome

Formato:	Electronic Thesis or Dissertation
Enlaces:	This thesis presents Dava, a Java bytecode to Java source code decompiler built on top of the Soot framework., The Java Virtual Machine Specification of valid bytecode is much less restrictive than the Java Language Specification of valid Java source…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

A portable research framework for the execution of Java bytecode /
Gagnon, Etienne

Formato:	Electronic Thesis or Dissertation
Enlaces:	Compilation to bytecode paired with interpretation is often used as a technique to easily build prototypes for new programming languages. Some languages, including Java, push this further and use the bytecode layer to isolate programs from the underlying platform. Current…
Fecha:	2002
Recurso:	McGill University - MCGILL

Recurso libre

The educational role of the Ṭarīqa Qādiriyya Naqshbandiyya with special reference to Suryalaya /
Sri Mulyati

Formato:	Electronic Thesis or Dissertation
Enlaces:	This dissertation surveys the historical and intellectual development of the Ṭariqa Qadiriyya Naqshbandiyya (TQN), the amalgamated Sufi order founded in Indonesia by Shaykh Aḥmad Khaṭib Sambas (d.1875). After a brief recapitulation of the progress of Sufi orders in and beyond…
Fecha:	2002
Recurso:	McGill University - MCGILL

Recurso libre

Implementation and optimization of thread-local variables for a race-free Java dialect
Zhang, Yi

Formato:	Electronic Thesis or Dissertation
Enlaces:	Despite the popularity of Java, problems may arise from potential data-race conditionsduring execution of a Java program. Data-races are considered errors in concurrent pro-gramming languages and greatly complicate both programming and runtime optimizationefforts. A race-free version of Java is therefore…
Fecha:	2012
Recurso:	McGill University - MCGILL

Recurso libre

Runtime techniques and interprocedural analysis in Java virtual machines
Qian, Feng, 1973-

Formato:	Electronic Thesis or Dissertation
Enlaces:	Java programs are deployed in a bytecode format that is executed by a Java virtual machine (JVM). JVM performance is determined by several major components: execution engine, garbage collector, and threading system. The static compilation and optimization approach, such as…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

Spark : a flexible points-to analysis framework for Java
Lhoták, Ondr̆ej

Formato:	Electronic Thesis or Dissertation
Enlaces:	Many compiler analyses and optimizations require precise information about the behaviour of pointers in order to be effective. Points-to analysis is a technique for computing this information that has been studied extensively over the last decade. Most of this research…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

Learning from the west : sexuality education in taboo Javanese society
Husni Rahiem, Maila Dinia

Formato:	Electronic Thesis or Dissertation
Enlaces:	In this thesis I examine the issues of sex education in Western and Javanese society using a conceptual-comparative approach. My main goal is to highlight the importance of sex education for young people in Javanese society. Research foci and discoveries…
Fecha:	2004
Recurso:	McGill University - MCGILL

Recurso libre

Java bytecode obfuscation
Batchelder, Michael Robert

Formato:	Electronic Thesis or Dissertation
Enlaces:	Programs written for machine execution will always be susceptible to information theft. This information can include trademarked algorithms, data embedded in the program, or even data the program accesses. As technology advances computer scientists are building more and more powerful…
Fecha:	2007
Recurso:	McGill University - MCGILL

Recurso libre

Shimple : and investigation of static single assignment form
Umanee, Navindra.

Formato:	Electronic Thesis or Dissertation
Enlaces:	In designing compiler analyses and optimisations, the choice of intermediate representation (IR) is a crucial one. Static Single Assignment (SSA) form in particular is an IR with interesting properties, enabling certain analyses and optimisations to be more easily implemented while…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

10.

Dynamic profiling and trace creation
Berndl, Marc

Formato:	Electronic Thesis or Dissertation
Enlaces:	Effective dynamic virtual-machine optimization depends on quickly finding and optimizing frequently-executed code regions. Such regions are naturally represented with a trace-cache, a collection of long, frequently-executed sequences of instructions. An ideal trace-cache is small and captures the majority of the…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

11.

Using inter-procedural side-effect information in JIT optimizations
Le, Anatole

Formato:	Electronic Thesis or Dissertation
Enlaces:	Side-effect analysis gives information about the set of locations that a statement may read or modify. This analysis can provide information useful in a compiler for performing aggressive optimizations. The impact of the use of side-effect analysis in compiler optimizations…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

12.

The design of a distributed, object-oriented, component-based framework in multidisciplinary design optimization /
Mahdavi, Babak

Formato:	Electronic Thesis or Dissertation
Enlaces:	The Multidisciplinary Design Optimization (MDO) can be defined as a methodology for the design of complex engineering systems where collaboration and abilities to mutually interacting between different disciplines are fundamental. In this thesis, Virtual Aircraft Design and Optimization fRamework (VADOR),…
Fecha:	2002
Recurso:	McGill University - MCGILL

Recurso libre

13.

Program analysis using binary decision diagrams
Lhoták, Ondřej.

Formato:	Electronic Thesis or Dissertation
Enlaces:	A fundamental problem in interprocedural program analyses is the need to represent and manipulate collections of large sets. Binary Decision Diagrams (BDDs) are a data structure widely used in model checking to compactly encode large state sets. In this dissertation,…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

14.

A practical MHP information computation for concurrent Java programs /
Li, Lin, 1971-

Formato:	Electronic Thesis or Dissertation
Enlaces:	With the development of multi-processors, multi-threaded programs and programming languages have become more and more popular. This requires extending the scope of program analysis and compiler optimization from traditional, sequential programs to concurrent programs., Naumovich et al. proposed May Happen…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

15.

Dynamic purity analysis for Java programs
Xu, HaiYing

Formato:	Electronic Thesis or Dissertation
Enlaces:	The pure methods in a program are those that exhibit functional or side effect free behaviour, a useful property of methods or code in the context of program optimization as well as program understanding. However, gathering purity data is not…
Fecha:	2007
Recurso:	McGill University - MCGILL

Recurso libre

16.

The historical past as a tool for nation-building in new order Indonesia /
Wood, Michael John

Formato:	Electronic Thesis or Dissertation
Enlaces:	This study describes how the New Order regime created and used a particular version of the Indonesian past. This official past drew on the work of "the history industry" (archaeological and historical research) and is reflected in approved works of…
Fecha:	2004
Recurso:	McGill University - MCGILL

Recurso libre

17.

Implementation of an information retrieval system for stock option analysis
Lu, Xiaofan

Formato:	Electronic Thesis or Dissertation
Enlaces:	Stock option trading has been very active since options were invented. Option analysis is very useful in helping investors decide investing strategies and predict the trend of the future stock movements. In this thesis, basic theory about stock option trading…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

18.

Calculating the probability of an LTL formula over a labeled Markov chain
Eliosoff, Jacob

Formato:	Electronic Thesis or Dissertation
Enlaces:	This thesis presents a new algorithm to compute the probability that a state in a labeled Markov chain model satisfies an LTL specification. A solution to this problem was given by Courcoubetis & Yannakakis in 1995, but unlike their solution…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

19.

A policy based network configuration framework /
Xiao, Zhifeng, 1966-

Formato:	Electronic Thesis or Dissertation
Enlaces:	Networks and their services have been growing rapidly in recent years, so has the complexity of configuring the network operations. In order to manage the rapidly expanding networks, new management protocols are thus needed to change the network management from…
Fecha:	2002
Recurso:	McGill University - MCGILL

Recurso libre

20.

Software method level speculation for Java
Pickett, Christopher

Formato:	Electronic Thesis or Dissertation
Enlaces:	Speculative multithreading (SpMT), also known as thread level speculation (TLS), is a dynamic parallelization technique that relies on out-of-order execution, dependence buffering, and misspeculation rollback to achieve speedup of sequential programs on multiprocessors. A large number of hardware studies have…
Fecha:	2012
Recurso:	McGill University - MCGILL

Recurso libre

21.

Sablejit : a retargetable just-in-time compiler
Bélanger, David, 1978-

Formato:	Electronic Thesis or Dissertation
Enlaces:	In this thesis, we introduce SableJIT, a retargetable just-in-time compiler for the SableVM Java virtual machine. Our design attempts to minimize the amount of work required to port (or to retarget) our compiler to a new platform. We accomplish this…
Fecha:	2004
Recurso:	McGill University - MCGILL

Recurso libre

22.

Gshell : a command interpreter for a public computing utility
Deng, Ying, 1972-

Formato:	Electronic Thesis or Dissertation
Enlaces:	Galaxy shell, a sub component of Galaxy project, is designed and implemented. Galaxy shell is a core component of the Galaxy services, which provides an interface for Galaxy developers or other modules to access certain functions supported by Galaxy system.…
Fecha:	2004
Recurso:	McGill University - MCGILL

Recurso libre

23.

Cache line reservation: exploring a scheme for cache-friendly object allocation
Bilicki, Ivan

Formato:	Electronic Thesis or Dissertation
Enlaces:	This thesis presents a novel idea for object allocation, cache line reservation (CLR), whose goal is to reduce data cache misses. Certain objects are allocated from "reserved" cache lines, so that they do not evict other objects that will be…
Fecha:	2009
Recurso:	McGill University - MCGILL

Recurso libre

24.

Optimizing software-hardware interplay in efficient virtual machines
Prokopski, Grzegorz

Formato:	Electronic Thesis or Dissertation
Enlaces:	To achieve the best performance, most computer languages are compiled, either ahead of time and statically, or dynamically during runtime by means of a Just-in-Time (JIT) compiler. Optimizing compilers are complex, however, and for many languages such as Ruby, Python,…
Fecha:	2009
Recurso:	McGill University - MCGILL

Recurso libre

25.

Step: a framework for the efficient encoding of general trace data
Brown, Rhodes Hart Fraser

Formato:	Electronic Thesis or Dissertation
Enlaces:	Program tracing is a common technique employed by software and hardware developers who are interested in characterizing the dynamic behavior of complex software systems. However, despite the popularity of trace-driven analyses, there are surprisingly few options for encoding trace data…
Fecha:	2003
Recurso:	McGill University - MCGILL

Recurso libre

26.

Minueto, an undergraduate teaching development framework
Denault, Alexandre

Formato:	Electronic Thesis or Dissertation
Enlaces:	In the last decade, the video game industry has shown unparalleled growth, both in revenue and in development complexity. Modern video games are built using powerful game development tools. However, given their complexity and scope, these tools are ill-suited for…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

27.

Measuring and improving the runtime behaviour of aspectJ programs
Goard, Christopher.

Formato:	Electronic Thesis or Dissertation
Enlaces:	AspectJ is a popular aspect-oriented extension to Java, providing powerful new features for the modularizing of crosscutting concerns, promising improved code quality. The runtime cost of these features, however, is currently not well understood, and is a concern limiting even…
Fecha:	2005
Recurso:	McGill University - MCGILL

Recurso libre

28.

Objective quantification of program behaviour using dynamic metrics
Dufour, Bruno

Formato:	Electronic Thesis or Dissertation
Enlaces:	In order to perform meaningful experiments in optimizing compilation and runtime system design, researchers usually rely on a suite of benchmark programs of interest to the optimization technique under consideration. Programs are described as numeric, memory-intensive, concurrent, or object-oriented, based…
Fecha:	2004
Recurso:	McGill University - MCGILL

Recurso libre

29.

Static lock allocation
Halpert, Richard

Formato:	Electronic Thesis or Dissertation
Enlaces:	The allocation of lock objects to critical sections in concurrent programs affects both performance and correctness. Traditionally, this allocation is done manually by the programmer. Recent work explores automatic lock allocation, aiming primarily to minimize conflicts and maximize parallelism by…
Fecha:	2008
Recurso:	McGill University - MCGILL

Recurso libre

30.

Interpreting success and failure: the eclectic careers of Eva and Juliette Gauthier
Slominska, Anita Marie

Formato:	Electronic Thesis or Dissertation
Enlaces:	My dissertation explores the eclectic singing careers of sisters Eva and Juliette Gauthier. Born in Ottawa, Eva and Juliettte were aided in their musical aspirations by the patronage of Prime Minister Wilfred Laurier and his wife Lady Zoë. They both…
Fecha:	2009
Recurso:	McGill University - MCGILL

Recurso libre

31.

Enabling precise interpretations of software change data
Kawrykow, David

Formato:	Electronic Thesis or Dissertation
Enlaces:	Numerous techniques mine change data captured in software archives to assist software engineering efforts. These change-based approaches typically analyze change sets -- groups of co-committed changes -- under the assumption that the development work represented by change sets is both…
Fecha:	2012
Recurso:	McGill University - MCGILL

Recurso libre

32.

Fumarolic activity, acid-sulfate alteration and high- sulfidation epithermal precious metal mineralization in the crater of Kawah Ijen volcano (Java, Indonesia)
Scher, Samantha

Formato:	Electronic Thesis or Dissertation
Enlaces:	High-sulfidation epithermal deposits are genetically associated with calc-alkaline volcanism in subduction zones, and although these ore deposits are excellent places to focus research, subduction zone stratovolcanoes provide important windows on magmatic-hydrothermal processes that are not available from study of the…
Fecha:	2012
Recurso:	McGill University - MCGILL