Sciweavers

208 search results - page 11 / 42
» ipps 1998
Sort
View
IPPS
1998
IEEE
15 years 1 months ago
Rapid Development of Real-Time Systems Using RTExpress
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
Milissa M. Benincasa, Richard Besler, Diane Brassa...
IPPS
1998
IEEE
15 years 1 months ago
Ultrafast Randomized Parallel Construction and Approximation Algorithms for Spanning Forests in Dense Graphs
We present a rst randomized Ologk n time and On+m work CRCWPRAM algorithm for nding a spanning forest of an undirected dense graph with n vertices. Furthermore we construct a rando...
Anders Dessmark, Carsten Dorgerloh, Andrzej Lingas...
IPPS
1998
IEEE
15 years 1 months ago
Artificial Neural Networks on Reconfigurable Meshes
:Artificial neural networks(ANN) have been used successfully in applications such as pattern recognition, image processing, automation and control. Majority of today's applica...
Jing-Fu Fu Jenq, Wing Ning Li
IPPS
1998
IEEE
15 years 1 months ago
Automatically Proving UNITY Safety Properties with Arrays and Quantifiers
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...
Xavier Thirioux
IPPS
1998
IEEE
15 years 1 months ago
Replicated Shared Object Model for Edge Detection with Spiral Architecture
Edge detection in computer vision and image processing is a process which detects one kind of signi cant features appearing as discontinuities in intensities. A parallel edge detec...
Xiangjian He, Tom Hintz, Ury Szewcow