|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 643 occurrences of 415 keywords
|
|
|
Results
Found 876 publication records. Showing 876 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
90 | J. Jenny Li, Hong Liu, Rudolph E. Seviora |
Constructing automated protocol testing oracles to accommodate specification nondeterminism. |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction |
75 | Joseph G. Slember, Priya Narasimhan |
Living with Nondeterminism in Replicated Middleware Applications. |
Middleware |
2006 |
DBLP DOI BibTeX RDF |
|
75 | Joseph G. Slember, Priya Narasimhan |
Using Program Analysis to Identify and Compensate for Nondeterminism in Fault-Tolerant, Replicated Systems. |
SRDS |
2004 |
DBLP DOI BibTeX RDF |
|
75 | Orieta Celiku, Joakim von Wright |
Implementing Angelic Nondeterminism. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
70 | Martin Kutrib, Andreas Malcher, Larissa Werlein |
Regulated Nondeterminism in Pushdown Automata. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
regulated nondeterminism, limited nondeterminism, pushdown automata, closure properties |
65 | Joseph G. Slember, Priya Narasimhan |
Nondeterminism in ORBs: The Perception and the Reality. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Dino Pedreschi, Salvatore Ruggieri |
Bounded Nondeterminism of Logic Programs. |
Ann. Math. Artif. Intell. |
2004 |
DBLP DOI BibTeX RDF |
universal termination, bounded nondeterminism, strong termination, logic programming |
63 | Juraj Hromkovic, Georg Schnitger |
Nondeterminism versus Determinism for Two-Way Finite Automata: Generalizations of Sipser's Separation. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
descriptional complexity of regular languages, Finite automata, nondeterminism |
56 | Thomas Noll 0001, Bastian Schlich |
Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code. |
Haifa Verification Conference |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Joseph G. Slember, Priya Narasimhan |
Handling Emergent Nondeterminism in Replicated Services. |
WADS |
2007 |
DBLP DOI BibTeX RDF |
|
56 | Atle Refsdal, Ragnhild Kobro Runde, Ketil Stølen |
Underspecification, Inherent Nondeterminism and Probability in Sequence Diagrams. |
FMOODS |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Bernd Braßel, Michael Hanus |
Nondeterminism Analysis of Functional Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
55 | Nirman Kumar, Koushik Sen, José Meseguer 0001, Gul Agha |
A Rewriting Based Model for Probabilistic Distributed Object Systems. |
FMOODS |
2003 |
DBLP DOI BibTeX RDF |
Rewrite theory, probability, nondeterminism, actors, Maude |
53 | Juraj Hromkovic, Juhani Karhumäki, Hartmut Klauck, Georg Schnitger, Sebastian Seibert |
Measures of Nondeterminism in Finite Automata. |
ICALP |
2000 |
DBLP DOI BibTeX RDF |
limited ambiguity, communication complexity, finite automata, nondeterminism, descriptional complexity |
53 | Pavol Duris, Juraj Hromkovic, Katsushi Inoue |
A Separation of Determinism, Las Vegas and Nondeterminism for Picture Recognition. |
CCC |
2000 |
DBLP DOI BibTeX RDF |
Las Vegas randomization, two-dimensional finite automata, nondeterminism |
53 | Michal Walicki, Sigurd Meldal |
A Complete Calculus for the Multialgebraic and Functional Semantics of Nondeterminism. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
reasoning with nondeterminism, algebraic specifications |
48 | Roberto Segala |
Verification of Randomized Distributed Algorithms. |
European Educational Forum: School on Formal Methods and Performance Analysis |
2000 |
DBLP DOI BibTeX RDF |
|
48 | Manfred Broy, Martin Wirsing |
On the Algebraic Specification of Nondeterministic Programming Languages. |
CAAP |
1981 |
DBLP DOI BibTeX RDF |
|
46 | Rastislav Bodík, Satish Chandra 0001, Joel Galenson, Doug Kimelman, Nicholas Tung, Shaon Barman, Casey Rodarmor |
Programming with angelic nondeterminism. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
angelic non-determinism, constraints, refinement, traces, bounded model-checking |
46 | Martin Kutrib, Andreas Malcher |
Context-Dependent Nondeterminism for Pushdown Automata. |
Developments in Language Theory |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Jonathan Goldstine, Hing Leung, Detlef Wotschke |
Measuring Nondeterminism in Pushdown Automata. |
STACS |
1997 |
DBLP DOI BibTeX RDF |
|
46 | Alexandru Mateescu, Arto Salomaa |
Nondeterminism in Patterns. |
STACS |
1994 |
DBLP DOI BibTeX RDF |
|
46 | George M. Reed, A. W. Roscoe 0001 |
Analysing TMFS: a Study of Nondeterminism in Real-Time Concurrency. |
Concurrency: Theory, Language, And Architecture |
1989 |
DBLP DOI BibTeX RDF |
|
46 | Ralph-Johan Back |
Semantics of Unbounded Nondeterminism. |
ICALP |
1980 |
DBLP DOI BibTeX RDF |
|
46 | Michal Armoni, Noa Lewenstein, Mordechai Ben-Ari |
Teaching students to think nondeterministically. |
SIGCSE |
2008 |
DBLP DOI BibTeX RDF |
nondeterministic automata, nondeterminism |
46 | Juraj Hromkovic, Georg Schnitger |
Pushdown Automata and Multicounter Machines, a Comparison of Computation Modes. |
ICALP |
2003 |
DBLP DOI BibTeX RDF |
multicounter machines, randomization, nondeterminism, complexity theory, pushdown automata |
46 | Jessica Chen |
Formal Modelling of Java GUI Event Handling. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems |
44 | Frantisek Mráz, Martin Plátek, Friedrich Otto |
A Measure for the Degree of Nondeterminism of Context-Free Languages. |
CIAA |
2007 |
DBLP DOI BibTeX RDF |
measure of nondeterminism, restarting automaton, analysis by reduction |
44 | Philipp Woelfel |
On the Complexity of Integer Multiplication in Branching Programs with Multiple Tests and in Read-Once Branching Programs with Limited Nondeterminism. |
CCC |
2002 |
DBLP DOI BibTeX RDF |
Lower Bounds, BDDs, Nondeterminism, Branching Programs, Integer Multiplication |
44 | Richard Beigel, Bin Fu |
Molecular Computing, Bounded Nondeterminism, and Efficient Recursion. |
Algorithmica |
1999 |
DBLP DOI BibTeX RDF |
Nondeterminism, Molecular computing, Volume |
44 | Luis Fernando Llana Díaz, Manuel Núñez 0001 |
Testing Semantics for Unbounded Nondeterminism. |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
unbounded nondeterminism, testing semantics, Process algebra, CSP, operational semantics |
44 | P. A. Subrahmanyam |
Nondeterminism in Abstract Data Types. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
nondeterministic operations, extraction equivalence, observable behavior, implementations, correctness, abstract data types, nondeterminism |
38 | Derek Hower, Pablo Montesinos, Luis Ceze, Mark D. Hill, Josep Torrellas |
Two hardware-based approaches for deterministic multiprocessor replay. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Martin R. Neuhäußer, Mariëlle Stoelinga, Joost-Pieter Katoen |
Delayed Nondeterminism in Continuous-Time Markov Decision Processes. |
FoSSaCS |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Mordechai Ben-Ari |
Teaching concurrency and nondeterminism with spin. |
ITiCSE |
2007 |
DBLP DOI BibTeX RDF |
visualization, verification, concurrency, spin |
36 | Ana Cavalcanti 0001, Jim Woodcock 0001, Steve Dunne |
Angelic nondeterminism in the unifying theories of programming. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Semantics, Refinement, Relations, Predicate transformers |
36 | Ozan Kahramanogullari |
Reducing Nondeterminism in the Calculus of Structures. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Benjamin Aminof, Orna Kupferman |
On the Succinctness of Nondeterminism. |
ATVA |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Alberto Pettorossi, Maurizio Proietti, Sophie Renault |
Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism. |
High. Order Symb. Comput. |
2005 |
DBLP DOI BibTeX RDF |
automatic program derivation, transformation rules and strategies, logic programming, program transformation, program specialization |
36 | Alexander Healy, Salil P. Vadhan, Emanuele Viola |
Using nondeterminism to amplify hardness. |
STOC |
2004 |
DBLP DOI BibTeX RDF |
noise stability, pseudorandom generators for space-bounded computation, average-case complexity, hardness amplification |
36 | Dieter Kranzlmüller, Martin Schulz 0001 |
Notes on Nondeterminism in Message Passing Programs. |
PVM/MPI |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Tobias Nipkow |
Hoare Logics for Recursive Procedures and Unbounded Nondeterminism. |
CSL |
2002 |
DBLP DOI BibTeX RDF |
|
36 | Juraj Hromkovic, Martin Sauerhoff |
Tradeoffs between Nondeterminism and Complexity for Communication Protocols and Branching Programs. |
STACS |
2000 |
DBLP DOI BibTeX RDF |
|
36 | Richard Beigel, Bin Fu |
Molecular Computing, Bounded Nondeterminism, and Efficient Recursion. |
ICALP |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Manfred Broy |
Interactive and Reactive Systems: States, Observations, Experiments, Input, Output, Nondeterminism, Compositionality and all That. |
Foundations of Computer Science: Potential - Theory - Cognition |
1997 |
DBLP DOI BibTeX RDF |
|
36 | Liming Cai, Jianer Chen |
On the Amount of Nondeterminism and the Power of Verifying (Extended Abstract). |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
36 | Krzysztof R. Apt, Gordon D. Plotkin |
Countable nondeterminism and random assignment. |
J. ACM |
1986 |
DBLP DOI BibTeX RDF |
|
36 | Joost N. Kok |
Denotational Semantics of Nets with Nondeterminism. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
36 | Krzysztof R. Apt, Gordon D. Plotkin |
A Cook's Tour of Countable Nondeterminism. |
ICALP |
1981 |
DBLP DOI BibTeX RDF |
|
36 | Ernst-Erich Doberkat |
The Converse of a Stochastic Relation. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
Stochastic relations, relational calculi, concurrency, converse, bisimulation, nondeterminism |
36 | Mihnea Marinescu, Benjamin Goldberg |
Partial-Evaluation Techniques for Concurrent Programs. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
concurrency, CSP, CSP, partial evaluation, nondeterminism, binding-time analysis |
36 | A. P. Wim Böhm, R. R. Oldehoeft |
Two Issues in Parallel Language Design. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
nonstrictness, nondeterminism, SISAL, SISAL |
34 | Charles E. Leiserson, Tao B. Schardl |
A work-efficient parallel breadth-first search algorithm (or how to cope with the nondeterminism of reducers). |
SPAA |
2010 |
DBLP DOI BibTeX RDF |
hyperobjects, parallel algorithms, multithreading, graph algorithms, reducers, nondeterminism, work-stealing, breadth-first search, cilk |
34 | Klaus Reinhardt, Eric Allender |
Making Nondeterminism Unambiguous. |
FOCS |
1997 |
DBLP DOI BibTeX RDF |
nonuniform complexity, nondeterministic logarithmic space bounded computation, computational complexity, nondeterminism, complexity classes, context-free languages |
34 | Ian Parberry |
A Note on Nondeterminism in Small, Fast Parallel Computers. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
nondeterministic analogues, fast parallel computers, language classes, SC, NNC, NSC, deterministic Turing machine, polylog tape-head reversals, POLYLOGSPACE, simultaneous polynomial time, read-only input tape, read-write work tape, computational complexity, parallel computation, parallel machines, formal languages, nondeterminism, Turing machines, subset, NC |
34 | Rob J. van Glabbeek |
Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP |
34 | Richard Kennaway, C. A. R. Hoare |
A Theory of Nondeterminism. |
ICALP |
1980 |
DBLP DOI BibTeX RDF |
axiomatic sematnics, complementary definitions, powerdomains, operational semantics, nondeterminism |
29 | Rupert Hölzl 0001, Wolfgang Merkle |
Generation Complexity Versus Distinction Complexity. |
TAMC |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Alex Groce, Rajeev Joshi |
Random testing and model checking: building a common framework for nondeterministic exploration. |
WODA |
2008 |
DBLP DOI BibTeX RDF |
model checking, dynamic analysis, random testing, test frameworks |
29 | Smruti R. Sarangi, Brian Greskamp, Josep Torrellas |
CADRE: Cycle-Accurate Deterministic Replay for Hardware Debugging. |
DSN |
2006 |
DBLP DOI BibTeX RDF |
|
29 | François Le Gall |
Quantum Weakly Nondeterministic Communication Complexity. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Tomas Kalibera, Lubomír Bulej, Petr Tuma 0001 |
Automated Detection of Performance Regressions: The Mono Experience. |
MASCOTS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Wenbing Zhao 0001, Louise E. Moser, P. M. Melliar-Smith |
Deterministic Scheduling for Multithreaded Replicas. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Thomas J. Myers, A. Toni Cohen |
Models and Transformations for Nondeterministic Extensions of Functional Programming. |
FSTTCS |
1984 |
DBLP DOI BibTeX RDF |
|
27 | Yifeng Chen, Jeff W. Sanders |
Unifying Probability with Nondeterminism. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Roberto Segala |
Probability and Nondeterminism in Operational Models of Concurrency. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Moshe Deutsch, Martin C. Henson |
An Alternative Approach to Handling Nondeterminism in Model-Oriented Data-Refinement. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Jianer Chen, Donald K. Friesen, Weijia Jia 0001, Iyad A. Kanj |
Using Nondeterminism to Design Efficient Deterministic Algorithms. |
Algorithmica |
2004 |
DBLP DOI BibTeX RDF |
Three-dimensional matching, Nondeterministic algorithms, Parameterized algorithms |
27 | Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky |
Modelling Nondeterminism. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Juraj Hromkovic, Martin Sauerhoff |
The Power of Nondeterminism and Randomness for Oblivious Branching Programs. |
Theory Comput. Syst. |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Markus Holzer 0001, Martin Kutrib |
Flip-Pushdown Automata: Nondeterminism Is Better than Determinism. |
Developments in Language Theory |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Martin Sauerhoff |
Randomness versus Nondeterminism for Read-Once and Read- k Branching Programs. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Yijia Chen, Jörg Flum, Martin Grohe |
Bounded Nondeterminism and Alternation in Parameterized Complexity Theory. |
CCC |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Jianer Chen, Donald K. Friesen, Weijia Jia 0001, Iyad A. Kanj |
Using Nondeterminism to Design Deterministic Algorithms. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Petr Savický, Detlef Sieling |
A Hierarchy Result for Read-Once Branching Programs with Restricted Parity Nondeterminism. |
MFCS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | X. Cai, J. Chen |
Control of Nondeterminism in Testing Distributed Multithreaded Programs. |
APAQS |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Russell Harmer, Guy McCusker |
A Fully Abstract Game Semantics for Finite Nondeterminism. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
27 | Hing Leung |
On Finite Automata with Limited Nondeterminism. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
27 | Frank S. de Boer, M. van Hulst |
Local Nondeterminism in Asynchronously Communicating Processes. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
27 | Michael Siegel |
A Refinement Theory that Supports both 'Decrease of Nondeterminism' and 'Increase of Parallelism'. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Luca Aceto |
On Relating Concurency and Nondeterminism. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
27 | Deborah Joseph, Meera Sitharam |
Kolmogorov Complexity, Restrited Nondeterminism and Generalized Spectra. |
STACS |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Wim H. Hesselink |
A Mathematical Approach to Nondeterminism in Data Types. |
ACM Trans. Program. Lang. Syst. |
1988 |
DBLP DOI BibTeX RDF |
|
27 | Arthur J. Bernstein |
Output Guards and Nondeterminism in "Communicating Sequential Processes". |
ACM Trans. Program. Lang. Syst. |
1980 |
DBLP DOI BibTeX RDF |
|
27 | Jan Christiansen, Sebastian Fischer 0001 |
EasyCheck - Test Data for Free. |
FLOPS |
2008 |
DBLP DOI BibTeX RDF |
Encapsulated Search, Testing, Nondeterminism, Curry |
27 | Hanmei Cui, Jessica Chen |
On Formal MOM Modeling. |
ISPA |
2007 |
DBLP DOI BibTeX RDF |
model checking, distributed applications, nondeterminism, message-oriented middleware |
27 | Edward A. Lee |
The Problem with Threads. |
Computer |
2006 |
DBLP DOI BibTeX RDF |
Design patterns, Threads, Nondeterminism, Programming paradigms, Coordination languages |
27 | Claudio Basile, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
Active Replication of Multithreaded Applications. |
IEEE Trans. Parallel Distributed Syst. |
2006 |
DBLP DOI BibTeX RDF |
Fault tolerance, replication, multithreading, fault injection, nondeterminism |
27 | Pascal Felber, Priya Narasimhan |
Experiences, Strategies, and Challenges in Building Fault-Tolerant CORBA Systems. |
IEEE Trans. Computers |
2004 |
DBLP DOI BibTeX RDF |
OGS, Eternal, fault tolerance, CORBA, replication, recovery, nondeterminism, FT-CORBA |
27 | Gianfranco Rossi, Elisabetta Poleo |
Javaset: Declarative programming in Java with sets. |
Conf. Computing Frontiers |
2004 |
DBLP DOI BibTeX RDF |
Java, constraint programming, nondeterminism, declarative programming |
27 | Richard Edwin Stearns |
Deterministic versus nondeterministic time and lower bound problems. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
generic problems, power index, Computational complexity, NP-completeness, time complexity, SAT, nondeterminism, generic algorithms |
27 | Jessica Chen |
Using Formal Methods to Serialize Synchronization Events. |
ICFEM |
2003 |
DBLP DOI BibTeX RDF |
Reproducible Testing, Formal Engineering Method, Nondeterminism, Labelled Transition Systems |
27 | Ranko Lazic 0001, David Nowak |
On a Semantic Definition of Data Independence . |
TLCA |
2003 |
DBLP DOI BibTeX RDF |
nondeterminism, logical relations, Data independence, definability |
27 | Thomas Eiter, Georg Gottlob, Kazuhisa Makino |
New results on monotone dualization and generating hypergraph transversals. |
STOC |
2002 |
DBLP DOI BibTeX RDF |
combinatorial enumeration, hypergraph acyclicity, limited nondeterminism, output-polynomial algorithms, transversal computation, treewidth, dualization |
27 | Chi-Jen Lu |
Derandomizing Arthur-Merlin games under uniform assumptions. |
Comput. Complex. |
2001 |
DBLP DOI BibTeX RDF |
graph nonisomorphism problem, nondeterminism, Derandomization, uniformity, Arthur-Merlin games |
27 | Ryszard Janicki, Emil Sekerinski |
Foundations of the Trace Assertion Method of Module Interface Specification. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
Module interface specifications, trace assertion method, module refinement, tabular notation, state machines, nondeterminism, relational model, Mealy machines, step-sequences |
27 | Martin Sauerhoff |
Randomized Branching Programs. |
SAGA |
2001 |
DBLP DOI BibTeX RDF |
Randomized branching program, read-k-times, linear-length, lower bounds, randomness, nondeterminism, OBDD |
27 | Jessica Chen |
On Using Static Analysis in Distributed System Testing. |
EDO |
2000 |
DBLP DOI BibTeX RDF |
Distributed Systems, CORBA, Automata, Nondeterminism, Specification-based Testing |
27 | Steffen Lipperts |
On the Efficient Deployment of Mobility in Distributed System Management. |
DEXA Workshops |
2000 |
DBLP DOI BibTeX RDF |
mobility deployment, future networks, disruptive links, competing goals, performance evaluation, mobile computing, mobile agents, nondeterminism, utility theory, prototype implementation, distributed system management, enabling technology |
27 | Carroll Morgan, Annabelle McIver, Karen Seidel 0002 |
Probabilistic Predicate Transformers. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
probability, refinement, nondeterminism, weakest preconditions, Galois connection, predicate transformers, program derivation |
Displaying result #1 - #100 of 876 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ >>] |
|