Sciweavers

2357 search results - page 189 / 472
» Computing Refactorings of Behavior Models
Sort
View
EUROPAR
2009
Springer
15 years 11 months ago
Modelling Pilot-Job Applications on Production Grids
Pilot-job systems have emerged as a computation paradigm to cope with heterogeneity of production grids, greatly improving fault ratios and latency. Tools like DIANE, WISDOM-II, To...
Tristan Glatard, Sorina Camarasu-Pop
CONCUR
2000
Springer
15 years 10 months ago
Formal Models for Communication-Based Design
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, L...
HIPS
1998
IEEE
15 years 10 months ago
ZPL's WYSIWYG Performance Model
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
Bradford L. Chamberlain, Sung-Eun Choi, E. Christo...
HUMO
2000
Springer
15 years 10 months ago
Modeling the Constraints of Human Hand Motion
Hand motion capturing is one of the most important parts of gesture interfaces. Many current approaches to this task generally involve a formidable nonlinear optimization problem ...
John Y. Lin, Ying Wu, Thomas S. Huang
PE
2006
Springer
130views Optimization» more  PE 2006»
15 years 6 months ago
Analysis of resource transfers in peer-to-peer file sharing applications using fluid models
This paper proposes a stochastic fluid flow model to compute the transfer time distribution of resources in peer-to-peer file sharing applications. The amount of bytes transferred...
Rossano Gaeta, Marco Gribaudo, Daniele Manini, Mat...