626 search results - page 111 / 126 » When Can Formal Methods Make a Real Difference |
171
click to vote
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
164
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
161
Voted
FCCM
2004
IEEE
15 years 7 months ago
2004
IEEE
Dynamically reconfigurable architectures or systems are able to reconfigure their function and/or structure to suit changing needs of a computation during run time. The increasing...
161
click to vote
RECOMB
2003
Springer
16 years 3 months ago
2003
Springer
We develop an integrated probabilistic model to combine protein physical interactions, genetic interactions, highly correlated gene expression network, protein complex data, and d...
149
click to vote
DAC
2002
ACM
16 years 4 months ago
2002
ACM
Previous work on DRAM power-mode management focused on hardware-based techniques and compiler-directed schemes to explicitly transition unused memory modules to low-power operatin...