Sciweavers

3515 search results - page 314 / 703
» Resource usage analysis
Sort
View
FASE
2006
Springer
15 years 10 months ago
Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
Peter Csaba Ölveczky, Marco Caccamo
FCCM
2008
IEEE
165views VLSI» more  FCCM 2008»
16 years 1 months ago
Performance Analysis with High-Level Languages for High-Performance Reconfigurable Computing
High-Level Languages (HLLs) for FPGAs (FieldProgrammable Gate Arrays) facilitate the use of reconfigurable computing resources for application developers by using familiar, higher...
John Curreri, Seth Koehler, Brian Holland, Alan D....
CCGRID
2006
IEEE
16 years 22 days ago
ResGrid: A Grid-aware Toolkit for Reservoir Uncertainty Analysis
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...
Zhou Lei, Dayong Huang, Archit Kulshrestha, Santia...
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 22 days ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
ICPPW
2006
IEEE
16 years 21 days ago
A Generic Task-Farming Framework for Reservoir Analysis in a Grid Environment
The vast majority of research projects involving Grid Computing have focused on the development and standardization of the middleware that allows Grids to function. Despite the ma...
Santiago Pena, Dayong Huang, Zhou Lei, Gabrielle A...