Award Data

N/A

A TECHNIQUE FOR OBTAINING TRUSTWORTHY COMPILATION BASED ON A COMPILATION CHECKER (SIMILAR TO A PROOF CHECKER) IS PROPOSED. THE TRANSFORMATIONS USED IN A COMPILER WILL BE FORMALLY SPECIFIED AND VERIFIED USING INTERPRETER EQUIVALENCE METHODS. THE COMPILER WILL BE INSTRUMENTED TO PRODUCE A TRACE OF THE TRANSFORMATIONS APPLIED IN THE COMPILATION OF A GIVEN PROGRAM. THE COMPILATION CHECKER WILL VALIDAT ...

MCNC PROPOSES A FEASIBILITY STUDY AND EVALUATION OF THREE PROMISING APPROACHES TO THE FABRICATION OF SURFACE TEST STRUCTURES ON SILICON. SURFACE FEATURES ON THE FIRST STRUCTURE WILL BE PRODUCED BY CONTROLLABLY ETCHING THERMALLYGROWN OXIDES. FEATURES ON THE SECOND WILL BE MADE BY ETCHING PIEZOELECTRIC THIN FILMS. USING THE PIEZOELECTRIC FILM AS PART OF A CAPACITOR, STEP-HEIGHT CAN BE VARIED AND PRO ...

INADEQUATE STARTER FEEDS SEVERELY HOLD BACK NEW AQUACULTURE ENTERPRISES SUCH AS PRESENT ATTEMPTS TO RAISE FISHES WHOSE LARVAE DEVELOP FROM SMALL EGGS AND HAVE VERY "DIFFICULT" FOOD REQUIREMENTS. INERT LARVAL FEEDS HAVE NOT SUCCESSFULLYELIMINATED THE STRICT DEPENDENCY ON NATURAL FORAGE DURING THE CRITICAL POST-LARVAL STAGE AFTER YOLK ABSORPTION AND BEFORE THE DEVELOPMENT OF A DIGESTIVE SYSTEM WITH ...