Sciweavers

29172 search results - page 50 / 5835
» Modeling Systems in CLP
Sort
View
ENTCS
2006
139views more  ENTCS 2006»
13 years 8 months ago
Analytical Modeling for Operating System Schedulers on NUMA Systems
Rafael Chanin, Mônica Corrêa, Paulo Fe...
RTS
2010
175views more  RTS 2010»
13 years 3 months ago
Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities
Safety-critical real-time standards define several criticality levels for the tasks (e.g., DO-178B - Software Considerations in Airborne Systems and Equipment Certification). Clas...
François Dorin, Pascal Richard, Michaë...
TSMC
2010
13 years 3 months ago
Set-Membership Fuzzy Filtering for Nonlinear Discrete-Time Systems
This paper is concerned with the set-membership filtering (SMF) problem for discrete-time nonlinear systems. We employ the Takagi
Fuwen Yang, Yongmin Li