Sciweavers

4615 search results - page 369 / 923
» Virtual Classes and Their Implementation
Sort
View
ENTCS
2002
78views more  ENTCS 2002»
15 years 6 months ago
ESUIF: An Open Esterel Compiler
I describe a new compiler infrastructure for imperative synchronous languages such as Esterel and ecl. Built on the suif 2 system, it includes a new intermediate representation fo...
Stephen Edwards
166
Voted
TCS
1998
15 years 6 months ago
Parsing Schemata and Correctness of Parsing Algorithms
Parsing schemata provide a high-level formal description of parsers. These can be used, among as an intermediate level of abstraction for deriving the formal correctness of a pars...
Klaas Sikkel
SCFBM
2008
129views more  SCFBM 2008»
15 years 6 months ago
Faunus: An object oriented framework for molecular simulation
Background: We present a C++ class library for Monte Carlo simulation of molecular systems, including proteins in solution. The design is generic and highly modular, enabling mult...
Mikael Lund, Martin Trulsson, Björn Persson
NOCS
2009
IEEE
16 years 1 months ago
Exploring concentration and channel slicing in on-chip network router
Sharing on-chip network resources efficiently is critical in the design of a cost-efficient network on-chip (NoC). Concentration has been proposed for on-chip networks but the t...
Prabhat Kumar, Yan Pan, John Kim, Gokhan Memik, Al...
ICMCS
2008
IEEE
168views Multimedia» more  ICMCS 2008»
16 years 1 months ago
A co-design platform for algorithm/architecture design exploration
The efficient implementation of multimedia algorithms, for the ever increasing complexity of the specifications and the emergence of the new generation of processing platforms c...
Christophe Lucarz, Marco Mattavelli, Julien Dubois