Sciweavers

3825 search results - page 250 / 765
» The Language of Time: A Reader
Sort
View
IPPS
2007
IEEE
16 years 26 days ago
Modeling Modern Micro-architectures using CASL
We overview CASL, the CoGenT Architecture Specification Language, a mixed behavioral-structure architecture description language designed to facilitate fast prototyping and tool ...
Edward K. Walters II, J. Eliot B. Moss, Trek S. Pa...
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
16 years 1 days ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
DAC
1994
ACM
15 years 10 months ago
Memory Estimation for High Level Synthesis
Abstract -- This paper describes a new memory estimation technique for DSP applications written in an applicative language. Since no concept of storage is present in an applicative...
Ingrid Verbauwhede, Chris J. Scheers, Jan M. Rabae...
IFIP
1994
Springer
15 years 10 months ago
Program Speedups in Theory and Practice
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
Neil D. Jones
LREC
2010
148views Education» more  LREC 2010»
15 years 8 months ago
ISO-TimeML: An International Standard for Semantic Annotation
In this paper, we present ISO-TimeML, a revised and interoperable version of the temporal markup language, TimeML. We describe the changes and enrichments made, while framing the ...
James Pustejovsky, Kiyong Lee, Harry Bunt, Laurent...