3801 search results - page 486 / 761 » An Approach to Modeling Software Safety |
184
click to vote
OSDI
2002
ACM
16 years 7 months ago
2002
ACM
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain subtle race conditions that make them difficult t...
198
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Embedded single-chip heterogeneous multiprocessor (SCHM) systems experience frequent system events such as task preemption, power-saving voltage/frequency scaling, or arrival of n...
199
click to vote
TCBB
2011
15 years 1 months ago
2011
Stochastic models such as hidden Markov models or stochastic context free grammars can fail to return the correct, maximum likelihood solution in the case of semantic ambiguity. T...
199
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
Intrusion detection systems are distributed applications that analyze the events in a networked system to identify malicious behavior. The analysis is performed using a number of ...
154
click to vote
TASE
2007
IEEE
16 years 28 days ago
2007
IEEE
Bounded model checking (BMC) based on SAT has been introduced as a complementary method to BDD-based symbolic model checking of LTL and ACTL properties in recent years. For genera...