2441 search results - page 211 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
172
Voted
ISSTA
2012
ACM
13 years 6 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...
137
click to vote
IPM
2011
14 years 11 months ago
2011
Blogging has been an emerging media for people to express themselves. However, the presence of spam-blogs (also known as splogs) may reduce the value of blogs and blog search engi...
140
click to vote
PLDI
2006
ACM
15 years 10 months ago
2006
ACM
In order to generate high-quality code for modern processors, a compiler must aggressively schedule instructions, maximizing resource utilization for execution efficiency. For a ...
149
click to vote
ISSTA
1996
ACM
15 years 8 months ago
1996
ACM
We illustrate the application of Nitpick, a specification checker, to the design of a style mechanism for a word processor. The design is cast, along with some expected properties...
154
click to vote
GPCE
2008
Springer
15 years 5 months ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...