Uniprep—preparing a C/C++ compiler for Unicode
ACM SIGPLAN Notices
Automated proofs of object code for a widely used microprocessor
Journal of the ACM (JACM)
Resolution of dynamic memory allocation and pointers for the behavioral synthesis form C
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Fault-Tolerant File-I/O for Portable Checkpointing Systems
The Journal of Supercomputing - Special issue on embedded fault-tolerance systems
Metadata management: past, present and future
Decision Support Systems
Library Functions Timing Characterization for Source-Level Analysis
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
POSIX: a developer's view of standards
ATEC '97 Proceedings of the annual conference on USENIX Annual Technical Conference
Scientific Computing in the $C^H$ Programming Language
Scientific Programming
Framework for exercising I/O exception handling code
International Journal of Information and Communication Technology
Hi-index | 0.00 |