220 search results - page 31 / 44 » A Language Independent Approach for Detecting Duplicated Cod... |
CAISE
2006
Springer
15 years 4 months ago
2006
Springer
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
108
click to vote
ASPLOS
2011
ACM
14 years 4 months ago
2011
ACM
Trace-based compilation is a promising technique for language compilers and binary translators. It offers the potential to expand the compilation scopes that have traditionally be...
142
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
Static analysis tools report software defects that may or may not be detected by other verification methods. Two challenges complicating the adoption of these tools are spurious f...
97
Voted
ISORC
2009
IEEE
15 years 7 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...