1420 search results - page 106 / 284 » A combined functional and object-oriented approach to softwa... |
157
click to vote
IMECS
2007
15 years 7 months ago
2007
—In the context of multiple constant multiplications (MCM) design, we propose a novel common-subexpression-elimination (CSE) algorithm that models synthesis of coefficients into ...
193
click to vote
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
175
click to vote
ICMI
2004
Springer
15 years 11 months ago
2004
Springer
Although several real multimodal systems have been built, their development still remains a difficult task. In this paper we address this problem of development of multimodal inte...
148
click to vote
UML
2004
Springer
15 years 11 months ago
2004
Springer
The description of software architectures has always been concerned with the definition of the appropriate languages for designing the various architectural artifacts. Over the pa...
185
click to vote
CASCON
2007
15 years 7 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...