Sciweavers

9387 search results - page 1243 / 1878
» An Optimal Process Model for a Real Time Process
Sort
View
ISCAPDCS
2004
15 years 8 months ago
A VFSA Scheduler for Radiative Transfer Data in Climate Models
Scheduling and load-balancing techniques play an integral role in reducing the overall execution time of scientific applications on clustered multi-node systems. The increasing co...
S. P. Muszala, Gita Alaghband, Daniel A. Connors, ...
FTCS
1997
99views more  FTCS 1997»
15 years 8 months ago
Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools
Fast turnaroundtime independabilityevaluation iscrucialfor e cient fault-tolerant system design and dependability of the resulting product since timely feedbacks will allow more i...
Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing...
IEE
2007
120views more  IEE 2007»
15 years 7 months ago
Classification of model transformation techniques used in UML-based Web engineering
Software development techniques are continuously evolving with the goal of solving the main problems that still affect the building and maintenance of software systems: time, cost...
N. Koch
TASLP
2008
106views more  TASLP 2008»
15 years 7 months ago
Multipitch Analysis of Polyphonic Music and Speech Signals Using an Auditory Model
A method is described for estimating the fundamental frequencies of several concurrent sounds in polyphonic music and multiple-speaker speech signals. The method consists of a comp...
Anssi Klapuri
IEEEHPCS
2010
15 years 5 months ago
Semantic model checking security requirements for web services
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
L. Boaro, E. Glorio, Francesco Pagliarecci, Luca S...
« Prev « First page 1243 / 1878 Last » Next »