1219 search results - page 235 / 244 » Verification of Equivalent-Results Methods |
LCTRTS
2007
Springer
15 years 3 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
Inspection is considered a powerful method to check software documents for defects. Many published work shows that inspections in requirements specification phase are particularly...
SBCCI
2006
ACM
15 years 3 months ago
2006
ACM
Platform-based design is a method to implement complex SoCs, avoiding chip design from scratch. A promising evolution of platform-based design are MPSoC. Such generic architecture...
SOUPS
2006
ACM
15 years 3 months ago
2006
ACM
Today organizations do not have good ways of linking their written privacy policies with the implementation of those policies. To assist organizations in addressing this issue, ou...
KCAP
2005
ACM
15 years 3 months ago
2005
ACM
The Designers’ Workbench is a system, developed by the Advanced Knowledge Technologies (AKT) consortium to support designers in large organizations, such as RollsRoyce, by makin...