5228 search results - page 731 / 1046 » Case Studies for Software Engineers |
198
click to vote
SLOGICA
2011
15 years 1 months ago
2011
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
182
click to vote
TASLP
2011
15 years 1 months ago
2011
—This paper presents a blind source separation method for convolutive mixtures of speech/audio sources. The method can even be applied to an underdetermined case where there are ...
284
click to vote
TCAD
2011
15 years 1 months ago
2011
Abstract—This work introduces GRIP, a global routing technique via integer programming. GRIP optimizes wirelength and via cost directly without going through a traditional layer ...
192
click to vote
SIAMAM
2011
15 years 1 months ago
2011
The coupling between cardiac mechanics and electric signaling is addressed in a nonstandard framework in which the electrical potential dictates the active strain (not stress) of t...
218
click to vote
CBSE
2011
Springer
14 years 6 months ago
2011
Springer
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...