Sciweavers

11561 search results - page 402 / 2313
» A Language for Biochemical Systems
Sort
View
CC
2008
Springer
111views System Software» more  CC 2008»
15 years 9 months ago
A System for Generating Static Analyzers for Machine Instructions
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...
Junghee Lim, Thomas W. Reps
JFP
2000
95views more  JFP 2000»
15 years 7 months ago
A modular module system
A simple implementation of an SML-like module system is presented as a module parameterized by a base language and its type-checker. This implementation is useful both as a detail...
Xavier Leroy
EACL
2009
ACL Anthology
15 years 5 months ago
eHumanities Desktop - An Online System for Corpus Management and Analysis in Support of Computing in the Humanities
This paper introduces eHumanities Desktop- an online system for corpus management and analysis in support of Computing in the Humanities. Design issues and the overall architectur...
Rüdiger Gleim, Ulli Waltinger, Alexandra Erns...
ICFP
2008
ACM
16 years 7 months ago
A scheduling framework for general-purpose parallel languages
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
Matthew Fluet, Mike Rainey, John H. Reppy
CLEF
2007
Springer
16 years 1 months ago
Stemming Approaches for East European Languages
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
Ljiljana Dolamic, Jacques Savoy