1937 search results - page 31 / 388 » Starting B Specifications from Use Cases |
101
click to vote
GECCO
2006
Springer
15 years 5 months ago
2006
Springer
In this article, we describe the application of an enhanced genetic algorithm to the problem of hardware-software codesign. Starting from a source code written in a high-level lan...
111
Voted
IESS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...
135
click to vote
CLIN
2004
15 years 3 months ago
2004
The present paper reports on an end-to-end application using a deep processing grammar to extract spatial and temporal information of prepositional and adverbial expressions from ...
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents an experience report on the specification and the validation of a real case study in the context of the industrial CRISTAL project. The case study concerns a pl...
111
Voted
FLAIRS
2000
15 years 3 months ago
2000
To date, there is little evidence that modular reasoning about fault-tolerant systems can simplify the verification process in practice. We study this question using a prominent e...