490 search results - page 86 / 98 » Data generation using declarative constraints |
112
click to vote
MICCAI
2008
Springer
16 years 3 months ago
2008
Springer
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
125
Voted
EUROMICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
When designing computer systems, simulation tools are used to imitate a real or proposed system. Complex, dynamic systems can be simulated without the cost and time constraints in...
110
click to vote
HPCA
1999
IEEE
15 years 6 months ago
1999
IEEE
Control independence has been put forward as a significant new source of instruction-level parallelism for future generation processors. However, its performance potential under p...
116
Voted
ESOP
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
102
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
Due to resource and power constraints, embedded processors often cannot afford dedicated floating-point units. For instance, the IBM PowerPC processor embedded in Xilinx Virtex-...