Result 1 to 20 of 7766 total
Graph equation for line graphs and $m$-step graphs. (English)
Graphs Comb. 28, No. 6, 831-842 (2012).
1
Dynamic maintenance decision-making for series-parallel manufacturing system based on MAM-MTW methodology. (English)
Eur. J. Oper. Res. 221, No. 1, 231-240 (2012).
2
The quadratic Graver cone, quadratic integer minimization, and extensions. (English)
Math. Program. 136, No. 2 (B), 301-323 (2012).
3
Integral $Q$-learning and explorized policy iteration for adaptive optimal control of continuous-time linear systems. (English)
Automatica 48, No. 11, 2850-2859 (2012).
4
Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements. (English)
Theor. Comput. Sci. 460, 78-88 (2012).
5
Automorphism group of the ternary self-dual code of length 8. (English)
Commun. Korean Math. Soc. 27, No. 4, 653-664 (2012).
6
Minimizing the number of tardy jobs in a single-machine scheduling problem with periodic maintenance. (English)
Comput. Oper. Res. 39, No. 9, 2196-2205 (2012).
7
Efficient may happen in parallel analysis for async-finish parallelism. (English)
Miné, Antoine (ed.) et al., Static analysis. 19th international symposium, SAS 2012, Deauville, France, September 11‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33124-4/pbk). Lecture Notes in Computer Science 7460, 5-23 (2012).
8
On construction by worm-like agents on a self-timed cellular automaton. (English)
Sirakoulis, Georgios Ch. (ed.) et al., Cellular automata. 10th international conference on cellular automata for research and industry, ACRI 2012, Santorini Island, Greece, September 24‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33349-1/pbk). Lecture Notes in Computer Science 7495, 575-584 (2012).
9
Determining the critical temperature of the continuous-state game of life. (English)
Sirakoulis, Georgios Ch. (ed.) et al., Cellular automata. 10th international conference on cellular automata for research and industry, ACRI 2012, Santorini Island, Greece, September 24‒27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33349-1/pbk). Lecture Notes in Computer Science 7495, 83-90 (2012).
10
An efficient countermeasure against correlation power-analysis attacks with randomized Montgomery operations for DF-ECC processor. (English)
Prouff, Emmanuel (ed.) et al., Cryptographic hardware and embedded systems - CHES 2012. 14th international workshop, Leuven, Belgium, September 9‒12, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33026-1/pbk). Lecture Notes in Computer Science 7428, 548-564 (2012).
11
Trajectory estimation of a tracked mobile robot using the sigma-point Kalman filter with an IMU and optical encoder. (English)
Huang, De-Shuang (ed.) et al., Intelligent computing technology. 8th international conference, ICIC 2012, Huangshan, China, July 25‒29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31587-9/pbk). Lecture Notes in Computer Science 7389, 415-422 (2012).
12
Optical analog feedback in Euglena-based neural network computing. (English)
Durand-Lose, Jérôme (ed.) et al., Unconventional computation and natural computation. 11th international conference, UCNC 2012, Orléan, France, September 3‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32893-0/pbk). Lecture Notes in Computer Science 7445, 236 (2012).
13
Electrical tissue property imaging using MRI at DC and Larmor frequency. (English)
Inverse Probl. 28, No. 8, Article ID 084002, 26 p. (2012).
14
Interactive skyline queries. (English)
Inf. Sci. 211, 18-35 (2012).
15
HORSIC: an efficient one-time signature scheme for wireless sensor networks. (English)
Inf. Process. Lett. 112, No. 20, 783-787 (2012).
16
Audit: a new synchronization API for the GET/PUT protocol. (English)
J. Parallel Distrib. Comput. 72, No. 11, 1464-1470 (2012).
17
Globally synchronized frames for guaranteed quality-of-service in on-chip networks. (English)
J. Parallel Distrib. Comput. 72, No. 11, 1401-1411 (2012).
18
Compiler supports for VLIW DSP processors with SIMD intrinsics. (English)
Concurrency Comput. Pract. Exp. 24, No. 5, 517-532 (2012).
19
Group-based memory deduplication for virtualized clouds. (English)
Alexander, Michael (ed.) et al., Euro-Par 2011: Parallel processing workshops. CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29‒September 2, 2011. Revised selected papers, Part II. Berlin: Springer (ISBN 978-3-642-29739-7/pbk). Lecture Notes in Computer Science 7156, 387-397 (2012).
20
Result 1 to 20 of 7766 total