Sciweavers

1192 search results - page 143 / 239
» Instruction Level Distributed Processing
Sort
View
ASE
2008
102views more  ASE 2008»
14 years 10 months ago
Model driven code checking
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
Gerard J. Holzmann, Rajeev Joshi, Alex Groce
IEEEPACT
2008
IEEE
15 years 4 months ago
Pangaea: a tightly-coupled IA32 heterogeneous chip multiprocessor
Moore’s Law and the drive towards performance efficiency have led to the on-chip integration of general-purpose cores with special-purpose accelerators. Pangaea is a heterogeneo...
Henry Wong, Anne Bracy, Ethan Schuchman, Tor M. Aa...
EOR
2007
272views more  EOR 2007»
14 years 10 months ago
A dynamic logistics coordination model for evacuation and support in disaster response activities
This paper describes an integrated location-distribution model for coordinating logistics support and evacuation operations in disaster response activities. Logistics planning in ...
Wei Yi, Linet Özdamar
VISSYM
2007
15 years 23 days ago
Parametric Visualization of High Resolution Correlated Multi-spectral Features Using PCA
An imaging mass spectrometer is an analytical instrument that can determine the spatial distribution of chemical compounds on complex surfaces. The output of the device is a multi...
Alexander Broersen, Robert van Liere, Ron M. A. He...
ICIP
2007
IEEE
16 years 1 days ago
Source Camera Identification Based on Camera Gain Histogram
In this paper, we propose a novel approach for source camera identification based on camera gain histogram. By using the photon transfer curve (PTC) as camera noise model, we cons...
Sz-Han Chen, Chiou-Ting Hsu