896 search results - page 11 / 180 » Stepwise Refinement of Processes |
DSD
2006
IEEE
14 years 4 days 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
14 years 10 months ago
2003
IEEE
APSEC
2007
IEEE
14 years 2 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...
CGF
2008
13 years 8 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 ...
SOSE
2006
IEEE
14 years 2 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...