1289 search results - page 189 / 258 » Flexible Language Interoperability |
ICCD
1992
IEEE
14 years 2 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
EAGC
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper describes SCALEA-G, a unified monitoring and performance analysis system for the Grid. SCALEA-G is implemented as a set of grid services based on the Open Grid...
TACAS
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
ANCS
2008
ACM
14 years 1 days ago
2008
ACM
Nearly all programmable commercial hardware solutions offered for high-speed networking systems are capable of meeting the performance and flexibility requirements of equipment ve...