1246 search results - page 34 / 250 » Online testing with model programs |
118
Voted
DAC
2011
ACM
14 years 16 days ago
2011
ACM
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
104
Voted
CPAIOR
2006
Springer
15 years 4 months ago
2006
Springer
This paper considers online stochastic reservation problems, where requests come online and must be dynamically allocated to limited resources in order to maximize profit. Multi-k...
122
click to vote
TSE
2011
14 years 7 months ago
2011
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
114
click to vote
ITS
2000
Springer
15 years 4 months ago
2000
Springer
We are designing a computational architecture for a "learning economy" based on personal software agents who represent users in a virtual society and assist them in find...
113
Voted
TSE
2010
14 years 11 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...