14244 search results - page 339 / 2849 » Modeling Program Predictability |
155
click to vote
PPAM
2007
Springer
16 years 25 days 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ļ¬...
181
click to vote
IFIP
2004
Springer
16 years 2 days 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...
197
Voted
SAINT
2006
IEEE
16 years 21 days 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...
121
click to vote
DAGM
2007
Springer
16 years 26 days 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ā...
172
click to vote
ICMCS
2006
IEEE
16 years 22 days 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 ...