970 search results - page 76 / 194 » Reliability Analysis of Concurrent Systems Using LTSA |
106
click to vote
ASPLOS
2004
ACM
15 years 3 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
SAINT
2006
IEEE
15 years 3 months ago
2006
IEEE
The study and analysis of RFID antenna positioning is important for supply chain large-scale deployment. In a dense reader environment, there will be multiples of RFID readers and...
ICECCS
2009
IEEE
14 years 7 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
101
click to vote
ISORC
2005
IEEE
15 years 3 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
ACL
2003
14 years 11 months ago
2003
This position paper argues for an interactive approach to text understanding. The proposed model extends an existing semantics-based text authoring system by using the input text ...