5252 search results - page 813 / 1051 » Requirements engineering: a roadmap |
179
click to vote
EMSOFT
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
207
click to vote
ER
2003
Springer
16 years 14 days ago
2003
Springer
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
208
click to vote
FATES
2003
Springer
16 years 14 days ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
208
click to vote
FPGA
2003
ACM
16 years 14 days ago
2003
ACM
In this paper, we present the first exact algorithm to solve the constrained I/O placement problem for FPGAs that support multiple I/O standards. We derive a compact integer line...
214
click to vote
ICCS
2003
Springer
16 years 13 days ago
2003
Springer
In many areas of design search and optimisation one needs to utilize Computational Fluid Dynamics (CFD) methods in order to obtain numerical solution of the flow field in and/or ...