1784 search results - page 173 / 357 » Formal Models for Embedded System Design |
88
Voted
TASE
2009
IEEE
15 years 5 months ago
2009
IEEE
Interrupts are important aspects of real-time embedded systems to handle events in time. When there exist nested interrupts in a real-time system, and an urgent interrupt is allow...
103
click to vote
DATE
2008
IEEE
15 years 4 months ago
2008
IEEE
Mutation analysis is a widely-adopted strategy in software testing with two main purposes: measuring the quality of test suites, and identifying redundant code in programs. Simila...
102
click to vote
KCAP
2009
ACM
15 years 4 months ago
2009
ACM
Curating information from the literature for storage in databases is a crucial task in biological research, and many groups assign a particular person or team to that process. We ...
85
Voted
FM
2005
Springer
15 years 3 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
74
Voted
TSMC
2008
14 years 10 months ago
2008
Stochastic hybrid system (SHS) models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reacha...