16 search results - page 2 / 4 » An architecture for universal CAD data exchange |
WECWIS
2000
IEEE
13 years 10 months ago
2000
IEEE
XML has become a very important emerging standard for E-commerce because of its flexibility and universality. Many software designers are actively developing new systems to handle...
DAC
1999
ACM
13 years 10 months ago
1999
ACM
Ordered Binary Decision Diagrams BDDs are a data structure for representation and manipulation of Boolean functions often applied in VLSI CAD. The choice of the variable orderin...
MIDDLEWARE
2004
Springer
13 years 11 months ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
ISCIS
2004
Springer
13 years 11 months ago
2004
Springer
Interest on using mobile autonomous agents has been growing, recently, due to their capacity to cooperate for diverse purposes, from rescue to demining and security. However, such ...
VLSID
2005
IEEE
13 years 11 months ago
2005
IEEE
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...