On Development of Inspection System for Biometric Passports Using Java

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

The inception of object-oriented programming introduces a category of bugs related to object construction: initialization errors. Every newly created object goes through several initialization states: starting from a state where all fields are uninitialize ...

Scala has been developed as a language that deeply integrates with the Java ecosystem. It offers seamless interoperability with existing Java libraries. Since the Scala compiler targets Java bytecode, Scala programs have access to high-performance runtimes ...

Programming languages are increasingly compiled to multiple runtimes, each featuring their own rich structures such as their object model. Furthermore, they need to interact with other languages targeting said runtimes. A language targeting only one runtim ...

Scala heavily relies on a number of object-oriented abstractions to support its feature-rich collections library. There are known techniques that optimize those abstractions away in just-in-time (JIT) compilers, but applying them in the ahead-of-time (AOT) ...

We present short programs that demonstrate the unsoundness of Java and Scala's current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down) casting. Fortunately, parame ...

We present a new code assistance tool for integrated development environments. Our system accepts as input free-form queries containing a mixture of English and Java, and produces Java code expressions that take the query into account and respect syntax, t ...

We present short programs that demonstrate the unsoundness of Java and Scala’s current type systems. In particular, these programs provide parametrically polymorphic functions that can turn any type into any type without (down)casting. Fortunately, paramet ...

We consider two approaches for building component-based systems, which we call respectively architecture-based and architecture-agnostic. The former consists in describing coordination constraints in a purely declarative manner through parameterizable glue ...

Just-in-time (JIT) compilation of running programs provides more optimization opportunities than offline compilation. Modern JIT compilers, such as those in virtual machines like Oracle's HotSpot for Java or Google's V8 for JavaScript, rely on dynamic prof ...

Background: Recently, the effects of nanogratings have been investigated on PC12 with respect to cell polarity, neuronal differentiation, migration, maturation of focal adhesions and alignment of neurites. Methodology/Principal Findings: A synergistic proc ...

Parametric polymorphism enables code reuse and type safety. Underneath the uniform interface exposed to programmers, however, its low level implementation has to cope with inherently non-uniform data: value types of different sizes and semantics (bytes, in ...

As the classic transactional abstraction is sometimes considered too restrictive in leveraging parallelism, a lot of work has been devoted to devising relaxed transactional models with the goal of improving concurrency. Nevertheless, the quest for improvin ...

Nowadays, Java is used in all types of embedded devices. For these memory-constrained systems, the automatic dynamicmemorymanager (Garbage Collector or GC) has been always a key factor in terms of the Java Virtual Machine (JVM) performance. Moreover, in cu ...

The paper presents a novel approach to conduct laboratory experiments in relation with the Control class taught at EPFL. The existing laboratory interface built as a Java applet, which allows students to access experimentation devices locally or remotely, ...

We present Communix, a collaborative deadlock immunity framework for Java programs. Deadlock immunity enables applications to avoid deadlocks that they previously encountered. Dimmunix [1], our deadlock immunity system, detects deadlocks and saves their si ...

In concurrent programs raising an exception in one thread does not prevent others from operating on an inconsistent shared state. Instead, exceptions should ideally be handled in coordination by all the threads that are affected by their cause. In this pap ...

As research in building energy demand simulation is reaching maturity, there is now a growing interest in the evaluation of the energy need of larger and/or pre-existing urban areas [1, 2, 3], to evaluate the energy performance associated with alternative ...

Formally proving complex program properties is still considered impractical for systems with over a million lines of code (MLOC). We present iProve, an approach that enables the generation and verification of proofs for interesting program properties in la ...

Achieving submillisecond response times in a managed language environment such as Java or C# requires overcoming signiﬁcant challenges. In this article, we propose Reﬂexes, a programming model and runtime system infrastructure that lets developers seamless ...

A new approach to developing Web-enabled environments for remote diagnostics, maintenance, and experimentation in engineering is based on a middleware layer that uses a Java-Internet-Labview server to provide communication between Java programs and Labview ...

On Development of Inspection System for Biometric Passports Using Java

Chat with Graph Search

Safe initialization of objects

Just-in-time performance without warm-up

Cross-Platform Language Design

Interflow: interprocedural flow-sensitive type inference and method duplication

Java and Scala's Type Systems are Unsound The Existential Crisis of Null Pointers

Synthesizing Java Expressions from Free-Form Queries

Java and Scala's Type Systems are Unsound: The Existential Crisis of Null Pointers

Architecture Internalisation in BIP

Surgical Precision JIT Compilers

Cell Guidance on Nanogratings: A Computational Model of the Interplay between PC12 Growth Cones and Nanostructures

Miniboxing: Improving the Speed to Code Size Tradeoff in Parametric Polymorphism Translations

Composing Relaxed Transactions

Memory Power Optimization of Java-Based Embedded Systems Exploiting Garbage Collection Information

Widget-Based Approach for Remote Control Labs

Communix: A Framework for Collaborative Deadlock Immunity

Atomic boxes: coordinated exception handling with transactional memory

CITYSIM simulation: the case study of Alt-Wiedikon, a neighbourhood of Zürich City

iProve: A Scalable Approach to Consumer-Verifiable Software Guarantees

Reﬂexes: Abstractions for Integrating Highly Responsive Tasks into Java Applications

Web-Enabled Remote Scientific Environments