2740 search results - page 456 / 548 » A Model-Based Approach To Requirements Analysis |
RTSS
1998
IEEE
15 years 2 months ago
1998
IEEE
Previous ultra-dependable real-time computing architectures have been specialised to meet the requirements of a particular application domain. Over the last two years, a consortiu...
ISSTA
1998
ACM
15 years 2 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
SIGGRAPH
1994
ACM
15 years 2 months ago
1994
ACM
In this paper we discuss the efficient and accurate incorporation of texture maps into a hierarchical Galerkin radiosity algorithm. This extension of the standard algorithm allows...
APSEC
2007
IEEE
15 years 1 months ago
2007
IEEE
One major advantage of executable models is that once constructed, they can be run, checked, validated and improved in short incremental and iterative cycles. In the field of Soft...
CASES
2007
ACM
15 years 1 months ago
2007
ACM
Leakage energy consumption is an increasingly important issue as the technology continues to shrink. Since on-chip caches constitute a major portion of the processor's transi...