2081 search results - page 364 / 417 » codes 2006 |
218
click to vote
ESTIMEDIA
2006
Springer
15 years 11 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...
203
click to vote
EUROPAR
2006
Springer
15 years 11 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...
197
click to vote
FINTAL
2006
15 years 11 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...
220
click to vote
FM
2006
Springer
15 years 11 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...
234
Voted
FORMATS
2006
Springer
15 years 11 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...