171 search results - page 5 / 35 » Arithmetic Function Interpreter in C |
104
Voted
ASPDAC
2007
ACM
15 years 4 months ago
2007
ACM
- The use of reconfigurable cores in system on chip (SoC) designs is increasingly becoming a trend. Such cores are being used for their flexibility, powerful functionality and low ...
106
Voted
CIE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We study a realisability interpretation for inductive and coinductive definitions and discuss its application to program extraction from proofs. A speciality of this inte...
117
click to vote
JAR
2010
14 years 11 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
126
Voted
COOTS
1997
15 years 2 months ago
1997
The boundary between application and system is becoming increasingly permeable. Extensible applications, such as web browsers, database systems, and operating systems, demonstrate...
97
Voted
FIMH
2009
Springer
15 years 7 months ago
2009
Springer
Cardiac fibre architecture plays a key role in heart function. Recently, the estimation of fibre structure has been simplified with diffusion tensor MRI (DT-MRI). In order to as...