Sciweavers

684 search results - page 38 / 137
» Compiler Tools in APL
Sort
View
125
Voted
CISSE
2008
Springer
15 years 4 months ago
Testing Grammars For Top-Down Parsers
According to the software engineering perspective, grammars can be viewed as "Specifications for defining languages or compilers". They form the basics of languages and ...
A. M. Paracha, F. Franek
157
Voted
DEDS
2000
83views more  DEDS 2000»
15 years 2 months ago
Synthesis of Discrete-Event Controllers Based on the Signal Environment
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
Hervé Marchand, Patricia Bournai, Michel Le...
SAMOS
2010
Springer
15 years 1 months ago
Cycle-accurate performance modelling in an ultra-fast just-in-time dynamic binary translation instruction set simulator
—Instruction set simulators (ISS) are vital tools for compiler and processor architecture design space exploration and verification. State-of-the-art simulators using just-in-ti...
Igor Böhm, Björn Franke, Nigel P. Topham
197
Voted
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
15 years 16 days ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
106
Voted
NAR
2010
128views more  NAR 2010»
14 years 9 months ago
AntigenDB: an immunoinformatics database of pathogen antigens
The continuing threat of infectious disease and future pandemics, coupled to the continuous increase of drug-resistant pathogens, makes the discovery of new and better vaccines im...
Hifzur Rahman Ansari, Darren R. Flower, G. P. S. R...