428 search results - page 38 / 86 » Validating High-Level Synthesis |
SEMWEB
2009
Springer
14 years 5 months ago
2009
Springer
This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speciļ¬...
EPEW
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We consider wireless ad-hoc networks and implement failure detections mechanisms. These failure detectors provide elementary information for high level distributed algori...
CODES
2003
IEEE
14 years 4 months ago
2003
IEEE
Recently, the transaction-level modeling has been widely referred to in system-level design community. However, the transaction-level models(TLMs) are not well deļ¬ned and the us...
TCAD
2008
13 years 11 months ago
2008
Physical synthesis tools are responsible for achieving timing closure. Starting with 130nm designs, multiple cycles are required to cross the chip, making latch placement critical...
CSL
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. For a two-variable formula B(X,Y) of Monadic Logic of Order (MLO) the Church Synthesis Problem concerns the existence and construction of a ļ¬nite-state operator Y=F(X) ...