42507 search results - page 124 / 8502 » On the analysis of |
144
click to vote
SAS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...
182
click to vote
ECRTS
2006
IEEE
16 years 18 days ago
2006
IEEE
FlexRay will very likely become the de-facto standard for in-vehicle communications. However, before it can be successfully used for safety-critical applications that require pred...
159
click to vote
IJCNN
2006
IEEE
16 years 17 days ago
2006
IEEE
— We introduce in this paper methods for finding mutually corresponding dependent components from two different but related data sets in an unsupervised (blind) manner. The basi...
194
click to vote
ISORC
2006
IEEE
16 years 17 days ago
2006
IEEE
UML through its profiling mechanism is well adapted for the modeling of real-time software requirements and designs. It is becoming the de facto standard. On the other hand, seve...
168
click to vote
DATE
2005
IEEE
16 years 5 days ago
2005
IEEE
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...