Sciweavers

6762 search results - page 305 / 1353
» Multiple drafts model
Sort
View
TASE
2007
IEEE
16 years 28 days ago
Model Checking Networked Programs in the Presence of Transmission Failures
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
Cyrille Artho, Christian Sommer 0002, Shinichi Hon...
ASAP
2006
IEEE
130views Hardware» more  ASAP 2006»
16 years 22 days ago
Cross Layer Design to Multi-thread a Data-Pipelining Application on a Multi-processor on Chip
Data-Pipelining is a widely used model to represent streaming applications. Incremental decomposition and optimization of a data-pipelining application onto a multi-processor plat...
Bo-Cheng Charles Lai, Patrick Schaumont, Wei Qin, ...
BIBE
2010
IEEE
146views Bioinformatics» more  BIBE 2010»
15 years 7 months ago
Methods for Designing Reliable Probe Arrays
Recent advances in biosensing technologies have led to applications of biosensor probe arrays for rapid identification of biological agents such as drugs, gene expressions, protein...
Michele Lombardi, Luca Benini, Abhishek Garg, Giov...
CVPR
2010
IEEE
15 years 4 months ago
Visual classification with multi-task joint sparse representation
We address the problem of computing joint sparse representation of visual signal across multiple kernel-based representations. Such a problem arises naturally in supervised visual...
Xiaotong Yuan, Shuicheng Yan
ICIP
2005
IEEE
16 years 8 months ago
Image acquisition modeling for super-resolution reconstruction
Super-resolution reconstruction is the process of reconstructing a high-resolution image from multiple low-resolution images. Most super-resolution reconstruction methods neglect ...
Murat Gevrekci, Bahadir K. Gunturk