7820 search results - page 1322 / 1564 » Formalization of Time and Space |
157
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
197
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...
185
click to vote
EUC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Advances in wireless and mobile communication technologies have enabled the development of various RFID-based systems and applications in addition to the extension of the...
165
click to vote
EWCBR
2006
Springer
15 years 10 months ago
2006
Springer
Case Retrieval Networks (CRNs) facilitate flexible and efficient retrieval in Case-Based Reasoning (CBR) systems. While CRNs scale up well to handle large numbers of cases in the c...
185
click to vote
GCB
2006
Springer
15 years 10 months ago
2006
Springer
: In this paper we describe a similarity model that provides the objective basis for clustering proteins of similar structure. More specifically, we consider the following variant ...