473 search results - page 93 / 95 » Model Generation for Distributed Java Programs |
SIGSOFT
2001
ACM
14 years 7 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...
ICPADS
2010
IEEE
13 years 4 months ago
2010
IEEE
The MapReduce programming model simplifies large-scale data processing on commodity clusters by having users specify a map function that processes input key/value pairs to generate...
CASES
2007
ACM
13 years 10 months ago
2007
ACM
We derive analytically, the performance optimal throttling curve for a processor under thermal constraints for a given task sequence. We found that keeping the chip temperature co...
ISSTA
2009
ACM
14 years 22 days ago
2009
ACM
Bug localization has attracted a lot of attention recently. Most existing methods focus on pinpointing a single statement or function call which is very likely to contain bugs. Al...
EMSOFT
2008
Springer
13 years 8 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...