2145 search results - page 37 / 429 » Architectural Specifications in CASL |
136
Voted
DAC
2006
ACM
16 years 5 months ago
2006
ACM
We address the problem of estimating controller delay from high-level specifications during behavioral synthesis. Typically, the critical path of a synthesised behavioral design g...
134
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
In this poster we introduce ProThes, a pilot meta-search engine (MSE) for a specific application domain. ProThes combines three approaches: meta-search, graphical user interface (...
215
click to vote
VLDB
2001
ACM
16 years 4 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
123
Voted
CODES
2000
IEEE
15 years 8 months ago
2000
IEEE
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
134
Voted
ESTIMEDIA
2008
Springer
15 years 6 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 ...