3742 search results - page 405 / 749 » On the Use of Formal Techniques for Validation |
208
click to vote
ICDCS
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract—The distributed nature and large scale of MapReduce programs and systems poses two challenges in using existing profiling and debugging tools to understand MapReduce pr...
157
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Critical industrial applications or fault tolerant applications need for operating systems (OS) which guarantee a correct and safe behaviour in spite of the appearance of errors. ...
155
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Static timing analysis is a critical step in design of any digital integrated circuit. Technology and design trends have led to significant increase in environmental and process v...
191
click to vote
ICDE
2009
IEEE
16 years 1 months ago
2009
IEEE
— Record linkage is the computation of the associations among records of multiple databases. It arises in contexts like the integration of such databases, online interactions and...
186
click to vote
APPT
2009
Springer
16 years 1 months ago
2009
Springer
SIMD extension is one of the most common and effective technique to exploit data-level parallelism in today’s processor designs. However, the performance of SIMD architectures i...