1114 search results - page 21 / 223 » Validating optimizations of concurrent C C programs |
CSIE
2009
IEEE
14 years 22 days ago
2009
IEEE
Mobile devices are constrained in terms of computational power, battery lifetime and memory sizes. Software development for mobile devices is further complicated by application co...
HASKELL
2007
ACM
14 years 22 days ago
2007
ACM
The Glasgow Haskell Compiler (GHC) has quite sophisticated support for concurrency in its runtime system, which is written in lowlevel C code. As GHC evolves, the runtime system b...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
CP
2004
Springer
14 years 2 months ago
2004
Springer
AUTONOMICS
2008
ACM
13 years 11 months ago
2008
ACM
Future space missions such as the Mars Science Laboratory demand the engineering of some of the most complex manrated autonomous software systems. According to some recent estimat...