Sciweavers

29172 search results - page 50 / 5835
» Modeling Systems in CLP
Sort
View
88
Voted
ENTCS
2006
139views more  ENTCS 2006»
15 years 5 months ago
Analytical Modeling for Operating System Schedulers on NUMA Systems
Rafael Chanin, Mônica Corrêa, Paulo Fe...
118
Voted
IJNSEC
2008
101views more  IJNSEC 2008»
15 years 5 months ago
A Hybrid Model for Network Security Systems: Integrating Intrusion Detection System with Survivability
Tarun Bhaskar, B. Narasimha Kamath, Soumyo D. Moit...
RTS
2010
175views more  RTS 2010»
15 years 10 days 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ë...
158
Voted
TSMC
2010
15 years 8 days 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