686 search results - page 12 / 138 » How Bayesians Debug |
ISCAS
2008
IEEE
14 years 2 months ago
2008
IEEE
—Bus-based system-on-chip (SoC) design becomes the major integration methods for shorting design cycle and time-tomarket, thus how to verify IP functionality on bus protocol is a...
IPPS
2005
IEEE
14 years 1 months ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
Existing approaches to debugging distributed systems involve a cycle of passive observation followed by computation replaying. We propose predicate control as an active approach t...
APNOMS
2007
Springer
13 years 11 months ago
2007
Springer
The mobile devices have gained much functionality and intelligence with the growth of network technologies, the abundance of network resources, and the increase of various services...
CHI
2005
ACM
14 years 8 months ago
2005
ACM
Although gender differences in a technological world are receiving significant research attention, much of the research and practice has aimed at how society and education can imp...