1880 search results - page 144 / 376 » A Static Analysis for Beta-Binders |
190
click to vote
WCET
2010
15 years 4 months ago
2010
The present paper investigates the influence of the execution history on the precision of measurementbased execution time estimates for embedded software. A new approach to timing...
154
click to vote
ENTCS
2010
15 years 3 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. ...
218
click to vote
AOSD
2011
ACM
15 years 1 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...
235
click to vote
JUCS
2010
15 years 1 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...
190
click to vote
ICASSP
2011
IEEE
14 years 10 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...