220 search results - page 25 / 44 » A Language Independent Approach for Detecting Duplicated Cod... |
205
click to vote
ASPLOS
2009
ACM
16 years 1 months ago
2009
ACM
Software defects, commonly known as bugs, present a serious challenge for system reliability and dependability. Once a program failure is observed, the debugging activities to loc...
111
Voted
ICCD
2003
IEEE
15 years 9 months ago
2003
IEEE
Functional symmetries provide significant benefits for multiple tasks in synthesis and verification. Many applications require the manual specification of symmetries using spe...
139
click to vote
ISSTA
2012
ACM
13 years 2 months ago
2012
ACM
To avoid receiving incorrect arguments, a method specifies the expected type of each formal parameter. However, some parameter types are too general and have subtypes that the me...
117
Voted
PRDC
2005
IEEE
15 years 6 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
90
Voted
LREC
2010
15 years 1 months ago
2010
In this paper we present a new approach for obtaining the terminology of a given domain using the category and page structures of the Wikipedia in a language independent way. The ...