2116 search results - page 354 / 424 » Resource Analysis by Sup-interpretation |
JUCS
2006
13 years 9 months ago
2006
: Several techniques for implementing Prolog in a efficient manner have been devised since the original interpreter, many of them aimed at achieving more speed. There are two main ...
NAR
2006
13 years 9 months ago
2006
The Simple Modular Architecture Research Tool 10 (SMART) is an online resource (http://smart.embl. de/) used for protein domain identification and the analysis of protein domain a...
TC
2008
13 years 9 months ago
2008
Compared to higher-precision data formats, lower-precision data formats result in higher performance for computationally intensive applications on FPGAs because of their lower res...
TIFS
2008
13 years 9 months ago
2008
We consider the problem of secret key distribution in a sensor network with multiple scattered sensor nodes and a mobile device that can be used to bootstrap the network. Our main...
JCM
2007
13 years 9 months ago
2007
— Radio measurements play a crucial role in mobile wireless networks as they are input of Radio Resource Management (RRM) mechanisms, needed to assess mobile network reliability ...