6800 search results - page 515 / 1360 » Testing with Functions as Specifications |
228
click to vote
FMICS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Safe is a first-order functional language with unusual memory management features: memory can be both explicitly and implicitly deallocated at some specific points in the...
179
click to vote
AI
2001
Springer
15 years 11 months ago
2001
Springer
A system's constraints characterizes what that system can do. However, a dynamic environment may require that a system alter its constraints. If feedback about a specific situ...
182
click to vote
ASPDAC
1995
ACM
15 years 11 months ago
1995
ACM
- We address the problem of transforming a behavioral specification so that synthesis of a testable implementation from the new specification requires significantly less area and ...
207
click to vote
EURODAC
1995
IEEE
15 years 11 months ago
1995
IEEE
A hierarchical system design flow was developed to facilitate concurrent development and Time-to-Market reductions. The system design flow provides for codesign of (embedded) driv...
203
click to vote
ASAP
2007
IEEE
15 years 9 months ago
2007
IEEE
This paper presents the enhancement of an ASIP’s floating point performance by coupling of a co-processor and adding of special instructions. Processor hardware modifications an...