21430 search results - page 155 / 4286 » Abstract Effective Models |
157
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
The UPIO (User-controllable Parallel I/O) we proposed xtends the abstraction of a linear file model into an n-dimensional file model, making it possible to control the layout of d...
163
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
This paper considers a developing theory on the effects of inevitable process variations during the fabrication of MEMS and other microsystems. The effects on the performance and ...
179
click to vote
ROBOCUP
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
168
click to vote
CONCUR
2010
Springer
15 years 6 months ago
2010
Springer
ompositionality of Round Abstraction Abstract Dan R. Ghica and Mohamed N. Menaa University of Birmingham, U.K. We revisit a technique called round abstraction as a solution to the ...
148
click to vote
ESTIMEDIA
2006
Springer
15 years 10 months ago
2006
Springer
The Sesame modeling and simulation framework aims at efficient system-level design space exploration of embedded multimedia systems. A primary objective of Sesame is the ion at mu...