Sciweavers

258 search results - page 22 / 52
» Arrays of objects
Sort
View
FM
2009
Springer
124views Formal Methods» more  FM 2009»
15 years 4 months ago
Reasoning about Memory Layouts
Verification methods for memory-manipulating C programs need to address not only well-typed programs that respect invariants such as the split heap memory model, but also programs...
Holger Gast
CVIU
2010
115views more  CVIU 2010»
14 years 9 months ago
A modified model for the Lobula Giant Movement Detector and its FPGA implementation
Bio-inspired vision sensors are particularly appropriate candidates for navigation of vehicles or mobile robots due to their computational simplicity, allowing compact hardware im...
Hongying Meng, Kofi Appiah, Shigang Yue, Andrew Hu...
MMAS
2010
Springer
14 years 4 months ago
Filtering Random Layering Effects in Imaging
Objects that are buried deep in heterogeneous media produce faint echoes which are difficult to distinguish from the backscattered field. Sensor array imaging in such media cannot ...
Liliana Borcea, F. González del Cueto, Geor...
75
Voted
PPOPP
1995
ACM
15 years 1 months ago
pC++/streams: a Library for I/O on Complex Distributed Data Structures
paper we describe d/streams, a language-independent abstraction with a small set of simple primitives for buffered I/O on distributed data-structures. We describe the interface an...
Jacob Gotwals, Suresh Srinivas, Dennis Gannon
CSDA
2007
58views more  CSDA 2007»
14 years 9 months ago
A unifying model involving a categorical and/or dimensional reduction for multimode data
A unifying model is presented that implies a categorical and/or dimensional reduction of one or several modes of a multiway data set. The model encompasses a broad range of (exist...
Iven Van Mechelen, Jan Schepers