Sciweavers

29172 search results - page 50 / 5835
» Modeling Systems in CLP
Sort
View
ENTCS
2006
139views more  ENTCS 2006»
15 years 4 months ago
Analytical Modeling for Operating System Schedulers on NUMA Systems
Rafael Chanin, Mônica Corrêa, Paulo Fe...
200
Voted
RTS
2010
175views more  RTS 2010»
14 years 11 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ë...
141
Voted
TSMC
2010
14 years 11 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