214 search results - page 26 / 43 » Automatic Correction of Loop Transformations |
113
click to vote
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
94
Voted
IM
2007
15 years 1 months ago
2007
- Many researchers have considered security policy management, including how to configure policies manually and even how to automatically generate security policies based on securi...
ICMCS
2005
IEEE
15 years 6 months ago
2005
IEEE
The ability of humans for color constancy, i.e. the ability to correct for color deviation caused by a different illumination, is far beyond computer vision performances: nowadays...
123
Voted
CVPR
2008
IEEE
16 years 2 months ago
2008
IEEE
A fast 3D model reconstruction methodology is desirable in many applications such as urban planning, training, and simulations. In this paper, we develop an automated algorithm fo...
127
Voted
DAC
2005
ACM
16 years 1 months ago
2005
ACM
The challenge of verifying a modern microprocessor design is an overwhelming one: Increasingly complex micro-architectures combined with heavy time-to-market pressure have forced ...