2441 search results - page 55 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
ISSTA
2009
ACM
15 years 5 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
123
Voted
ICWSM
2009
14 years 8 months ago
2009
Finding out about a topic online can be time consuming. It involves visiting multiple news sites, encyclopedia entries, video repositories and other resources while discarding irr...
100
Voted
CODES
2005
IEEE
15 years 4 months ago
2005
IEEE
Arbitrary memory dependencies and variable latency memory systems are major obstacles to the synthesis of large-scale ASIC systems in high-level synthesis. This paper presents SOM...
98
Voted
APSEC
2005
IEEE
15 years 4 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
80
Voted
ITRUST
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...