Sciweavers

5186 search results - page 359 / 1038
» Embedded Systems
Sort
View
RR
2009
Springer
16 years 1 months ago
A Logic Based Approach to the Static Analysis of Production Systems
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
Jos de Bruijn, Martín Rezk
RTCSA
2009
IEEE
16 years 1 months ago
Supporting Sporadic Pipelined Tasks with Early-Releasing in Soft Real-Time Multiprocessor Systems
Soft real-time sporadic multiprocessor task systems are considered that include processing pipelines. Conditions are presented for guaranteeing bounded deadline tardiness in such ...
Cong Liu, James H. Anderson
DM
2008
113views more  DM 2008»
15 years 6 months ago
On some colouring of 4-cycle systems with specified block colour patterns
The present paper continues the study (begun by Quattrocchi, Colouring 4-cycle systems with specified block colour pattern: the case of embedding P3-designs, Electron. J. Combin.,...
Terry S. Griggs, Giovanni Lo Faro, Gaetano Quattro...
JEI
2006
78views more  JEI 2006»
15 years 6 months ago
Lapped-orthogonal-transform-based adaptive image watermarking
A robust, invisible watermarking scheme is proposed for digital images, where the watermark is embedded using the blockbased lapped orthogonal transform (LOT). The embedding proces...
Yuxin Liu, Bin Ni, Xiaojun Feng, Edward J. Delp
FDL
2004
IEEE
15 years 10 months ago
Designing for dynamic partially reconfigurable FPGAs with SystemC and OSSS
This paper presents a new approach to design embedded systems based on dynamic partial reconfigurable FPGAs. The approach is intended to allow designing of systems with runtime re...
Andreas Schallenberg, Frank Oppenheimer, Wolfgang ...