1111 search results - page 117 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
143
click to vote
SAS
2007
Springer
16 years 13 days ago
2007
Springer
Variables in programs are usually confined to a fixed number of bits and results that require more bits are truncated. Due to the use of 32-bit and 64-bit variables, inadvertent ...
181
click to vote
APIN
1999
15 years 6 months ago
1999
Real-world electrical engineering problems can take advantage of the last Data Analysis methodologies. In this paper we will show that Genetic Fuzzy Rule-Based Systems and Genetic ...
155
click to vote
FDL
2008
IEEE
15 years 6 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
187
click to vote
EUROPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
167
click to vote
PLDI
2006
ACM
16 years 8 days ago
2006
ACM
One common technique for preventing data races in multi-threaded programs is to ensure that all accesses to shared locations are consistently protected by a lock. We present a too...