1304 search results - page 182 / 261 » Model Checking C Programs Using F-SOFT |
149
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: General protein evolution models help determine the baseline expectations for the evolution of sequences, and they have been extensively useful in sequence analysis an...
135
Voted
DSN
2000
IEEE
15 years 7 months ago
2000
IEEE
Survivabilityis the ability of a system to maintain a set of essential services despite the presence of abnormal events such as faults and intrusions. Ensuring system survivabilit...
130
Voted
SIAMJO
2011
14 years 10 months ago
2011
Abstract. We propose a unifying framework for polyhedral approximation in convex optimization. It subsumes classical methods, such as cutting plane and simplicial decomposition, bu...
141
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Exploiting thread level parallelism is paramount in the multi-core era. Transactions enable programmers to expose such parallelism by greatly simplifying the multi-threaded progra...
128
Voted
USENIX
2000
15 years 4 months ago
2000
The transition from command-line interfaces to graphical interfaces has resulted in programs that are easier to learn and use, but harder to automate and reuse. Another transition...