8874 search results - page 1663 / 1775 » A New Implementation of Automath |
138
Voted
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
The economic impact of the growth dynamic of standards is often described from a macroeconomic point of view, employing network effect theory and models dealing with externalities...
150
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
The impact of power supply integrity on a design has become a critical issue, not only for functional verification, but also for performance verification. Traditional analysis has...
138
Voted
IEEEINTERACT
2003
IEEE
15 years 9 months ago
2003
IEEE
: The traditional framework for back-end compilation is based on the scope of functions, which is a natural boundary to partition an entire program for compilation. However, the si...
151
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
With the availability of large datasets in a variety of scientific and commercial domains, data mining has emerged as an important area within the last decade. Data mining techni...
142
Voted
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
High performance, freedom from deadlocks, and freedom from livelocks are desirable properties of interconnection networks. Unfortunately, these can be conflicting goals because n...