733 search results - page 131 / 147 » Embedded Architecture Description Language |
VLSID
2002
IEEE
14 years 11 months ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
DSD
2007
IEEE
14 years 5 months ago
2007
IEEE
The reduction of the cumbersome operations of multiplication, division, and powering to addition, subtraction and multiplication is what makes the Logarithmic Number System (LNS) ...
IAT
2006
IEEE
14 years 5 months ago
2006
IEEE
AbstractThis paper focuses on human-machine communication with intelligent agents, it proposes a generic architecture with an algorithm for natural language (NL) command interpreta...
ITNG
2006
IEEE
14 years 5 months ago
2006
IEEE
Web services are key applications in business-to-business, business-to-customer, and enterprise applications integration solutions. As the mobile Internet becomes one of the main ...
APSEC
2005
IEEE
14 years 4 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...