8874 search results - page 1663 / 1775 » A New Implementation of Automath |
162
click to vote
HICSS
2003
IEEE
15 years 11 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...
192
click to vote
ICCAD
2003
IEEE
15 years 11 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...
166
click to vote
IEEEINTERACT
2003
IEEE
15 years 11 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...
185
click to vote
IPPS
2003
IEEE
15 years 11 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...
176
click to vote
IPPS
2003
IEEE
15 years 11 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...