3575 search results - page 117 / 715 » Modeling Concurrency with Geometry |
111
click to vote
GLVLSI
2002
IEEE
15 years 6 months ago
2002
IEEE
We present a novel test scheduling algorithm for embedded corebased SoC’s. Given a system integrated with a set of cores and a set of test resources, we select a test for each c...
103
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
ICCAD
1995
IEEE
15 years 5 months ago
1995
IEEE
With an ever-increasing portion of the delay in highspeed CMOS chips attributable to the interconnect, interconnect-circuit design automation continues to grow in importance. By t...
108
click to vote
CAL
2006
15 years 1 months ago
2006
Chip multiprocessors are of increasing importance due to recent difficulties in achieving higher clock frequencies in uniprocessors, but their success depends on finding useful wor...
122
click to vote
CONCUR
2009
Springer
14 years 11 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...