4074 search results - page 674 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
162
click to vote
TON
2010
15 years 4 months ago
2010
—The rapid growth of media content distribution on the Internet in the past few years has brought with it commensurate increases in the costs of distributing that content. Can th...
179
click to vote
RECOMB
2005
Springer
16 years 6 months ago
2005
Springer
Abstract. Asymmetric functional divergence of paralogues is a key aspect of the traditional model of evolution following duplication. If one gene continues to perform the ancestral...
179
click to vote
CAV
2007
Springer
16 years 14 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
148
click to vote
WECWIS
2006
IEEE
16 years 8 days ago
2006
IEEE
The paper assumes that business interactions between trading partners are composed of well defined conversations (tasks), such as issue a purchase order, process payment, refund m...
145
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— The analysis of effects induced by interconnects become increasingly important as the scale of process technologies steadily shrinks. While most analyses focus on the t...