193 search results - page 12 / 39 » A PVS Based Framework for Validating Compiler Optimizations |
110
click to vote
ICSM
1994
IEEE
15 years 3 months ago
1994
IEEE
Although data pow analysis was first developed for use in compilers, its usefulness is now recognized in many software tools. Because of its compiler origins, the computation of d...
ANCS
2005
ACM
15 years 5 months ago
2005
ACM
Network edge packet-processing systems, as are commonly implemented on network processor platforms, are increasingly required to support a rich set of services. These multi-servic...
121
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...
92
Voted
BMCBI
2007
14 years 11 months ago
2007
Background: Proteins are the primary regulatory agents of transcription even though mRNA expression data alone, from systems like DNA microarrays, are widely used. In addition, th...
110
click to vote
IM
2007
15 years 1 months ago
2007
— We consider whether the off-line compilation of a set of Service Level Agreements (SLAs) into low-level management policies can lead to the runtime maximization of the overall ...