3736 search results - page 478 / 748 » Hand-Writing Program Generator Generators |
214
click to vote
PASTE
2005
ACM
16 years 18 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
157
click to vote
LCPC
2005
Springer
16 years 16 days ago
2005
Springer
Programming network processors remains a challenging task since their birth until recently when high-level programming environments for them are emerging. By employing domain speci...
194
click to vote
DMSN
2004
ACM
16 years 14 days ago
2004
ACM
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy...
205
click to vote
IWMM
2010
Springer
15 years 11 months ago
2010
Springer
With the availability of chip multiprocessor (CMP) and simultaneous multithreading (SMT) machines, extracting thread level parallelism from a sequential program has become crucial...
213
click to vote
ECBS
1999
IEEE
15 years 11 months ago
1999
IEEE
Model integrated computing (MIC) is gaining increased attention as an effective and efficient method for developing, maintaining, and evolving large-scale, domain-specific softwar...