321 search results - page 50 / 65 » Specifying Executable Platform-Independent Models using OCL |
ICCD
2006
IEEE
14 years 5 months ago
2006
IEEE
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
CBMS
2006
IEEE
14 years 2 months ago
2006
IEEE
Computer based clinical guidelines have been developed to help caregivers in practicing medicine. GLIF3 (Guideline Interchange Format 3) is one of several standards that specify t...
ISPW
2009
IEEE
14 years 3 months ago
2009
IEEE
Web service orchestration is popular because the application logic is defined from a central and unique point of view, but it suffers from scalability issues. In choreography, the ...
DSD
2003
IEEE
14 years 1 months ago
2003
IEEE
Network on Chip (NoC) is a new paradigm for designing core based System on Chip which supports high degree of reusability and is scalable. In this paper we describe an efficient t...
FMCAD
2006
Springer
14 years 9 days ago
2006
Springer
Synchronous Data Flow Graphs (SDFGs) have proven to be suitable for specifying and analyzing streaming applications that run on single- or multi-processor platforms. Streaming appl...