32032 search results - page 6247 / 6407 » Verified programming in Guru |
CSL
2010
Springer
15 years 19 days ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
149
click to vote
ECRTS
2010
IEEE
15 years 19 days ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
142
click to vote
ESA
2010
Springer
15 years 19 days ago
2010
Springer
We study the problem of estimating the average of a Lipschitz continuous function f defined over a metric space, by querying f at only a single point. More specifically, we explore...
103
click to vote
EUROPAR
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
112
click to vote
HPDC
2010
IEEE
15 years 19 days ago
2010
IEEE
Large scale bioinformatics experiments are usually composed by a set of data flows generated by a chain of activities (programs or services) that may be modeled as scientific work...