1304 search results - page 244 / 261 » Model Checking C Programs Using F-SOFT |
106
Voted
CASES
2001
ACM
15 years 6 months ago
2001
ACM
Today's digital signal processors (DSPs), unlike general-purpose processors, use a non-uniform addressing model in which the primary components of the memory system--the DRAM...
125
click to vote
RECOMB
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. So far, most methods for identifying sequences under selection based on comparative sequence data have either assumed selectional pressures are the same across all branch...
129
click to vote
SAC
2009
ACM
15 years 9 months ago
2009
ACM
The prediction of the correct secondary structures of large RNAs is one of the unsolved challenges of computational molecular biology. Among the major obstacles is the fact that a...
115
click to vote
MIDDLEWARE
2001
Springer
15 years 6 months ago
2001
Springer
Although it has long been realised that ACID transactions by themselves are not adequate for structuring long-lived applications and much research work has been done on developing...
116
Voted
DAC
2005
ACM
15 years 4 months ago
2005
ACM
The need to reuse the performance macromodels of an analog circuit topology challenges existing regression based modeling techniques. A model of good reusability should have a num...