Results 31 to 40 of about 3,154 (147)
Spoon: Program Analysis and Transformation in Java [PDF]
, 2006 In this research report, we present Spoon, a framework for program transformation and static analysis in Java. More precisely, Spoon is an open and extensible Java compiler, written in pure Java by using Compile-time reflection techniques.
Noguera, Carlos +2 more
core +1 more source
Q#: Enabling scalable quantum computing and development with a high-level domain-specific language
, 2018 Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing.
Azariah, John +9 more
core +1 more source
Containers on the Parallelization of General-Purpose Java Programs [PDF]
International Journal of Parallel Programming, 2000 Static parallelization of general-purpose programs is still impossible, in general, due to their common use of pointers, irregular data structures, and complex control-flows. One promising strategy is to exploit parallelism at runtime. Runtime parallelization schemes, particularly data speculations, alleviate the need to statically prove independent ...
Peng Wu 0001, David A. Padua
openaire +1 more source
C# 3.0 makes OCL redundant! [PDF]
, 2008 Other than its 'platform independence' the major advantages of OCL over traditional Object Oriented programming languages has been the declarative nature of the language, its powerful navigation facility via the iteration operations, and the availability
Akehurst, DH +3 more
core +1 more source
Implementing the Gaia Astrometric Global Iterative Solution (AGIS) in Java
, 2011 This paper provides a description of the Java software framework which has been constructed to run the Astrometric Global Iterative Solution for the Gaia mission.
Hernandez, Jose +4 more
core +1 more source
Matchmaking for covariant hierarchies [PDF]
, 2009 We describe a model of matchmaking suitable for the implementation of services, rather than their for their discovery and composition. In the model, processing requirements are modelled by client requests and computational resources are software ...
Lievens, D., Simeoni, F.
core +1 more source
Fast and Lean Immutable Multi-Maps on the JVM based on Heterogeneous Hash-Array Mapped Tries [PDF]
, 2016 An immutable multi-map is a many-to-many thread-friendly map data structure with expected fast insert and lookup operations. This data structure is used for applications processing graphs or many-to-many relations as applied in static analysis of object ...
Steindorfer, Michael J. +1 more
core +1 more source
Kopitiam: Modular Incremental Interactive Full Functional Static Verification of Java Code [PDF]
, 2011 WearedevelopingKopitiam,atooltointeractivelyprovefull functional correctness of Java programs using separation logic by inter- acting with the interactive theorem prover Coq.
Mehnert, Hannes
core +1 more source
The C++0x "Concepts" Effort [PDF]
, 2011 C++0x is the working title for the revision of the ISO standard of the C++ programming language that was originally planned for release in 2009 but that was delayed to 2011. The largest language extension in C++0x was "concepts", that is, a collection of
Siek, Jeremy G.
core +1 more source
Improving Scalability of Java Archive Search Engine Through Recursion Conversion and Multithreading [PDF]
, 2016 Based on the fact that bytecode always exists on Java archive, a bytecode based Java archive search engine had been developed [1, 2]. Although this system is quite effective, it still lack of scalability since many modules apply recursive calls and this ...
Karnalim, O. (Oscar)
core +2 more sources