8874 search results - page 217 / 1775 » A New Implementation of Automath |
153
click to vote
ASPDAC
2000
ACM
15 years 8 months ago
2000
ACM
Multilevel Fiduccia-Mattheyses MLFM hypergraph partitioning 3, 22, 24 is a fundamental optimization in VLSI CAD physical design. The leading implementation, hMetis 23 , has sinc...
127
click to vote
WDAG
2010
Springer
15 years 2 months ago
2010
Springer
Most people believe that renaming is easy: simply choose a name at random; if more than one process selects the same name, then try again. We highlight the issues that occur when t...
111
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
142
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Do the design requirements of a knowledge management system change over time? If so, how do these changes affect the users of the system? In this paper we explore the case of pate...
131
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper discusses implementation of the next generation solution for power system control and monitoring. The new design is based on the use of synchronized sampling technology...