4889 search results - page 532 / 978 » A Refactoring Approach to Parallelism |
182
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
189
click to vote
EGICE
2006
15 years 10 months ago
2006
Situated design computing is an approach to the use of computers in design based on situated cognition. It is founded on two concepts: situatedness and constructive memory. These h...
181
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
177
Voted
WIA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We describe a general automata-theoretic approach for analyzing the verification problems (binary reachability, safety, etc.) of discrete timed automata augmented with va...
178
click to vote
FOCS
1995
IEEE
15 years 10 months ago
1995
IEEE
We establish a variety of combinatorial bounds on the tradeo s inherent in reconstructing strings using few rounds of a given number of substring queries per round. These results ...