2673 search results - page 370 / 535 » Guided Static Analysis |
124
Voted
ENTCS
2010
15 years 2 months ago
2010
Fundamental nano-patterns are simple, static, binary properties of Java methods, such as ObjectCreator and Recursive. We present a provisional catalogue of 17 such nano-patterns. ...
177
click to vote
AOSD
2011
ACM
14 years 12 months ago
2011
ACM
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
190
click to vote
JUCS
2010
14 years 11 months ago
2010
Abstract: Authoring of Adaptive Educational Hypermedia is a complex activity requiring the combination of a range of design and validation techniques. We demonstrate how Adaptive E...
157
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
We investigate classification of non-linguistic vocalisations with a novel audiovisual approach and Long Short-Term Memory (LSTM) Recurrent Neural Networks as highly successful d...
175
click to vote
CC
2012
Springer
14 years 19 days ago
2012
Springer
Abstract. Data-parallel languages like OpenCL and CUDA are an important means to exploit the computational power of today’s computing devices. In this paper, we deal with two asp...