Sciweavers

1715 search results - page 191 / 343
» Embedded Systems and Real-Time Programming
Sort
View
ENTCS
2007
137views more  ENTCS 2007»
15 years 1 months ago
Formal Sequentialization of Distributed Systems via Program Rewriting
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
Miquel Bertran, Francesc-Xavier Babot, August Clim...
ICIP
2005
IEEE
15 years 7 months ago
A transcoding robust data hiding method for image communication applications
We present a data embedding method for image communication applications. Our goal is to implement novel multimedia applications such as multi-language captions, interactive progra...
Cagatay Candan
AMAI
1999
Springer
15 years 1 months ago
From Logic Programming Towards Multi-Agent Systems
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
Robert A. Kowalski, Fariba Sadri
ICTAI
2007
IEEE
15 years 8 months ago
CompoNet: Programmatically Embedding Neural Networks into AI Applications as Software Components
The provision of embedding neural networks into software applications can enable variety of Artificial Intelligence systems for individual users as well as organizations. Previous...
Uzair Ahmad, Andrey Gavrilov, Sungyoung Lee, Young...
RTAS
2005
IEEE
15 years 7 months ago
Timing Analysis for Sensor Network Nodes of the Atmega Processor Family
Low-end embedded architectures, such as sensor nodes, have become popular in diverse fields, many of which impose real-time constraints. Currently, the Atmel Atmega processor fam...
Sibin Mohan, Frank Mueller, David B. Whalley, Chri...