Journal Content

Search

Search Scope All Authors Title Abstract Index terms Full Text

Browse

• By Issue
• By Author
• By Title
• By Sections

User

Username
Password
Remember me

Notifications

• View
• Subscribe

Font Size

Keywords (m,k)-Firm Real-Time Tasks Blocking Bounded Charging and Discharging Consistency Data dependence Deferred Execution Distribution Bounds Maude Mixed criticalities NoSQL Key-value Store Real-time Scheduling Real-time multimedia Real-time systems SMT Scheduling Self-suspension Statistical Model Checking Stochastic Load SystemC Transactional modeling n-queens

Current Issue

Information

• For Readers
• For Authors
• For Librarians