1042 search results - page 57 / 209 » Failing First: An Update |
135
click to vote
CISIS
2010
IEEE
15 years 2 months ago
2010
IEEE
As Grid infrastructures become more widely used by the academic and commercial world, the problem of resource allocation increases in complexity. Resource trading markets are one m...
104
click to vote
ICIP
2010
IEEE
15 years 2 months ago
2010
IEEE
Current texture analysis methods enable good discrimination but are computationally too expensive for applications which require high frame rates. This occurs because they use red...
131
click to vote
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...
158
click to vote
CIE
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In [She82], it is shown that four of its basic functional properties are enough to characterize plain Kolmogorov complexity, hence obtaining an axiomatic characterization...
136
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...