Sciweavers

3394 search results - page 299 / 679
» A Modal Model of Memory
Sort
View
HIPS
1998
IEEE
15 years 11 months ago
Parallel and Distributed Programming with Pthreads and Rthreads
This paper describes Rthreads (Remote threads), a software distributed shared memory system that supports sharing of global variables on clusters of computers with physically dist...
Bernd Dreier, Markus Zahn, Theo Ungerer
ICIP
2008
IEEE
16 years 8 months ago
Hallucinating faces from thermal infrared images
This paper addresses the face hallucination problem of converting thermal infrared face images into photo-realistic ones. It is a challenging task because the two modalities are o...
Jun Li, Pengwei Hao, Chao Zhang, Mingsong Dou
MICCAI
2009
Springer
16 years 8 months ago
Intra-retinal Layer Segmentation in Optical Coherence Tomography Using an Active Contour Approach
Abstract. Optical coherence tomography (OCT) is a non-invasive, depth resolved imaging modality that has become a prominent ophthalmic diagnostic technique. We present an automatic...
Azadeh Yazdanpanah, Benjamin Smith 0002, Ghassan H...
ESOP
2010
Springer
16 years 4 months ago
Faulty Logic: Reasoning about Fault Tolerant Programs
Transient faults are single-shot hardware errors caused by high energy particles from space, manufacturing defects, overheating, and other sources. Such faults can be devastating f...
Matthew L. Meola and David Walker
VMCAI
2009
Springer
16 years 1 months ago
Reducing Behavioural to Structural Properties of Programs with Procedures
Abstract There is an intimate link between program structure and behaviour. Exploiting this link to phrase program correctness problems in terms of the structural properties of a p...
Dilian Gurov, Marieke Huisman