1451 search results - page 217 / 291 » Case Studies in Model Manipulation for Scientific Computing |
197
click to vote
RTCSA
2008
IEEE
16 years 20 days ago
2008
IEEE
· Modelling the fundamental performance limits of Wireless Sensor Networks (WSNs) is of paramount importance to understand the behaviour of WSN under worst-case conditions and to...
152
click to vote
CODES
2007
IEEE
16 years 19 days ago
2007
IEEE
Compositional approaches to system-level performance analysis have shown great flexibility and scalability in the design of heterogeneous systems. These approaches often assume c...
152
click to vote
ICC
2007
IEEE
16 years 18 days ago
2007
IEEE
— In this paper, we present an analytic model and methodology to determine optimal scheduling policy that involves two dimension space allocation: time and code, in High Speed Do...
131
click to vote
CCGRID
2006
IEEE
16 years 10 days ago
2006
IEEE
Many efforts in Grid communities have focused on middleware research and development. However, Grid application-level tools are needed which can build higherlevel functionality on...
152
click to vote
APN
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...