|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8284 occurrences of 3516 keywords
|
|
|
Results
Found 54002 publication records. Showing 54002 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
28 | Benedikt Gierlichs, Kerstin Lemke-Rust, Christof Paar |
Templates vs. Stochastic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2006, 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings, pp. 15-29, 2006, Springer, 3-540-46559-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
High-Order Attacks, Performance Analysis, Stochastic Model, Power Analysis, Side Channel Cryptanalysis, Template Attack |
28 | Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu |
Bisimulation for General Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings, pp. 198-214, 2005, Springer, 3-540-25108-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
stochastic hybrid systems, simulation morphism, zigzag morphism, Markov processes, bisimulation, category theory |
28 | Jinwu Gao, Yankui Liu |
Stochastic Nash Equilibrium with a Numerical Solution Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2005, Second International Symposium on Neural Networks, Chongqing, China, May 30 - June 1, 2005, Proceedings, Part I, pp. 811-816, 2005, Springer, 3-540-25912-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
decentralized decision system, genetic algorithm, neural network, Nash equilibrium, stochastic programming |
28 | Atakan Dogan, Füsun Özgüner |
Genetic Algorithm Based Scheduling of Meta-Tasks with Stochastic Execution Times in Heterogeneous Computing Systemst1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 7(2), pp. 177-190, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
meta-task, genetic algorithm, task allocation, heterogeneous computing, stochastic scheduling |
28 | Jeremy W. Bryans, Howard Bowman, John Derrick |
Model checking stochastic automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 4(4), pp. 452-492, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Distributed systems, model checking, stochastic automata |
28 | Ernst-Erich Doberkat |
The Converse of a Stochastic Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 233-249, 2003, Springer, 3-540-00897-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Stochastic relations, relational calculi, concurrency, converse, bisimulation, nondeterminism |
28 | Bradley D. Brown, Howard C. Card |
Stochastic Neural Computation I: Computational Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(9), pp. 891-905, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
stochastic arithmetic, computational elements, Pulsed neural networks |
28 | Matteo Sereno |
Approximate Mean Value Analysis for Stochastic Marked Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(9), pp. 654-664, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
approximate mean value analysis algorithm, Stochastic Petri nets, marked graphs, computational algorithms, approximation techniques |
28 | Hermenegilda Macià, Valentín Valero Ruiz, Diego Cazorla, Fernando Cuartero |
Introducing the Iteration in sPBC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings, pp. 292-309, 2004, Springer, 3-540-23252-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Petri Box Calculus, Performance Evaluation, Stochastic Petri Nets, Stochastic Process Algebra |
28 | Nikolaos Apostolatos, Vasilios Vlassopoulos |
Approximation der optimalen Vorhersage der Ausgabe stochastischer Quellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 30(3), pp. 261-273, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
stochastic sources, optimal prediction, prediction, Stochastic automata, discret systems |
27 | Hind Castel-Taleb, Nihal Pekergin |
Stochastic Monotonicity in Queueing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Computer Performance Engineering, 6th European Performance Engineering Workshop, EPEW 2009, London, UK, July 9-10, 2009, Proceedings, pp. 116-130, 2009, Springer, 978-3-642-02923-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | François Denis, Édouard Gilbert, Amaury Habrard, Faissal Ouardi, Marc Tommasi |
Relevant Representations for the Inference of Rational Stochastic Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGI ![In: Grammatical Inference: Algorithms and Applications, 9th International Colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008, Proceedings, pp. 57-70, 2008, Springer, 978-3-540-88008-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Jacob Scharcanski |
A Wavelet-Based Approach for Analyzing Industrial Stochastic Textures With Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 37(1), pp. 10-22, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Oztan Harmanci, A. Murat Tekalp |
A Stochastic Framework for Rate-Distortion Optimized Video Coding Over Error-Prone Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 16(3), pp. 684-697, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Martin E. Dyer, Leen Stougie |
Computational complexity of stochastic programming problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 106(3), pp. 423-432, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Naoshi Tabuchi, Naoto Sato, Hiroaki Nakamura |
Model-Driven Performance Analysis of UML Design Models Based on Stochastic Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECMDA-FA ![In: Model Driven Architecture - Foundations and Applications, 1st European Conference, ECMDA-FA 2005, Nuremberg, Germany, November 7-10, 2005, Proceedings, pp. 41-58, 2005, Springer, 3-540-30026-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger |
Quantitative stochastic parity games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Fifteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2004, New Orleans, Louisiana, USA, January 11-14, 2004, pp. 121-130, 2004, SIAM, 0-89871-558-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
27 | José Luis Díaz, José María López, Manuel García Vazquez, Antonio M. Campos, Kanghee Kim, Lucia Lo Bello |
Pessimism in the Stochastic Analysis of Real-Time Systems: Concept and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal, pp. 197-207, 2004, IEEE Computer Society, 0-7695-2247-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Susanna Donatelli |
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings, pp. 258-277, 1994, Springer, 3-540-58152-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
27 | Bo Qi |
On the quantum master equation under feedback control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(11), pp. 2133-2139, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
stochastic master equation, unraveling, control master equation, feedback control, master equation |
27 | Hauke Busch, Werner Sandmann, Verena Wolf |
A Numerical Aggregation Algorithm for the Enzyme-Catalyzed Substrate Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, International Conference, CMSB 2006, Trento, Italy, October 18-19, 2006, Proceedings, pp. 298-311, 2006, Springer, 3-540-46166-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Biochemical Reactions, Markov Chain, Aggregation, Stochastic Model |
27 | Jeremy W. Bryans, Lynne Blair, Howard Bowman, John Derrick |
Specification and Analysis of Automata-Based Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, Second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings, pp. 176-193, 2000, Springer, 3-540-41196-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
model checking, Timed automata, stochastic automata |
27 | William A. Massey, Ward Whitt |
Networks of infinite-server queues with nonstationary Poisson input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 13(1-3), pp. 183-250, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
Nonstationary queues, time-dependent arrival rates, Poisson random measures, stochastic compartmental models, Poisson-arrivallocation model, dependence among queue lengths at different times, queueing networks, infinite-server queues |
25 | Prasun Kumar Roy |
Stochastic Resonance Imaging - Stochastic Resonance Therapy: Preliminary Studies Considering Brain as Stochastic Processor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP ![In: Neural Information Processing, 11th International Conference, ICONIP 2004, Calcutta, India, November 22-25, 2004, Proceedings, pp. 96-103, 2004, Springer, 3-540-23931-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Thomas Zeugmann |
Stochastic Finite Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAGA ![In: Stochastic Algorithms: Foundations and Applications, International Symposium, SAGA 2001 Berlin, Germany, December 13-14, 2001, Proceedings, pp. 155-172, 2001, Springer, 3-540-43025-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
stochastic finite learning, conjunctive concepts, pattern languages, average-case analysis, Inductive inference |
25 | Marifi Güler |
Detailed numerical investigation of the dissipative stochastic mechanics based neuron model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 25(2), pp. 211-227, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Ion channel noise, Stochastic ion channels, Neuronal dynamics, Dissipative stochastic mechanics, Rose-Hindmarsh model |
25 | Luca Bortolussi, Alberto Policriti |
Modeling Biological Systems in Stochastic Concurrent Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 13(1-2), pp. 66-90, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Stochastic concurrent constraint programming, Stochastic modeling, Biological systems |
25 | Gül Gürkan, Fikri Karaesmen, Özge Özdemir |
Optimal Threshold Levels in Stochastic Fluid Models via Simulation-based Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 17(1), pp. 53-97, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hedging points, Threshold levels, Generalized semi-Markov processes, Infinitesimal perturbation analysis, Sample-path optimization, Service-level constraints, Stochastic optimization, Stochastic fluid models |
25 | Paul Cotofrei, Kilian Stoffel |
Stochastic processes and temporal data mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 13th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Jose, California, USA, August 12-15, 2007, pp. 183-190, 2007, ACM, 978-1-59593-609-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
consistency of temporal rules, stochastic limit theory, temporal logic formalism, stochastic processes, temporal data mining |
25 | Shalabh Bhatnagar, I. Bala Bhaskar Reddy |
Optimal Threshold Policies for Admission Control in Communication Networks via Discrete Parameter Stochastic Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Telecommun. Syst. ![In: Telecommun. Syst. 29(1), pp. 9-31, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
regularized semi-Markov modulated Poisson process, two timescale stochastic approximation, simultaneous perturbation stochastic approximation, threshold type policies, admission control, communication networks |
25 | Marco Gribaudo, Matteo Sereno, András Horváth, Andrea Bobbio |
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Modelling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 11(1-2), pp. 97-117, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
stochastic reward models, fluid stochastic Petri nets, performance analysis, Petri nets |
25 | Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla |
An example of performance evaluation by using the stochastic process algebra: ROSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 271-278, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements |
25 | Cláudio Rosito Jung, Jacob Scharcanski |
Stochastic Texture Image Retrieval and Similarity Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: 13th Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI 2000), 17-20 October 2000, Gramado (RS), Brazil, pp. 178-184, 2000, IEEE Computer Society, 0-7695-0878-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
stochastic texture image retrieval, stochastic texture image similarity matching, foil materials, multi-resolution method, texture image discrimination, gray-level distribution, orientation, image texture |
25 | Christoph Stiller, Janusz Konrad |
Region-adaptive transform based on a stochastic model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 264-267, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
region adaptive transform, arbitrarily shaped image segments, image covariance, separable stationary Markov model, rectangular regions, nonstationary Markov model, natural boundary conditions, eigentransform, optimum linear transform, DCT basis functions, natural imagery, image segmentation, Markov processes, image coding, image coding, performance measures, discrete cosine transforms, stochastic model, stochastic processes, simulation results, transform coding, adaptive signal processing, linear transforms, eigenvalues and eigenfunctions, covariance analysis |
25 | Manohar Das, Jayraman Anand |
Robust edge detection in noisy images using an adaptive stochastic gradient technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: Proceedings 1995 International Conference on Image Processing, Washington, DC, USA, October 23-26, 1995, pp. 149-152, 1995, IEEE Computer Society, 0-8186-7310-9. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
adaptive stochastic gradient technique, noise variance, block-by-block adaptation, gradient mask, Rayleigh distribution, threshold calculation, image processing, probability, edge detection, edge detection, stochastic processes, correlation methods, noisy images, autocorrelation function, adaptive estimation, robust technique |
25 | Giovanni Chiola, Marco Ajmone Marsan, Gianfranco Balbo, Gianni Conte |
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(2), pp. 89-107, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
qualitative behavior, firing probabilities, net-level specification, model specification, performance evaluation, formal specification, Petri nets, stochastic processes, structural analysis, structural properties, generalized stochastic Petri net |
25 | Sanjeev R. Kulkarni, Sanjoy K. Mitter, John N. Tsitsiklis, Ofer Zeitouni |
PAC Learning with Generalized Samples and an Applicaiton to Stochastic Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 15(9), pp. 933-942, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
probably approximately correct learning, generalized samples, sample size bounds, signal processing, signal processing, stochastic processes, geometry, learning systems, PAC learning, stochastic geometry, curve reconstruction, geometric reconstruction |
25 | Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen |
An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 3(2), pp. 221-240, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
colored stochastic Petri nets, Lamport concurrentalgorithm, parametric formal proof of liveness, Markovian analysis, distributedprocessing, performance evaluation, distributed systems, Petri nets, concurrency control, Markov processes, concurrent program, correctness, stochastic processes, performanceevaluation, mutual exclusion problem |
25 | Mercedes Granda, José M. Drake, José A. Gregorio |
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(1), pp. 55-71, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
unbounded generalized stochastic Petri nets, unbounded places, natural symmetries, finite graph, lumped states, unbounded places, open parallel systems, k-bounded, performance evaluation, parallel programming, Petri nets, performance measures, parallel machines, stochastic processes, parallel systems, state space, steady-state solution |
25 | Gerard Florin, Stéphane Natkin |
Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 99-107, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
queueing network product form solutions, closed synchronized queuing networks, Markov stochastic Petri net, strongly connected reachability graph, constant firing rates, Gordon-Newell theorem, performance evaluation, performance evaluation, Petri nets, queueing theory, stochastic Petri nets, matrix products, steady-state probability |
25 | William Henderson, Peter G. Taylor |
Embedded Processes in Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 108-116, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
embedded discrete time processes, closed-form equilibrium distribution, probabilistic output bags, colored tokens, arbitrarily distributing enabling, firing times, aggregation procedure, performance evaluation, Petri nets, stochastic processes, stochastic Petri nets |
25 | Itsuo Hatono, Keiichi Yamagata, Hiroyuki Tamura |
Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(2), pp. 126-132, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
repair time, discrete-time stochastic Petri nets, scheduling, Petri nets, knowledge based systems, uncertainty, digital simulation, stochastic Petri nets, hierarchical structures, rule base, online scheduling, processing time, flexible manufacturing systems, flexible manufacturing systems, machine tools, continuous-time |
25 | Brigitte Plateau, Karim Atif |
Stochastic Automata Network For Modeling Parallel Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(10), pp. 1093-1108, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
parallel activities, synchronization points, modular state-transition representation, Markovian assumptions, tensor algebra operators, performance evaluation, parallel algorithms, parallel architectures, parallel system, SAN, decomposition technique, stochastic automata, stochastic automata network, state-space explosion, transition matrix, storage cost |
25 | Hany H. Ammar, S. M. Rezaul Islam |
Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(6), pp. 809-820, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
generalized stochastic Petri net models, time-scale decomposition, GSPN model, hierarchical sequence, aggregated subnets, degradable multiprocessor system, TSD algorithm, slow transitions, performance evaluation, complexity, Petri nets, aggregation, multiprocessing systems, stochastic processes, coupling |
25 | Martin Schwarick, Monika Heiner, Christian Rohr |
MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: Eighth International Conference on Quantitative Evaluation of Systems, QEST 2011, Aachen, Germany, 5-8 September, 2011, pp. 91-100, 2011, IEEE Computer Society, 978-1-4577-0973-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
Interval Decision Diagram, Continuous Stochastic Logic, Fast Adaptive Uniformization, Model Checking, Stochastic Simulation, Continuous Time Markov Chain, Generalized Stochastic Petri Net, Rewards, Computation Tree Logic |
25 | Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QEST ![In: QEST 2009, Sixth International Conference on the Quantitative Evaluation of Systems, Budapest, Hungary, 13-16 September 2009, pp. 299-308, 2009, IEEE Computer Society, 978-0-7695-3808-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic FMEA, Stochastic Model Checking, Counter Examples in Stochastic Model Checking, Stochastic Modelling, Dependability Analysis |
24 | Ashok Argent-Katwala, Jeremy T. Bradley |
Functional Performance Specification with Stochastic Probes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW ![In: Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings, pp. 31-46, 2006, Springer, 3-540-35362-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Christopher Child, Kostas Stathis |
The Apriori Stochastic Dependency Detection (ASDD) Algorithm for Learning Stochastic Logic Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers, pp. 234-249, 2004, Springer, 3-540-24010-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Zi Xu |
A combined direction stochastic approximation algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 4(1), pp. 117-129, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Robbins-Monro algorithm, Combined direction, Almost sure, Asymptotic rate of convergence, Stochastic approximation |
24 | Naresh R. Shanbhag, Rami A. Abdallah, Rakesh Kumar 0002, Douglas L. Jones |
Stochastic computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 859-864, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
algorithmic noise-tolerance, soft processing, stochastic computation, reliability, energy-efficiency, error-resiliency |
24 | Fengli Ren, Jinde Cao |
Anti-synchronization of stochastic perturbed delayed chaotic neural networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. Appl. ![In: Neural Comput. Appl. 18(5), pp. 515-521, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Chaotic delayed neural networks, Anti-synchronization, Stochastic perturbation, Feedback control, Time delay |
24 | Stefan Klein 0001, Josien P. W. Pluim, Marius Staring, Max A. Viergever |
Adaptive Stochastic Gradient Descent Optimisation for Image Registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Vis. ![In: Int. J. Comput. Vis. 81(3), pp. 227-239, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic gradient descent, Adaptive step sizes, Optimisation, Image registration, Parameter selection |
24 | Sheng Zhang, Fei Long |
Neural Network Control for a Class of Stochastic Nonlinear Switched System Based on Backstepping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part II, pp. 1023-1031, 2009, Springer, 978-3-642-01509-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic switched nonlinear systems, Backstepping approach, RBF neural network |
24 | Tong-jun He, Zhengping Shi |
A Stochastic Complex Dynamical Network and Its Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 164-174, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic dynamical network, Time invariant, Synchronization, Time varying |
24 | Jinchao Liu, Zhun Fan, Erik D. Goodman |
SRaDE: an adaptive differential evolution based on stochastic ranking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, pp. 1871-1872, 2009, ACM, 978-1-60558-325-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
differential evolution, constrained optimization, stochastic ranking |
24 | Jinwei Gu, Cuiwen Cao, Bin Jiao, Xingsheng Gu |
An improved quantum genetic algorithm for stochastic job shop problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GEC Summit ![In: Proceedings of the first ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC Summit 2009, Shanghai, China, June 12-14, 2009, pp. 827-830, 2009, ACM, 978-1-60558-326-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
quantum algorithm, job shop, stochastic scheduling |
24 | Xin Li 0020, Weikang Qian, Marc D. Riedel, Kia Bazargan, David J. Lilja |
A reconfigurable stochastic architecture for highly reliable computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 19th ACM Great Lakes Symposium on VLSI 2009, Boston Area, MA, USA, May 10-12 2009, pp. 315-320, 2009, ACM, 978-1-60558-522-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
stochastic logic, reconfigurable architecture, reliable computing |
24 | Anupam Gupta 0001, Amit Kumar 0001 |
A constant-factor approximation for stochastic Steiner forest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 659-668, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
approximation algorithms, stochastic algorithms |
24 | Mylène Maurin, Morgan Magnin, Olivier H. Roux |
Modeling of Genetic Regulatory Network in Stochastic pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BICoB ![In: Bioinformatics and Computational Biology, First International Conference, BICoB 2009, New Orleans, LA, USA, April 8-10, 2009. Proceedings, pp. 282-294, 2009, Springer, 978-3-642-00726-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Stochastic ?-calculus, System biology, Genetic regulatory network |
24 | Fang Gong, Hao Yu 0001, Lei He 0001 |
PiCAP: a parallel and incremental capacitance extraction considering stochastic process variation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 764-769, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
incremental precondition, parallel fast-multipole method, stochastic geometrical moments, capacitance extraction |
24 | Qi Luo, Feiqi Deng, Xuerong Mao, Jundong Bao, Yu-Tian Zhang |
Theory and application of stability for stochastic reaction diffusion systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(2), pp. 158-170, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
stochastic reaction diffusion system, stability in probability, asymptotic stability in probability, exponential stability in mean square |
24 | Feng Ding 0001, Huizhong Yang, Fei Liu |
Performance analysis of stochastic gradient algorithms under weak conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(9), pp. 1269-1280, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
martingale convergence theorem, parameter estimation, least squares, stochastic gradient, multivariable systems, convergence properties, recursive identification |
24 | Kurt Rohloff, Tamer Basar |
Deterministic and stochastic models for the detection of random constant scanning worms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 18(2), pp. 8:1-8:24, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Worms, hypothesis testing, stochastic analysis, epidemic modeling |
24 | Marjan van den Akker 0001, Han Hoogeveen |
Minimizing the number of late jobs in a stochastic setting using a chance constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 11(1), pp. 59-69, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Number of late jobs, Stochastic processing times, Minimum success probability, Chance constraint, Scheduling, Dynamic programming, NP-hardness, Sequencing, Single machine |
24 | Rodrigo D. Castro, Ernesto Kofman, Gabriel A. Wainer |
A formal framework for stochastic DEVS modeling and simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim ![In: Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008, pp. 421-428, 2008, SCS/ACM, 1-56555-319-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
discrete event simulation, DEVS, stochastic systems |
24 | Robert G. Cole, George F. Riley, Derya Cansever, William Yurcik |
Stochastic Process Models for Packet/Analytic-Based Network Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADS ![In: 22st International Workshop on Principles of Advanced and Distributed Simulation, PADS 2008, Roma, Italy, June 3-6, 2008, pp. 72-79, 2008, IEEE Computer Society, 978-0-7695-3159-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Hybrid Simulation Models, Stochastic Queues and Diffusion Equations, Network Models, Event Driven Simulations |
24 | Yi Wang, Xuan Zeng 0001, Jun Tao 0001, Hengliang Zhu, Xu Luo, Changhao Yan, Wei Cai 0003 |
Adaptive Stochastic Collocation Method (ASCM) for Parameterized Statistical Timing Analysis with Quadratic Delay Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA, pp. 62-67, 2008, IEEE Computer Society, 978-0-7695-3117-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
adaptive stochastic collocation method, max, process variations, statistical static timing analysis |
24 | Weikang Qian, Marc D. Riedel |
The synthesis of robust polynomial arithmetic with stochastic logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 45th Design Automation Conference, DAC 2008, Anaheim, CA, USA, June 8-13, 2008, pp. 648-653, 2008, ACM, 978-1-60558-115-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
polynomial arithmetic, stochastic logic, probabilistic logic |
24 | Jie Yang, Hongwei Ding, Wei Wang 0024, Jin Dong |
A New Optimal Policy for Service System with Nonstationary Stochastic Demand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE SCC (2) ![In: 2008 IEEE International Conference on Services Computing (SCC 2008), 8-11 July 2008, Honolulu, Hawaii, USA, pp. 595-596, 2008, IEEE Computer Society, 978-0-7695-3283-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
nonstationary, Policy, stochastic, demand |
24 | Francisco Ballestín |
When it is worthwhile to work with the stochastic RCPSP? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Sched. ![In: J. Sched. 10(3), pp. 153-166, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Scheduling, Heuristics, Project management, Stochastic |
24 | Laurier Boulianne, Michel Dumontier, Warren J. Gross |
A stochastic particle-based biological system simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCSC ![In: Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007, pp. 794-801, 2007, Simulation Councils, Inc., 1-56555-316-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
particle systems, stochastic simulation, biological systems |
24 | Jiqing Qiu, Zhifeng Gao, Jinhui Zhang |
New Stochastic Stability Criteria for Uncertain Neural Networks with Discrete and Distributed Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 120-129, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Robust asymptotic stability, Norm-bounded uncertainties, Stochastic neural networks |
24 | Peter A. N. Bosman, Han La Poutré |
Learning and anticipation in online dynamic optimization with evolutionary algorithms: the stochastic case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO ![In: Genetic and Evolutionary Computation Conference, GECCO 2007, Proceedings, London, England, UK, July 7-11, 2007, pp. 1165-1172, 2007, ACM, 978-1-59593-697-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, dynamic optimization, stochastic optimization, anticipation, online optimization |
24 | Arnaud Liefooghe, Matthieu Basseur, Laetitia Jourdan, El-Ghazali Talbi |
Combinatorial Optimization of Stochastic Multi-objective Problems: An Application to the Flow-Shop Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings, pp. 457-471, 2007, Springer, 3-540-70927-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
evolutionnary algorithms, stochastic processing times, stochasticity, flow-shop, multi-objective combinatorial optimization |
24 | Kerstin Lemke-Rust, Christof Paar |
Analyzing Side Channel Leakage of Masked Implementations with Stochastic Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 2007, 12th European Symposium On Research In Computer Security, Dresden, Germany, September 24-26, 2007, Proceedings, pp. 454-468, 2007, Springer, 978-3-540-74834-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Boolean Masking, Multivariate Side Channel Analysis, Higher-Order Side Channel Analysis, Stochastic Methods, Side Channel Cryptanalysis |
24 | Marida Bertocchi, Vittorio Moriggia, Jitka Dupacová |
Horizon and stages in applications of stochastic programming in finance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 142(1), pp. 63-78, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Stochastic dynamic optimization, Bond portfolio management, Stages, Horizon |
24 | Simona Bernardi 0001, José Merseguer |
QoS Assessment via Stochastic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 10(3), pp. 32-42, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
QoS, quality of service, fault tolerance, UML, Performance measures, stochastic models, State diagrams, design tools and techniques |
24 | Minha Park, Yang Gao 0004 |
Error Analysis and Stochastic Modeling of Low-cost MEMS Accelerometer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 46(1), pp. 27-41, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
dead reckoning (DR), Gauss-Markov process, micro electro mechanical systems (MEMS), stochastic modeling, accelerometer, autoregressive model |
24 | Rüdiger Schultz, Stephan Tiedemann |
Conditional Value-at-Risk in Stochastic Programs with Mixed-Integer Recourse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 105(2-3), pp. 365-386, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mean-risk models, Mixed-integer optimization, Stochastic programming, Conditional value-at-risk |
24 | Szu Hui Ng, Stephen E. Chick |
Reducing parameter uncertainty for stochastic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 16(1), pp. 26-51, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
parameter estimation, Stochastic simulation, Bayesian statistics, uncertainty analysis |
24 | Mohammad Abdollahi Azgomi, Ali Movaghar 0001 |
Modeling and Evaluation of Software Systems with Object Stochastic Activity Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSEA ![In: Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28 - November 2, 2006, Papeete, Tahiti, French Polynesia, pp. 58, 2006, IEEE Computer Society, 0-7695-2703-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object stochastic activity networks, modeling, evaluation, Petri nets, software performance |
24 | Paola Lecca |
A time-dependent extension of gillespie algorithm for biochemical stochastic pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 137-144, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
biochemical systems modeling, chemical kinetics simulation, gillespie algorithm, passive transport, stochastic ?-calculus |
24 | Matthias Kuntz, Markus Siegle |
Symbolic Model Checking of Stochastic Systems: Theory and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings, pp. 89-107, 2006, Springer, 3-540-33102-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
performance and dependability analysis, model checking software, symbolic model checking, Stochastic systems |
24 | Abhik Das, Soumya K. Ghosh 0001 |
Stochastic Spectral Density Analysis on Network Traffic Characterization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Distributed Computing and Networking, 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006., pp. 276-281, 2006, Springer, 3-540-68139-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
stochastic spectral power, Network traffic |
24 | Praveen Ghanta, Sarma B. K. Vrudhula, Sarvesh Bhardwaj, Rajendran Panda |
Stochastic variational analysis of large power grids considering intra-die correlations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 211-216, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
orthonormal polynomials, correlations, process variations, power grids, stochastic analysis, polynomial chaos |
24 | Paola Lecca, Corrado Priami, Carlo Laudanna, Gabriela Constantin |
Predicting cell adhesion probability via the biochemical stochastic pi-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pp. 211-212, 2004, ACM, 1-58113-812-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Stochastic ?-calculus, cell adhesion mechanics, formal models J@process algebra, lymphocyte recruitment, concurrency theory |
24 | Anupam Gupta 0001, Martin Pál, R. Ravi 0001, Amitabh Sinha |
Boosted sampling: approximation algorithms for stochastic optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004, pp. 417-426, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
boosted sampling, approximation algorithms, stochastic optimization, cost sharing |
24 | Karl Frauendorfer, Gido Haarbrücker |
Solving Sequences of Refined Multistage Stochastic Linear Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 124(1-4), pp. 133-163, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
discretization schemes, multistage stochastic linear programs, barycentric approximation, optimality condition, financial applications |
24 | Ernst-Erich Doberkat |
Semi-pullbacks and Bisimulations in Categories of Stochastic Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 996-1007, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
semi-pullback, stochastic relations, labelled Markov processes, Hennessy-Milner logic, Bisimulation |
24 | Srinivas Bangalore, Giuseppe Riccardi |
Stochastic Finite-State Models for Spoken Language Machine Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mach. Transl. ![In: Mach. Transl. 17(3), pp. 165-184, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
stochastic finite-state transducers, spoken language dialog systems, speech-to-speech translation |
24 | Ki-Ryong Kwon, Seong Geun Kwon, Jeho Nam, Ahmed H. Tewfik |
Content Adaptive Watermark Embedding in the Multiwavelet Transform Using a Stochastic Image Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDW ![In: Digital Watermarking, First International Workshop, IWDW 2002, Seoul, Korea, November 21-22, 2002, Revised Papers, pp. 249-263, 2002, Springer, 3-540-01217-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
successive subband quantization, perceptually significant coefficients, noise visibility function, stochastic image model, Multiwavelet |
24 | Bruno Tuffin, Dong S. Chen, Kishor S. Trivedi |
Comparison of Hybrid Systems and Fluid Stochastic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 11(1-2), pp. 77-95, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
modeling, hybrid systems, stochastic Petri nets, fluid models |
24 | Bradley D. Brown, Howard C. Card |
Stochastic Neural Computation II: Soft Competitive Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 50(9), pp. 906-920, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
stochastic arithmetic, competitive learning, Pulsed neural networks |
24 | Avigdor Gal, Jonathan Eckstein |
Managing periodically updated data in relational databases: a stochastic modeling approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 48(6), pp. 1141-1183, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Data obsolescence, database replication management, obsolescence cost, stochastic modeling |
24 | Shu-Mei Guo, Leang-San Shieh, Ching-Fang Lin, Jagdish Chandra |
Adaptive Control for Nonlinear Stochastic Hybrid Systems with Input Saturation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 34th Annual Hawaii International Conference on System Sciences (HICSS-34), January 3-6, 2001, Maui, Hawaii, USA, 2001, IEEE Computer Society, 0-7695-0981-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Nonlinear stochastic systems, Digital redesign, Input saturation, Hybrid systems, Adaptive control |
24 | Karl Frauendorfer, Michael Schürle |
Term Structure Models in Multistage Stochastic Programming: Estimation and Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 100(1-4), pp. 189-209, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
term structure models, approximation, stochastic programming |
24 | Jason Wu, Suvrajeet Sen |
A Stochastic Programming Model for Currency Option Hedging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 100(1-4), pp. 227-249, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
currency options, stochastic programming, hedging |
24 | Eugene M. Kleinberg |
On the Algorithmic Implementation of Stochastic Discrimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 22(5), pp. 473-490, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
stochastic discrimination, Pattern recognition, classification algorithms, SD |
24 | Zhen Liu 0001 |
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 24(11), pp. 1014-1030, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
mean token number, linear programming, throughput, uniformization, performance bound, Stochastic timed Petri net |
24 | Min Tan 0002, Howard Jay Siegel |
A stochastic model of a dedicated heterogeneous computing system for establishing a greedy approach to developing data relocation heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Heterogeneous Computing Workshop ![In: 6th Heterogeneous Computing Workshop, HCW 1997, Geneva, Switzerland, April 1, 1997, pp. 122-134, 1997, IEEE Computer Society, 0-8186-7879-8. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
dedicated heterogeneous computing system, greedy approach, data relocation heuristics, data relocation, multiple independent subtasks, inter-machine data transfers, optimal matching, data relocation schemes, fixed matching, scheduling, distributed processing, stochastic model, optimization problem, application program, search space, communication times, scheduling schemes, optimization criteria |
Displaying result #201 - #300 of 54002 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|