1880 search results - page 287 / 376 » A Static Analysis for Beta-Binders |
192
click to vote
FMICS
2009
Springer
16 years 21 days ago
2009
Springer
Most modern safety-critical control programs, such as those embedded in fly-by-wire control systems, perform a lot of floating-point computations. The well-known pitfalls of IEEE...
152
click to vote
ICCD
2008
IEEE
16 years 17 days 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...
163
Voted
SP
2008
IEEE
16 years 15 days ago
2008
IEEE
Operating systems divide virtual memory addresses into kernel space and user space. The interface of a modern operating system consists of a set of system call procedures that may...
174
click to vote
DSN
2007
IEEE
16 years 14 days ago
2007
IEEE
COTS components, like software libraries, can be used to reduce the development effort. Unfortunately, many COTS components have been developed without a focus on robustness and s...
153
click to vote
IPPS
2007
IEEE
16 years 13 days ago
2007
IEEE
The excessive complexity of both machine architectures and applications have made it difficult for compilers to statically model and predict application behavior. This observatio...