Sciweavers

3473 search results - page 62 / 695
» Aspect-Oriented Programming with C
Sort
View
114
Voted
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 7 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
147
Voted
HIPC
2003
Springer
15 years 8 months ago
Thread Migration/Checkpointing for Type-Unsafe C Programs
Thread migration/checkpointing is becoming indispensable for load balancing and fault tolerance in high performance computing applications, and its success depends on the migration...
Hai Jiang, Vipin Chaudhary
ISPAN
2002
IEEE
15 years 8 months ago
On the Impact of Naming Methods for Heap-Oriented Pointers in C Programs
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
Tong Chen, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew
SC
1993
ACM
15 years 7 months ago
Parallel programming in Split-C
David E. Culler, Andrea C. Arpaci-Dusseau, Seth Co...
ICSE
2009
IEEE-ACM
15 years 8 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
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 ...
Bernard Botella, Mickaël Delahaye, Sté...