Sciweavers

155 search results - page 26 / 31
» Vicinity Respecting Homomorphisms for Abstracting System Req...
Sort
View
TIP
2008
199views more  TIP 2008»
13 years 9 months ago
Minimal-Bracketing Sets for High-Dynamic-Range Image Capture
Abstract--This paper considers the problem of high-dynamicrange (HDR) image capture using low-dynamic-range (LDR) cameras. We present three different minimal-bracketing algorithms ...
Neil Barakat, A. Nicholas Hone, Thomas E. Darcie
JLP
2007
95views more  JLP 2007»
13 years 9 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
TSP
2008
112views more  TSP 2008»
13 years 9 months ago
An Algebraic Coding Scheme for Wireless Relay Networks With Multiple-Antenna Nodes
Abstract--We consider the problem of coding over a half-duplex wireless relay network where both the transmitter and the receiver have respectively several transmit and receive ant...
Frédérique E. Oggier, Babak Hassibi
SAC
2008
ACM
13 years 8 months ago
Data sharing vs. message passing: synergy or incompatibility?: an implementation-driven case study
One reasonable categorization of coordination models is into data sharing or message passing, based on whether the information necessary to coordination is persistently stored and...
Matteo Ceriotti, Amy L. Murphy, Gian Pietro Picco
DAGSTUHL
2007
13 years 11 months ago
Model-Driven Development for End-Users, too!?
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
Gregor Engels