695 search results - page 99 / 139 » Symbolic Simulation of Hybrid Systems |
IPPS
1997
IEEE
14 years 10 days ago
1997
IEEE
Abstract — Processor scheduling has received considerable attention in the context of shared-memory multiprocessor systems but has not received as much attention in distributed-m...
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
HPCC
2007
Springer
14 years 2 months ago
2007
Springer
Many of today’s embedded systems, such as wireless and portable devices rely heavily on the limited power supply. Therefore, energy efficiency becomes one of the major design con...
ICIP
1999
IEEE
14 years 13 days ago
1999
IEEE
by 0. In the discrete Fourier transform (DFT) domain, We propose a hybrid approach to wavelet-based image deconvolution that comprises Fourier-domain system inversion followed by w...
ICDCS
2009
IEEE
14 years 3 months ago
2009
IEEE
Though plenty of research has been conducted to improve Internet P2P streaming quality perceived by endusers, little has been known about the upper bounds of achievable performanc...