14244 search results - page 339 / 2849 » Modeling Program Predictability |
111
Voted
PPAM
2007
Springer
15 years 9 months ago
2007
Springer
There are several parallel programming models available for numerical computations at diļ¬erent levels of expressibility and ease of use. For the development of new domain speciļ¬...
141
Voted
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic veriļ¬cation of software using model checkers from the state space exp...
143
Voted
SAINT
2006
IEEE
15 years 9 months ago
2006
IEEE
1 Establishing suitable programming models for pervasive spaces is essential in improving the productivity, enhancing the quality of pervasive systems, and creating an open platfor...
87
Voted
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Ever since the ļ¬rst ļ¬shermen ventured into the sea, tides have been the subject of intense human observation. As a result computational models and ātide predicting machinesā...
119
Voted
ICMCS
2006
IEEE
15 years 9 months ago
2006
IEEE
A new musical onset detection technique based on adaptive linear prediction theory is proposed in this work. We decompose a music signal into multiple sub-bands, and then apply a ...