1760 search results - page 188 / 352 » A System to Mark Programs Automatically |
113
click to vote
IFIP
2000
Springer
15 years 7 months ago
2000
Springer
Existing software integration frameworks typically require large manual rewrites of existing codes, or specific tailoring of codes written to be used in the framework. The result i...
149
click to vote
BIRTHDAY
2010
Springer
15 years 1 months ago
2010
Springer
To prove termination of Java Bytecode (JBC) automatically, we transform JBC to finite termination graphs which represent all possible runs of the program. Afterwards, the graph can...
117
Voted
PEPM
2010
ACM
16 years 6 days ago
2010
ACM
Duplicated code is a well known problem in software maintenance and refactoring. Code clones tend to increase program size and several studies have shown that duplicated code make...
120
click to vote
IPSN
2009
Springer
15 years 10 months ago
2009
Springer
As the diversity of sensornet use cases increases, the combinations of environments and applications that will coexist will make custom engineering increasingly impractical. We in...
158
click to vote
SC
2003
ACM
15 years 8 months ago
2003
ACM
Distributing data is a fundamental problem in implementing efficient distributed-memory parallel programs. The problem becomes more difficult in environments where the participa...