507 search results - page 45 / 102 » Testing implementations of transactional memory |
173
click to vote
EMSOFT
2006
Springer
15 years 9 months ago
2006
Springer
Portable systems such as cell phones and portable media players commonly use non-volatile RAM (NVRAM) to hold all of their data and metadata, and larger systems can store metadata...
175
click to vote
WMASH
2004
ACM
15 years 11 months ago
2004
ACM
Wireless networked embedded terminals like personal digital assistants, cell-phones or sensor nodes are typically memory constrained devices. This limitation prevents the developm...
164
click to vote
ISSTA
2009
ACM
16 years 14 days ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
128
click to vote
ITCC
2005
IEEE
15 years 11 months ago
2005
IEEE
M-commerce has shown up as e-commerce in mobile and wireless communication, and now deals with on-line banking, stock trading, auctions, transactions, and mobile media. M-commerce...
141
click to vote
VLDB
2002
ACM
15 years 5 months ago
2002
ACM
We present algorithms for computing frequency counts exceeding a user-specified threshold over data streams. Our algorithms are simple and have provably small memory footprints. A...