Sciweavers

1264 search results - page 86 / 253
» Designing Safe, Reliable Systems using Scade
Sort
View
125
Voted
ERLANG
2004
ACM
15 years 10 months ago
Structured programming using processes
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
Jay Nelson
VEE
2012
ACM
200views Virtualization» more  VEE 2012»
14 years 2 days ago
Block storage virtualization with commodity secure digital cards
Smartphones, tablets and other mobile platforms typically accommodate bulk data storage with low-cost, FAT-formatted Secure Digital cards. When one uses a mobile device to run a f...
Harvey Tuch, Cyprien Laplace, Kenneth C. Barr, Bi ...
VTC
2006
IEEE
15 years 10 months ago
Complexity-Reduced Iterative MAP Receiver with Partial Sphere Decoding in Spatial Multiplexing System
– In this paper, a partial sphere decoding approach is proposed to reduce the computational complexity of implementing the iterative MAP receiver for spatial multiplexing system,...
Hyung Ho Park, Tae Young Min, Dong Seung Kwon, Chu...
135
Voted
PAMI
1998
141views more  PAMI 1998»
15 years 4 months ago
A Probabilistic Approach to the Coupled Reconstruction and Restoration of Underwater Acoustic Images
—This paper describes a probabilistic technique for the coupled reconstruction and restoration of underwater acoustic images. The technique is founded on the physics of the image...
Vittorio Murino, Andrea Trucco, Carlo S. Regazzoni
156
Voted
ICSOC
2004
Springer
15 years 10 months ago
Implementing integrated services of networked home appliances using service oriented architecture
This paper presents a method to implement integrated services of networked home electric appliances, which provide more convenient and comfortable living for home users. The conve...
Masahide Nakamura, Hiroshi Igaki, Haruaki Tamada, ...