3038 search results - page 461 / 608 » Industrial evolutionary computing |
163
click to vote
DSN
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...
153
click to vote
WCRE
2000
IEEE
15 years 10 months ago
2000
IEEE
We show how hypertext-based program understanding tools eve new levels of abstraction by using inferred type information for cases where the subject software system is written in ...
157
click to vote
ACMDIS
2000
ACM
15 years 10 months ago
2000
ACM
This paper presents an exploratory process in which three industrial usability groups, in cooperation with HCI researchers, worked to reframe their own work practice. The usabilit...
148
click to vote
DAC
2000
ACM
15 years 10 months ago
2000
ACM
—Chemical–mechanical polishing (CMP) is an enabling technique used in deep-submicrometer VLSI manufacturing to achieve long range oxide planarization. Post-CMP oxide topography...
170
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
High performance circuit techniques such as domino logic have migrated from the microprocessor world into more mainstream ASIC designs. The problem is that domino logic comes at a...