4890 search results - page 739 / 978 » From system specifications to component behavioral models |
108
click to vote
ENTCS
2008
15 years 26 days ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
107
click to vote
ATS
2009
IEEE
15 years 5 months ago
2009
IEEE
Caches are crucial components in modern processors (both stand-alone or integrated into SoCs) and their test is a challenging task, especially when addressing complex and high-fre...
109
Voted
GIS
2000
ACM
15 years 4 months ago
2000
ACM
The goal of Digital Earth (www.digitalearth.gov) is to create a virtual representation of our planet that enables a person to explore and interact with the vast amounts of natural...
123
click to vote
AAAI
2008
15 years 3 months ago
2008
Recent study has shown that canonical algorithms such as Principal Component Analysis (PCA) and Linear Discriminant Analysis (LDA) can be obtained from graph based dimensionality ...
124
click to vote
PDPTA
2003
15 years 2 months ago
2003
The evolution of distributed applications to reflect structural changes or to adapt to specific conditions of the run-time environment is a difficult issue especially if continuou...