5210 search results - page 194 / 1042 » Tools for Distributed Facilitation |
152
Voted
ICCAD
2007
IEEE
15 years 6 months ago
2007
IEEE
– Interconnect issues are becoming increasingly important for ULSI systems. IntSim, an interconnect CAD tool, has been developed to obtain pitches of different wiring levels and ...
155
Voted
BMCBI
2004
15 years 4 months ago
2004
Background: The rapidly increasing number of completely sequenced genomes led to the establishment of the COG-database which, based on sequence homologies, assigns similar protein...
139
Voted
PVM
2007
Springer
15 years 10 months ago
2007
Springer
Complex code bases require continual testing to ensure that both new development and routine maintenance do not create unintended side effects. Automation of regression testing is...
144
click to vote
ETFA
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...
125
click to vote
INFOCOM
2005
IEEE
15 years 10 months ago
2005
IEEE
— Internet maps are generally constructed using the traceroute tool from a few sources to many destinations. It appeared recently that this exploration process gives a partial an...