1781 search results - page 251 / 357 » Visualizing program execution using user abstractions |
ICA3PP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. Provisioning extra resources is necessary when the local resources are not sufficient to meet the user requirements. Commercial Cloud providers offer the extra resources...
TACAS
2000
Springer
14 years 16 days ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures&quo...
ICSE
1999
IEEE-ACM
14 years 1 months ago
1999
IEEE-ACM
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Traditional transactional memory systems suffer from overly conservative conflict detection, yielding so-called false conflicts, because they are based on fine-grained, low-level ...