1499 search results - page 294 / 300 » Chopping Concurrent Programs |
105
click to vote
ISPAN
2005
IEEE
15 years 7 months ago
2005
IEEE
Commodity hardware and software are growing increasingly more complex, with advances such as chip heterogeneity and specialization, deeper memory hierarchies, ne-grained power ma...
138
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
User-session-based testing of web applications gathers user sessions to create and continually update test suites based on real user input in the field. To support this approach ...
107
Voted
EMSOFT
2005
Springer
15 years 7 months ago
2005
Springer
We present AutoDVS, a dynamic voltage scaling (DVS) system for hand-held computers. Unlike extant DVS systems, AutoDVS distinguishes common, course-grain, program behavior and cou...
112
Voted
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
147
Voted
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
Recent years have seen the growing popularity of multi-rate wireless network devices (e.g., 802.11a cards) that can exploit variations in channel conditions and improve overall ne...