3792 search results - page 293 / 759 » Techniques for Trusted Software Engineering |
164
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...
178
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Abstract. This paper presents techniques and tools to transform spreadsheets into relational databases and back. A set of data refinement rules is introduced to map a tabular data...
145
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Predicate-based statistical fault-localization techniques locate fault-relevant predicates in a program by contrasting the statistics of the values of individual predicates betwee...
181
click to vote
SCAM
2005
IEEE
16 years 6 days ago
2005
IEEE
When a new technology is introduced, the migration of existing applications to the new technology must be carefully considered. Automation can make some migrations feasible that o...
170
click to vote
WOSP
2005
ACM
16 years 6 days ago
2005
ACM
Understanding the characteristics of the users’ workload is an important aspect when designing and providing web services. The majority of current workload characterization tech...