783 search results - page 39 / 157 » The TextPro Tool Suite |
INFORMATICALT
2008
14 years 9 months ago
2008
Abstract. The purpose of the research described in this paper is to propose a framework and supporting tools that will help software companies to establish formalised methods that ...
62
Voted
COLING
1996
14 years 11 months ago
1996
This paper describes an interactive graphical environment for computational semantics. The system provides a teaching tool, a stand alone extendible grapher, and a library of algo...
DAC
1994
ACM
15 years 1 months ago
1994
ACM
We describe ASTRX/OBLX, a synthesis system that can size high-performance analog circuit topologies to meet usersupplied linear performance specifications without designer-supplied...
WSC
2004
14 years 11 months ago
2004
In this research, we investigate how well Weibull, Gamma, and special bimodal distribution are suited as an alternative to the exponential distribution approach in the stochastic ...
SAFECOMP
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...