Improving the Performance of Scala Collections with Miniboxing
Graph Chatbot
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.
Biphasic electrospray ionization (BESI) mass spectrometry is achieved by using a dual-channel microsprayer, where channels filled with different immiscible phases meet at the Taylor cone. Two types of interfacial complexation reactions have been studied: t ...
The Japan Society of Analytical Chemistry / The Japan Society for Analytical Chemistry2008
Modern computing has adopted the floating point type as a default way to describe computations with real numbers. Thanks to dedicated hardware support, such computations are efficient on modern architectures. However, rigorous reasoning about the resulting ...
Performance usually improves when observers train with one type of a visual stimulus. Roving denotes the situation when, instead of one, two or more types of stimuli are presented randomly interleaved (one per trial). For some stimulus types, performance i ...
Association for Research in Vision and Ophthalmology2008
Visual backward masking is a commonly used technique in vision research and psychology. There are two distinct types of masking. Either masking is strongest for a simultaneous presentation of the target and the mask (A-type masking) or masking is strongest ...
Association for Research in Vision and Ophthalmology2009
In perceptual learning, performance usually improves when observers train with one type of stimulus, for example, a bisection stimulus. Roving denotes the situation when, instead of one, two or more types of stimuli are presented randomly interleaved, for ...
Concepts and technologies are described herein for determining memory safety of floating-point computations. The concepts and technologies described herein analyze code to determine if any floating-point computations exist in the code, and if so, if the fl ...
Whitebox fuzzing is a novel form of security testing based on runtime symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found dozens of new security vulnerabilities (buffer overflows) in Windows and Linux appli ...
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many new security vulnerabilities (buffer overflows) in Windows and Linux applicatio ...
Modern programming languages have adopted the floating point type as a way to describe computations with real numbers. Thanks to the hardware support, such computations are efficient on modern architectures. However, rigorous reasoning about the resulting ...
In this paper, we demonstrate fixed-point FPGA implementations of state space systems using Particle Filters, especially multi-target beating and range tracking systems. These trackers operate either as independent organic trackers or as a joint tracker to ...
