Sciweavers

387 search results - page 14 / 78
» Compilation of Specifications
Sort
View
SIGCSE
2008
ACM
146views Education» more  SIGCSE 2008»
13 years 7 months ago
Bantam: a customizable, java-based, classroom compiler
This paper introduces the Bantam Java compiler project, a new language and compiler designed specifically for the classroom. Bantam Java, the source programming language, is a sma...
Marc L. Corliss, E. Christopher Lewis
BMCBI
2010
141views more  BMCBI 2010»
13 years 7 months ago
Genome scale prediction of substrate specificity for acyl adenylate superfamily of enzymes based on active site residue profiles
Background: Enzymes belonging to acyl:CoA synthetase (ACS) superfamily activate wide variety of substrates and play major role in increasing the structural and functional diversit...
Pankaj Khurana, Rajesh S. Gokhale, Debasisa Mohant...
ASC
2004
13 years 7 months ago
Efficient fuzzy compiler for SIMD architectures
Abstract. This paper presents a real-time full-programmable fuzzy compiler based on piecewise linear interpolation techniques designed to be executed in SIMD (Single Instruction Mu...
Enrique Frías-Martínez, Julio Guti&e...
CASES
2007
ACM
13 years 11 months ago
Scratch-pad memory allocation without compiler support for java applications
ABSTRACT This paper presents the first scratch-pad memory allocation scheme that requires no compiler support for interpreted-language based applications. A scratch-pad memory (SPM...
Nghi Nguyen, Angel Dominguez, Rajeev Barua
ICCL
1992
IEEE
13 years 11 months ago
An automatically generated and provably correct compiler for a subset of Ada
We describe the automatic generation of a provably correct compiler for a non-trivial subset of Ada. The compiler is generated from an emantic description; it emits absolute code ...
Jens Palsberg