Sciweavers

4306 search results - page 592 / 862
» Timed Testing with TorX
Sort
View
ISCAS
2006
IEEE
99views Hardware» more  ISCAS 2006»
15 years 10 months ago
Image sensor with focal plane extraction of polarimetric information
—A novel focal plane imaging sensor capable of real time extraction of polarization information is presented. The imaging system consists of a photo array of 256 by 256 linear cu...
Viktor Gruev, Jan Van der Spiegel, Nader Engheta
LICS
2006
IEEE
15 years 10 months ago
Two-Variable Logic on Words with Data
— In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. These models have been already considered in the realm of semi...
Mikolaj Bojanczyk, Anca Muscholl, Thomas Schwentic...
MIAR
2006
IEEE
15 years 10 months ago
Automatic Segmentation of the Aortic Dissection Membrane from 3D CTA Images
Acute aortic dissection is a life-threatening condition and must be diagnosed and treated promptly. For treatment planning the reliable identification of the true and false lumen ...
Tamás Kovács, Philippe C. Cattin, Ha...
QEST
2006
IEEE
15 years 10 months ago
Continuous Bytecode Instruction Counting for CPU Consumption Estimation
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
Andrea Camesi, Jarle Hulaas, Walter Binder
RTAS
2006
IEEE
15 years 10 months ago
A Real-time Java Virtual Machine for Avionics - An Experience Report
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
Jason Baker, Antonio Cunei, Chapman Flack, Filip P...