193 search results - page 9 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
120
Voted
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a new framework optimized for the design, implementation, and testing of control systems for autonomous robots. It is based on a new visual specification language whic...
148
Voted
WEBI
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--Expertise matching, aiming to find the alignment between experts and queries, is a common problem in many real applications such as conference paper-reviewer assignment, ...
124
Voted
LCR
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...
114
click to vote
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...
143
click to vote
ICIW
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...