9595 search results - page 46 / 1919 » Functional programming in C |
HIPC
2003
Springer
14 years 3 months ago
2003
Springer
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
FASE
2010
Springer
14 years 4 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
SC
1993
ACM
14 years 2 months ago
1993
ACM
ICSE
2009
IEEE-ACM
14 years 2 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
CF
2010
ACM
14 years 1 months ago
2010
ACM
The Message Passing Interface (MPI) is one of the most widely used programming models for parallel computing. However, the amount of memory available to an MPI process is limited ...