86 search results - page 15 / 18 » The complexity of verifying memory coherence |
108
Voted
GRAPHICSINTERFACE
2000
15 years 5 months ago
2000
Caustics produce beautiful and intriguing illumination patterns. However, their complex behavior make them difficult to simulate accurately in all but the simplest configurations....
133
Voted
CMSB
2007
Springer
15 years 9 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
137
Voted
HOST
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—Rapid advances in integrated circuit (IC) development predicted by Moore’s Law lead to increasingly complex, hard to verify IC designs. Design insiders or adversaries ...
128
Voted
ENTCS
2002
15 years 3 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
125
Voted
VLSID
2002
IEEE
16 years 4 months ago
2002
IEEE
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline v...