9626 search results - page 1836 / 1926 » Invariant Based Programming |
102
click to vote
XPU
2007
Springer
15 years 6 months ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
—The clock distribution network is a key component of any synchronous VLSI design. High power dissipation and pressure volume temperature-induced variations in clock skew have st...
120
click to vote
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract—We consider the distributed estimation of an unknown vector signal in a resource constrained sensor network with a fusion center. Due to power and bandwidth limitations,...
ICDM
2006
IEEE
15 years 6 months ago
2006
IEEE
Manual debugging is expensive. And the high cost has motivated extensive research on automated fault localization in both software engineering and data mining communities. Fault l...
104
click to vote
IMSCCS
2006
IEEE
15 years 5 months ago
2006
IEEE
Comparative genomics has become an essential approach for identifying homologous gene candidates and their functions, and for studying genome evolution. We developed GenomeBlast, ...