1407 search results - page 217 / 282 » Using Use Cases in Executable Z |
105
Voted
DSN
2007
IEEE
15 years 9 months ago
2007
IEEE
Testing is a difficult process that becomes more difficult with scaling. With smaller and faster devices, tolerance for errors shrinks and devices may act correctly under certain ...
211
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
Current shared memory multicore and multiprocessor systems are nondeterministic. Each time these systems execute a multithreaded application, even if supplied with the same input,...
134
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
123
click to vote
IISWC
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract—Transactional Memory (TM) is emerging as a promising technology to simplify parallel programming. While several TM systems have been proposed in the research literature,...
168
Voted
PATMOS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...