4311 search results - page 166 / 863 » Code Generation for Distributed Systems |
121
click to vote
INFOCOM
1999
IEEE
15 years 6 months ago
1999
IEEE
The distributed embedded systems industry is poised to leverage emerging real-time operating systems, such as Inferno, Windows CE 2.0, and Palm OS, to support mobile communication...
139
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
The high transistor density afforded by modern VLSI processes have enabled the design of embedded processors that use clustered execution units to deliver high levels of performan...
149
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
136
click to vote
EWSA
2004
Springer
15 years 7 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...
137
click to vote
IWPC
2005
IEEE
15 years 7 months ago
2005
IEEE
Comprehension is a key activity that underpins a variety of software maintenance and engineering tasks. The task of understanding object-oriented systems is hampered by the fact t...