Result 1 to 20 of 654 total
Linear-time model-checking for multithreaded programs under scope-bounding. (English)
Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 152-166 (2012).
1
Independent gate SRAM based on asymmetric gate to source/drain overlap-underlap device FinFET. (English)
Rahaman, Hafizur (ed.) et al., Progress in VLSI design and test. 16th international symposium, VDAT 2012, Shibpur, India, July 1‒4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31493-3/pbk). Lecture Notes in Computer Science 7373, 373-374 (2012).
2
MSO decidability of multi-pushdown systems via split-width. (English)
Koutny, Maciej (ed.) et al., CONCUR 2012 ‒ concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4‒7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 547-561 (2012).
3
Irregularity strength of triangular snake and double triangular snake. (English)
Adv. Appl. Discrete Math. 9, No. 2, 83-92 (2012).
4
Characterizing DDoS attack distributions from emulation based experiments on DETER testbed. (English)
Thilagam, P. Santhi (ed.) et al., Advanced computing, networking and security. International conference, ADCONS 2011, Surathkal, India, December 16‒18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29279-8/pbk). Lecture Notes in Computer Science 7135, 541-550 (2012).
5
Cost effective region-based group key agreement protocol for ad hoc networks using elliptic curve cryptography. (English)
Thilagam, P. Santhi (ed.) et al., Advanced computing, networking and security. International conference, ADCONS 2011, Surathkal, India, December 16‒18, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29279-8/pbk). Lecture Notes in Computer Science 7135, 505-514 (2012).
6
Detection of web users’ opinion from normal and short opinionated words. (English)
Kannan, Rajkumar (ed.) et al., Data engineering and management. Second international conference, ICDEM 2010, Tiruchirappalli, India, July 29‒31, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27871-6/pbk). Lecture Notes in Computer Science 6411, 139-145 (2012).
7
An adaptive image retrieval system with relevance feedback and clustering. (English)
Kannan, Rajkumar (ed.) et al., Data engineering and management. Second international conference, ICDEM 2010, Tiruchirappalli, India, July 29‒31, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-27871-6/pbk). Lecture Notes in Computer Science 6411, 85-92 (2012).
8
Discriminating between the Weibull and log-normal distributions for type-II censored data. (English)
Statistics 46, No. 2, 197-214 (2012).
9
Model checking languages of data words. (English)
Birkedal, Lars (ed.), Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28728-2/pbk). Lecture Notes in Computer Science 7213, 391-405 (2012).
10
Coupled common fixed point theorems for $w^{\ast }$-compatible mappings in ordered cone metric spaces (English)
Applied Mathematics and Computation 218, No. 9, 5422-5432 (2012).
11
Impact of aggregating supplies from single supplier to a cluster of producers: opportunities for 3PL service providers. (English)
Int. J. Oper. Res. 12, No. 2, 192-206 (2011).
12
Reliability estimation in generalized gamma distribution with progressively censored data. (English)
Int. J. Agric. Stat. Sci. 7, No. 1, 15-29 (2011).
13
Differential evolution algorithm for motion estimation. (English)
Sombattheera, Chattrakul (ed.) et al., Multi-disciplinary trends in artificial intelligence. 5th international workshop, MIWAI 2011, Hyderabad, India, December 7‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25724-7/pbk). Lecture Notes in Computer Science 7080. Lecture Notes in Artificial Intelligence, 309-316 (2011).
14
A swarm intelligence based algorithm for QoS multicast routing problem. (English)
Panigrahi, Bijaya Ketan (ed.) et al., Swarm, evolutionary, and memetic computing. Second international conference, SEMCCO 2011, Visakhapatnam, Andhra Pradesh, India, December 19‒21, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-27241-7/pbk). Lecture Notes in Computer Science 7077, 38-45 (2011).
15
Construction of human faces from textual descriptions. (English)
Soft Comput. 15, No. 3, 429-447 (2011).
16
Reliability estimation in Lindley distribution with progressively type II right censored sample. (English)
Math. Comput. Simul. 82, No. 2, 281-294 (2011).
17
Quintic nonpolynomial spline method for the solution of a second-order boundary-value problem with engineering applications. (English)
Comput. Math. Appl. 62, No. 4, 1707-1714 (2011).
18
Mathematical modeling of road traffic noise prediction. (English)
Int. J. Appl. Math. Mech. 7, No. 4, 21-28 (2011).
19
PSO based pseudo dynamic method for automated test case generation using interpreter. (English)
Tan, Ying (ed.) et al., Advances in swarm intelligence. Second international conference, ICSI 2011, Chongqing, China, June 12‒15, 2011. Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-21514-8/pbk). Lecture Notes in Computer Science 6728, 147-156 (2011).
20
Result 1 to 20 of 654 total
Start
Contact
Print
General Help
