39362 search results - page 7215 / 7873 » Global Computing Systems |
208
click to vote
EUC
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Embedded systems have strict timing and code size requirements. Retiming is one of the most important optimization techniques to improve the execution time of loops by in...
196
Voted
EUROPAR
2005
Springer
16 years 27 days ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...
194
click to vote
FMCO
2005
Springer
16 years 27 days ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
187
click to vote
FOSSACS
2005
Springer
16 years 27 days ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
159
click to vote
GECCO
2005
Springer
16 years 27 days ago
2005
Springer
For computer-automated design systems to scale to complex designs they must be able to produce designs that exhibit the characteristics of modularity, regularity and hierarchy –...