2081 search results - page 364 / 417 » codes 2006 |
112
click to vote
ESTIMEDIA
2006
Springer
15 years 2 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...
EUROPAR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
FINTAL
2006
15 years 2 months ago
2006
When building rule-based machine translation systems, a considerable human effort is needed to code the transfer rules that are able to translate source-language sentences into gra...
FM
2006
Springer
15 years 2 months ago
2006
Springer
Refactorings change the internal structure of code without changing its external behavior. For non-trivial refactorings, the preservation of external behavior depends on semantic p...
106
click to vote
FORMATS
2006
Springer
15 years 2 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...