Result 1 to 20 of 123 total
Automatic static feature generation for compiler optimization problems. (English)
Wang, Dianhui (ed.) et al., AI 2011: Advances in artificial intelligence. 24th Australasian joint conference, Perth, Australia, December 5‒8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25831-2/pbk). Lecture Notes in Computer Science 7106. Lecture Notes in Artificial Intelligence, 769-778 (2011).
1
Formal analysis of a scheduling algorithm for wireless sensor networks. (English)
Qin, Shengchao (ed.) et al., Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). Lecture Notes in Computer Science 6991, 388-403 (2011).
2
Optimal residual evaluation for nonlinear systems using post-filter and threshold. (English)
Int. J. Control 84, No. 3, 526-539 (2011).
3
Dynamic application model for scheduling with uncertainty on reconfigurable architectures. (English)
Int. J. Reconfig. Comput. 2011, Article ID 156946, 15 p. (2011).
4
Exploitation of the EDF scheduling in the wireless sensors networks (English)
IJMTIE 1, No. 2, 14-27 (2011).
5
System-level performance evaluation of very high complexity media applications : A H264/AVC encoder case study (English)
IJCNS 4, No. 7, 436-446 (2011).
6
Web based EIS to support entrepreneurs and smes analysis (English)
Computer and Information Science 4, No. 4, 58-63 (2011).
7
Integrated design of observer based fault detection for a class of uncertain nonlinear systems (English)
Applied Mathematics and Computer Science 21, No. 3, 423-430 (2011).
8
LNT: a logical neighbor tree for secure group management in wireless sensor networks (English)
Procedia CS 5, 198-207 (2011).
9
An efficient key distribution scheme to secure data-centric routing protocols in hierarchical wireless sensor networks (English)
Procedia CS 5, 208-215 (2011).
10
Medical image classification using an optimal feature extraction algorithm and a supervised classifier technique (English)
IJSSCI 3, No. 2, 19-33 (2011).
11
Formal analysis of a scheduling algorithm for wireless sensor networks (English)
ICFEM, 388-403 (2011).
12
A model-driven based framework for rapid parallel soc FPGA prototyping (English)
International Symposium on Rapid System Prototyping, 149-155 (2011).
13
Automatic static feature generation for compiler optimization problems (English)
Australasian Conference on Artificial Intelligence, 769-778 (2011).
14
Adapted scan based lossless image compression (English)
FGIT-SIP, 82-91 (2011).
15
Evolutionary support vector machine for parameters optimization applied to medical diagnostic (English)
VISAPP, 201-204 (2011).
16
The co-simulation interface systemc/MATLAB applied in JPEG algorithm (English)
ReCoSoC, 1-6 (2011).
17
On the minimization of handover decision instability in wireless local area networks. (English)
Comput. Res. Repos. 2010, Article No. 1005.1753 (2010).
18
Optimal crosstalk detection and localization method for optical time division multiplexed transmission systems. (English)
Comput. Res. Repos. 2010, Article No. 1004.4586 (2010).
19
Integrating identity-based cryptography in IMS service authentication. (English)
Comput. Res. Repos. 2010, Article No. 1004.0762 (2010).
20
Result 1 to 20 of 123 total