372 search results - page 31 / 75 » time 1996 |
93
Voted
DAC
1996
ACM
15 years 4 months ago
1996
ACM
In this paper, we outline general design steps of our synthesis tool to realize application specific co-processors such that for a given scientific application having intensive ite...
116
Voted
ISSTA
1996
ACM
15 years 4 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
133
click to vote
ICPADS
1996
IEEE
15 years 4 months ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...
88
Voted
AAAI
1996
15 years 1 months ago
1996
Many learning systems suffer from the utility problem; that is, that time after learning is greater than time before learning. Discovering how to assure that learned knowledge wil...
79
Voted
ICCAD
1996
IEEE
15 years 4 months ago
1996
IEEE
We presenta new representationfor Boolean functions called PartitionedROBDDs. In this representation we divide the Boolean space into `k' partitions and represent a function ...