2438 search results - page 42 / 488 » Consistent Gradient Operators |
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
95
Voted
CGO
2005
IEEE
15 years 3 months ago
2005
IEEE
Software code caches are becoming ubiquitous, in dynamic optimizers, runtime tool platforms, dynamic translators, fast simulators and emulators, and dynamic compilers. Caching fre...
AGILEDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Some have described Agile and Infrastructure as an oxymoron: they just don’t fit together. During one year we have focused on using agile techniques in three different infrastru...
EH
2003
IEEE
15 years 3 months ago
2003
IEEE
The paper deals with a class of image filters in which the evolutionary approach consistently produces excellent and innovative results. Furthermore, a method is proposed that le...
APAL
2007
14 years 9 months ago
2007
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...