Sciweavers

2642 search results - page 225 / 529
» The development of Chez Scheme
Sort
View
DATE
2000
IEEE
119views Hardware» more  DATE 2000»
15 years 11 months ago
Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis
We present an approach to bus access optimization and schedulability analysis for the synthesis of hard real-time distributed embedded systems. The communication model is based on...
Paul Pop, Petru Eles, Zebo Peng
MFCS
2007
Springer
16 years 22 days ago
Finding Patterns in Given Intervals
In this paper, we study the pattern matching problem in given intervals. Depending on whether the intervals are given a priori for pre-processing, or during the query along with th...
Maxime Crochemore, Costas S. Iliopoulos, M. Sohel ...
ICC
2007
IEEE
106views Communications» more  ICC 2007»
16 years 28 days ago
Joint Channel Estimation and Synchronization with Inter-carrier Interference Reduction for OFDM
This paper proposes a pilot-aided joint channel estimation and synchronization scheme for burst-mode orthogonal frequency division multiplexing (OFDM) systems. The scheme eliminate...
Hung Nguyen-Le, Tho Le-Ngoc, Chi Chung Ko
ESOP
2001
Springer
15 years 11 months ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen
ICCV
2005
IEEE
16 years 8 months ago
Towards Ultimate Motion Estimation: Combining Highest Accuracy with Real-Time Performance
Although variational methods are among the most accurate techniques for estimating the optical flow, they have not yet entered the field of real-time vision. Main reason is the gr...
Andrés Bruhn, Joachim Weickert