896 search results - page 11 / 180 » Stepwise Refinement of Processes |
105
click to vote
DSD
2006
IEEE
15 years 5 months ago
2006
IEEE
We present a performance-oriented refinement approach that refines a perfectly synchronous communication model onto Network-on-Chip (NoC) communication. We first identify four bas...
ICIP
2003
IEEE
16 years 3 months ago
2003
IEEE
114
click to vote
APSEC
2007
IEEE
15 years 8 months ago
2007
IEEE
Model refinement is a complex task. It is difficult for developers to refine models all by themselves. A good modeling tool should not only do routine refinement work for develope...
123
Voted
CGF
2008
15 years 1 months ago
2008
We present a flexible GPU kernel for adaptive on-the-fly refinement of meshes with arbitrary topology. By simply reserving a small amount of GPU memory to store a set of adaptive ...
110
click to vote
SOSE
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper, we introduce a simple but formal service description language (ForSeL) for modelbased requirements engineering. The basic notion in ForSeL is a service representing...