490 search results - page 86 / 98 » Data generation using declarative constraints |
MICCAI
2008
Springer
14 years 8 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...
EUROMICRO
2000
IEEE
13 years 12 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...
HPCA
1999
IEEE
13 years 11 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...
ESOP
2007
Springer
13 years 11 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...
CASES
2005
ACM
13 years 9 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-...