Sciweavers

2523 search results - page 160 / 505
» Correct Development of Embedded Systems
Sort
View
COORDINATION
2008
Springer
14 years 12 months ago
From Flow Logic to Static Type Systems for Coordination Languages
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
Rocco De Nicola, Daniele Gorla, René Rydhof...
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 3 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
SIGADA
1998
Springer
15 years 2 months ago
Building Fault Tolerant Distributed Systems Using IP Multicast
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
Samuel Tardieu, Laurent Pautet
MVA
2000
158views Computer Vision» more  MVA 2000»
14 years 11 months ago
Automated TV-set Raster Tuning System
System for automated control and tuning of TVset raster has been developed. The artificial intelligence elements such as multilayer perceptron, RBF and Cohonen networks effectivel...
Rauf Kh. Sadykhov, Alexey N. Klimovich, Oleg G. Ma...
JSAC
2006
100views more  JSAC 2006»
14 years 10 months ago
Analysis and optimization of CDMA systems with chip-level interleavers
Abstract--In this paper, we present an unequal power allocation technique to increase the throughput of code-division multiple-access (CDMA) systems with chip-level interleavers. P...
Lihai Liu, Jun Tong, Li Ping