1497 search results - page 250 / 300 » Extended static checking |
DSN
2009
IEEE
14 years 3 months ago
2009
IEEE
Fault injection, a critical aspect of testing robust systems, is often overlooked in the development of generalpurpose software. We believe this is due to the absence of easy-to-u...
ICSM
2009
IEEE
14 years 3 months ago
2009
IEEE
Error recovery is an integral concern in compilers. Improving error recovery requires comprehension of a large and complex code base, in order to locate the places which raise err...
IV
2009
IEEE
14 years 3 months ago
2009
IEEE
Visualisation and structuring of tasks in a schedule, from relatively simple activities such as meeting scheduling to more complex ones such as project planning, has been traditio...
MOBILWARE
2009
ACM
14 years 3 months ago
2009
ACM
The availability of heterogeneous wireless interfaces and of growing computing resources on widespread portable devices pushes for enabling innovative deployment scenarios where mo...
ICCD
2008
IEEE
14 years 3 months ago
2008
IEEE
— We developed an SMT processor that allows a static WCET analysis of several hard real-time threads and uses the remaining resources for soft or non real-time threads. The analy...