3415 search results - page 294 / 683 » Physical Design Refinement: The |
148
click to vote
FIDJI
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. When dealing with distributed systems, one of the most important problems that has to be addressed is concurrency. Distributed systems are inherently concurrent, distribu...
198
Voted
OOPSLA
2009
Springer
15 years 11 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
163
click to vote
SIGSOFT
2000
ACM
15 years 11 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...
163
Voted
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
Buffer insertion is an effective approach to achieve both minimal clock signal delay and skew in high speed VLSI circuit design. In this paper, we develop an optimal buffer ins...
168
click to vote
WETICE
1999
IEEE
15 years 11 months ago
1999
IEEE
In order to design useful knowledge media spaces to knowledge workers it is essential that we understand the nature of the work conducted and the knowledge applied in real setting...