1163 search results - page 113 / 233 » Concurrent Subspaces Analysis |
116
click to vote
FMOODS
2003
15 years 5 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...
155
click to vote
HASE
1997
IEEE
15 years 7 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
158
Voted
CODES
2002
IEEE
15 years 8 months ago
2002
IEEE
In this paper we present a method to perform static timing analysis of SystemC models, that describe parallel, communicating software processes.The paper combines a worstcase exec...
173
Voted
PPOPP
2006
ACM
15 years 9 months ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
137
Voted
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a new method to synthesize timed asynchronous circuits directly from the specification without generating a state graph. The synthesis procedure begins with a ...