7124 search results - page 1129 / 1425 » Programming Languages and Operating Systems |
128
click to vote
FORMATS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
162
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...
130
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
117
click to vote
ICDE
2010
IEEE
16 years 4 months ago
2010
IEEE
Statistical analysis of massive data is becoming indispensable to science, commerce, and society today. Such analysis requires efficient, flexible storage support and special optim...
132
click to vote
ICTAI
2006
IEEE
15 years 10 months ago
2006
IEEE
A new method for optimizing complex functions and systems is described that employs Learnable Evolution Model (LEM), a form of non-Darwinian evolutionary computation guided by mac...