619 search results - page 87 / 124 » The Design and Implementation of a Certifying Compiler |
116
click to vote
IWMM
2000
Springer
15 years 7 months ago
2000
Springer
The IA-64, Intel's 64-bit instruction set architecture, exhibits a number of interesting architectural features. Here we consider those features as they relate to supporting ...
131
Voted
CACM
2010
15 years 4 months ago
2010
We report on the formal, machine-checked verification of microkernel from an abstract specification down to its C implementation. We assume correctness of compiler, assembly code,...
162
Voted
LCTRTS
2007
Springer
15 years 10 months ago
2007
Springer
Industry’s demand for flexible embedded solutions providing high performance and short time-to-market has led to the development of configurable and extensible processors. The...
150
Voted
IEEEPACT
2005
IEEE
15 years 9 months ago
2005
IEEE
Hiding communication latency is an important optimization for parallel programs. Programmers or compilers achieve this by using non-blocking communication primitives and overlappi...
132
click to vote
IROS
2009
IEEE
15 years 10 months ago
2009
IEEE
— Autonomous underwater vehicles (AUVs) are an indispensable tool for marine scientists to study the world’s oceans. The Slocum glider is a buoyancy driven AUV designed for mis...