Sciweavers

29172 search results - page 50 / 5835
» Modeling Systems in CLP
Sort
View
ENTCS
2006
139views more  ENTCS 2006»
14 years 12 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»
14 years 6 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
14 years 6 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