Metabuscador

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

Mostrar 10 | 50 | 100 resultados por página

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

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

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

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

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

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

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

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

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

10.

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

11.

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

12.

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

13.

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

14.

Hydrogeochemistry of the upper Banyu Pahit River valley, Kawah Ijen volcano, Indonesia
Palmer, Stephanie

Formato:	Electronic Thesis or Dissertation
Enlaces:	The largest naturally-occurring lake of hyperacid brine in the world is located in the crater of Kawah Ijen volcano in East Java, Indonesia. The hyperacid Banyu Pahit River flows down the side of Kawah Ijen and is a major source…
Fecha:	2010
Recurso:	McGill University - MCGILL

Recurso libre

15.

Verifying finite-state properties of large-scale programs
Bodden, Eric

Formato:	Electronic Thesis or Dissertation
Enlaces:	Designers of software components can use finite-state properties to denote behavioral interface specifications which enforce client-side programming rules that state how the components ought to be used. This allows users of these components to check their client code for compliance…
Fecha:	2010
Recurso:	McGill University - MCGILL

Recurso libre

16.

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