283 search results - page 53 / 57 » Error Detection Using BMC in a Parallel Environment |
CLUSTER
2007
IEEE
15 years 3 months ago
2007
IEEE
— A critical problem facing by managing large-scale clusters is to identify the location of problems in a system in case of unusual events. As the scale of high performance compu...
PIMRC
2008
IEEE
15 years 3 months ago
2008
IEEE
Orthogonal frequency division multiplexing (OFDM) system suffers extra performance degradation in fast fading channel due to intercarrier interference (ICI). Combing frequency dom...
PLDI
2005
ACM
15 years 3 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
SERA
2004
Springer
15 years 2 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
94
Voted
ICAIL
2007
ACM
15 years 1 months ago
2007
ACM
As massive document repositories and knowledge management systems continue to expand, in proprietary environments as well as on the Web, the need for duplicate detection becomes i...