11797 search results - page 116 / 2360 » Recent Developments in the Experimental |
151
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Single-walled carbon nanotube (SWCNT) bundles have the potential to provide an attractive solution for the resistivity and electromigration problems faced by traditional copper int...
163
click to vote
AUSAI
2003
Springer
15 years 9 months ago
2003
Springer
This paper introduces a new method for the rapid development of complex rule bases involving cue phrases for the purpose of classifying text segments. The method is based on Ripple...
187
Voted
CLUSTER
2001
IEEE
15 years 9 months ago
2001
IEEE
In this paper we report experiences on a parallel implementation of a standard cell placement algorithm on a cluster of myrinet connected PCs. The proposed algorithm is based on a...
156
click to vote
KBSE
2000
IEEE
15 years 9 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
185
click to vote
RTSS
1995
IEEE
15 years 9 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...