1850 search results - page 54 / 370 » Design-for-debugging of application specific designs |
ECOOP
1994
Springer
14 years 2 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
FPL
2004
Springer
14 years 3 months ago
2004
Springer
ASIPs and reconfigurable processors are architectural choices to extend the capabilities of a given processor. ASIPs suffer from fixed hardware after design, while ASIPs and reconf...
FASE
2008
Springer
13 years 11 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
ESTIMEDIA
2008
Springer
13 years 11 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
WWW
2005
ACM
14 years 10 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...