5159 search results - page 815 / 1032 » Structural Testing of Executables |
315
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Research has investigated mappings among data sources under two perspectives. On one side, there are studies of practical tools for schema mapping generation; these focus on algor...
289
Voted
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
Schema evolution poses serious challenges in historical data management. Traditionally historical data have been archived either by (i) migrating them into the current schema vers...
268
Voted
SIGMOD
2005
ACM
16 years 7 months ago
2005
ACM
This paper discusses ongoing research on scientific workflows at the Institute of Computing, University of Campinas (IC - UNICAMP) Brazil. Our projects with bio-scientists have le...
173
Voted
ICFP
2006
ACM
16 years 7 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
228
Voted
EUROSYS
2010
ACM
16 years 4 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...