6054 search results - page 1036 / 1211 » Implementation of Andorra-based Languages |
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
140
click to vote
CCGRID
2004
IEEE
15 years 4 months ago
2004
IEEE
Distributed computing middleware needs to support a wide range of resources, such as diverse software components, various hardware devices, and heterogeneous operating systems and...
105
Voted
DSD
2004
IEEE
15 years 4 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
109
click to vote
EDOC
2004
IEEE
15 years 4 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...
125
click to vote
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper presents a hw/sw codesign methodology based on BORPH, an operating system designed for FPGA-based reconfigurable computers (RC's). By providing native kernel suppo...