Sciweavers

14331 search results - page 240 / 2867
» On the modeling and analysis of obligations
Sort
View
SPIN
2004
Springer
15 years 12 months ago
Formal Analysis of Processor Timing Models
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution
Reinhard Wilhelm
VMCAI
2004
Springer
15 years 12 months ago
Static Analysis versus Software Model Checking for Bug Finding
Dawson R. Engler, Madanlal Musuvathi
FDL
2003
IEEE
15 years 12 months ago
A New Method for Modeling and Analysis of Accuracy and Tolerances in Mixed-Signal Systems
Tolerances are a very important property of a design. This paper presents a method for simulating tolerances in signal processing and control systems on the system level using aï¬...
Wilhelm Heupke, Christoph Grimm, Klaus Waldschmidt
ICALT
2003
IEEE
15 years 12 months ago
Theoretical Analysis of Mission-Based Learning Model
Yueh-Chun Shih, Nian-Shing Chen