1140 search results - page 186 / 228 » Embedded Software: Better Models, Better Code |
125
click to vote
UIST
2010
ACM
14 years 11 months ago
2010
ACM
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...
158
click to vote
CANDC
2009
ACM
14 years 11 months ago
2009
ACM
Supporting users' reasoned imagination in sense making during interaction with tangible and embedded computation involves supporting the application of their existing mental ...
LCTRTS
2004
Springer
15 years 7 months ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
PEPM
1994
ACM
15 years 6 months ago
1994
ACM
It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). Howev...
112
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
Fixing software bugs has always been an important and timeconsuming process in software development. Fixing concurrency bugs has become especially critical in the multicore era. H...