2341 search results - page 321 / 469 » Using ontologies for simulation integration |
167
click to vote
ISCA
1993
IEEE
15 years 6 months ago
1993
IEEE
Advances in circuit and integration technology are continuously boosting the speed of microprocessors. One of the main challenges presented by such developments is the effective u...
111
Voted
DATE
2004
IEEE
15 years 6 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
108
Voted
IFM
2000
Springer
15 years 6 months ago
2000
Springer
State-based refinement relations have been developed for use on the Object-Z components in an integrated Object-Z / CSP specification. However this refinement methodology does not ...
146
Voted
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
148
Voted
EUROPAR
2008
Springer
15 years 4 months ago
2008
Springer
This work is devoted to the numerical resolution of the 4D Vlasov equation using an adaptive mesh of phase space. We previously proposed a parallel algorithm designed for distribut...