3330 search results - page 211 / 666 » software 2010 |
93
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
We describe a fixed parameter tractable (fpt) algorithm for Colored Hypergraph Isomorphism which has running time 2O(b) NO(1) , where the parameter b is the maximum size of the col...
148
Voted
ESEM
2010
ACM
15 years 27 days ago
2010
ACM
Software designs decay over time. While most studies focus on decay at the system level, this research studies design decay on well understood micro architectures, design patterns...
118
click to vote
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
Bisimulation equivalence is decidable in polynomial time over normed graphs generated by a context-free grammar. We present a new algorithm, working in time O(n5 ), thus improving...
116
Voted
WCRE
2010
IEEE
14 years 11 months ago
2010
IEEE
—Concurrent programming with shared memory in an object-oriented language such as Java is notoriously difficult. Therefore, it is important to study new program understanding te...
99
Voted
EDBTW
2010
Springer
15 years 7 months ago
2010
Springer
As the use of social networks becomes more widespread and commonplace, users are beginning to question how their privacy is protected by social networks. In this paper, we review ...