Sciweavers

808 search results - page 126 / 162
» Modeling and Analysis of Real-Time and Embedded Systems
Sort
View
CASES
2005
ACM
14 years 11 months ago
Optimizing stream programs using linear state space analysis
Digital Signal Processing (DSP) is becoming increasingly widespread in portable devices. Due to harsh constraints on power, latency, and throughput in embedded environments, devel...
Sitij Agrawal, William Thies, Saman P. Amarasinghe
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 4 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
RTAS
2010
IEEE
14 years 8 months ago
Reservation-Based Interrupt Scheduling
Abstract—Some real-time kernels (such as a recent realtime version of Linux) permit to execute interrupt handlers in dedicated threads, to control their interference on realtime ...
Nicola Manica, Luca Abeni, Luigi Palopoli
RTS
2011
123views more  RTS 2011»
14 years 4 months ago
Feasibility analysis under fixed priority scheduling with limited preemptions
—Preemptive scheduling often generates a significant runtime overhead that may increase task worst-case execution times up to 40%, with respect to a fully non preemptive executi...
Gang Yao, Giorgio C. Buttazzo, Marko Bertogna
79
Voted
ICDAR
2007
IEEE
15 years 4 months ago
Multi-Objective Optimization for SVM Model Selection
In this paper, we propose a multi-objective optimization method for SVM model selection using the well known NSGA-II algorithm. FA and FR rates are the two criteria used to find ...
Clément Chatelain, Sébastien Adam, Y...