1452 search results - page 107 / 291 » Algorithmic Analysis of Array-Accessing Programs |
SIGSOFT
2005
ACM
16 years 1 months ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...
109
click to vote
PADL
2010
Springer
15 years 9 months ago
2010
Springer
A well-known bad code smell in refactoring and software maintenance is duplicated code, that is the existence of code clones, which are code fragments that are identical or similar...
218
Voted
POPL
2004
ACM
16 years 23 days ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
113
Voted
QEST
2006
IEEE
15 years 6 months ago
2006
IEEE
LiQuor is a tool for verifying probabilistic reactive systems modelled Probmela programs, which are terms of a probabilistic guarded command language with an operational semantics...
126
click to vote
JETAI
2007
15 years 10 days ago
2007
Research in computational cognitive modeling investigates the nature of cognition through developing process-based understanding by specifying computational models of mechanisms (...