506 search results - page 48 / 102 » Where Is the Value in a Program Verifier |
123
click to vote
DAC
2008
ACM
16 years 1 months ago
2008
ACM
The computer industry has a problem. As Moore's law marches on, we will be exploiting it to double cores, not frequencies. But all those cores ... 2 to 4 today growing to 8, ...
100
click to vote
ISCAS
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper proposes two new methods for optimizing objectives and constraints. The GP approach is very general and hardware resources in finite wordlength implementation of it allo...
104
Voted
BMCBI
2004
15 years 11 days ago
2004
Background: Carbohydrates are involved in a variety of fundamental biological processes and pathological situations. They therefore have a large pharmaceutical and diagnostic pote...
105
Voted
MOBICOM
2012
ACM
13 years 3 months ago
2012
ACM
Many networked applications that run in the background on a mobile device incur significant energy drains when using the cellular radio interface for communication. This is mainl...
106
click to vote
APLAS
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. Symbolic execution is a flexible and powerful, but computationally expensive technique to detect dynamic behaviors of a program. In this paper, we present a context-sensi...