1282 search results - page 118 / 257 » Practical Loss-Resilient Codes |
112
click to vote
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
112
Voted
SPRINGSIM
2010
14 years 11 months ago
2010
: Creating models and analyzing simulation results can be a difficult and time-consuming task, especially for non-experienced users. Although several DEVS simulators have been deve...
STTT
2010
14 years 11 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
94
Voted
WDAG
2010
Springer
14 years 11 months ago
2010
Springer
Software transactional memory (STM) guarantees that a transaction, consisting of a sequence of operations on the memory, appears to be executed atomically. In practice, it is impor...
139
Voted
XPU
2010
Springer
14 years 11 months ago
2010
Springer
Experimentation is one way to gain insight into how processes perform for a team, but industry teams rarely do experiments, fearing that such educational excursions will incur extr...