2441 search results - page 223 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
135
click to vote
SEFM
2005
IEEE
15 years 11 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
137
click to vote
SIGSOFT
2005
ACM
15 years 10 months ago
2005
ACM
Cloning in software systems is known to create problems during software maintenance. Several techniques have been proposed to detect the same or similar code fragments in software...
197
click to vote
ACML
2009
Springer
15 years 12 months ago
2009
Springer
With more and more commercial activities moving onto the Internet, people tend to purchase what they need through Internet or conduct some online research before the actual transac...
148
click to vote
ARCS
2009
Springer
15 years 12 months ago
2009
Springer
In sampling based hotspot detection, performance engineers sample the running program periodically and record the Instruction Pointer (IP) addresses at the sampling. Empirically, f...
170
click to vote
FASE
2009
Springer
16 years 2 days ago
2009
Springer
Abstract. The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Atomicity violation, which is ...