10910 search results - page 255 / 2182 » Input modeling using a computer algebra system |
187
click to vote
DEDS
2000
15 years 5 months ago
2000
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...
156
Voted
MKM
2004
Springer
15 years 11 months ago
2004
Springer
This paper reports on refinements and extensions to the MathLang framework that add substantial support for natural language text. We show how the extended framework supports mult...
143
click to vote
VLSID
2003
IEEE
16 years 6 months ago
2003
IEEE
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
148
click to vote
ECBS
2005
IEEE
15 years 11 months ago
2005
IEEE
Large and complex computer based systems are the result of an evolution process which may take many years. Heterogeneity is an important characteristic of such systems: During the...
166
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...