6201 search results - page 1068 / 1241 » Implementation of Axiomatic Language |
179
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...
182
click to vote
EDBTW
2006
Springer
15 years 10 months ago
2006
Springer
Querying live media streams is a challenging problem that becomes an essential requirement in a growing number of applications. We address the problem of evaluating continuous quer...
179
click to vote
EKAW
2006
Springer
15 years 10 months ago
2006
Springer
Semantic search promises to produce precise answers to user queries by taking advantage of the availability of explicit semantics of information in the context of the semantic web....
180
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
Nowadays, key characteristics of a processor's instruction set are only exploited in high-level languages by using inline assembly or compiler intrinsics. Inserting intrinsic...
193
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...