2488 search results - page 400 / 498 » An improvement in formal verification |
109
click to vote
LCTRTS
2007
Springer
15 years 7 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...
108
click to vote
ISESE
2006
IEEE
15 years 7 months ago
2006
IEEE
In this article, we describe the results from our survey in the ITdepartment of a large Oil and Gas company in Norway (Statoil ASA), in order to characterize developers’ views o...
104
Voted
ISESE
2006
IEEE
15 years 7 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...
120
click to vote
VLSID
2006
IEEE
15 years 7 months ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
104
click to vote
W4A
2005
ACM
15 years 7 months ago
2005
ACM
Awareness of Web accessibility is spreading all over the world among Web designers and developers, due to regulations such as the US law called Section 508 and guidelines like the...