3943 search results - page 213 / 789 » Architecture-Level Requirements Specification |
143
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
This paper introduces hot potato high level synthesis transformation techniques. These techniques add deflection operations in a computation in such a way that a specific goal is ...
160
click to vote
FPL
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes a solution for the generation of true random numbers in a purely digital fashion; making it suitable for any FPGA type, because no FPGA vendor specific featur...
181
click to vote
3DIM
2003
IEEE
15 years 10 months ago
2003
IEEE
This work introduces a procedure for automatic 3D modeling and discusses its performance in the context of a medical application, namely the 3D modeling of palate's casts. Th...
202
click to vote
TYPES
2000
Springer
15 years 10 months ago
2000
Springer
We report on the design of a prototyping component for the theorem prover Isabelle/HOL. Specifications consisting of datatypes, recursive functions and inductive definitions are co...
193
click to vote
CBSE
2008
Springer
15 years 8 months ago
2008
Springer
Component-based software engineering proposes building complex applications from COTS (Commercial Off-The-Shelf) organized into component markets. Therefore, the main development e...