|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1277 occurrences of 618 keywords
|
|
|
Results
Found 1598 publication records. Showing 1573 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Vitaliy B. Lvin, Gene Novark, Emery D. Berger, Benjamin G. Zorn |
Archipelago: trading address space for reliability and security. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
Archipelago, probabilistic memory safety, randomized algorithms, virtual memory, buffer overflow, dynamic memory allocation, memory errors |
16 | Michal Wegiel, Chandra Krintz |
The mapping collector: virtual memory support for generational, parallel, and concurrent compaction. |
ASPLOS |
2008 |
DBLP DOI BibTeX RDF |
parallel, concurrent, virtual memory, compaction |
16 | Zhuo Yu, Xiaohui Liang, Zhiyu Chen |
A Level of Detail Selection Method for Multi-Type Objects Based on The Span of Level Changed. |
RAM |
2008 |
DBLP DOI BibTeX RDF |
|
16 | Michael J. Geiger, Sally A. McKee, Gary S. Tyson |
Specializing Cache Structures for High Performance and Energy Conservation in Embedded Systems. |
Trans. High Perform. Embed. Archit. Compil. |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Yichen Xie 0001, Alex Aiken |
Saturn: A scalable framework for error detection using Boolean satisfiability. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Program analysis, error detection, Boolean satisfiability |
16 | Torben Amtoft, Anindya Banerjee 0001 |
Verification condition generation for conditional information flow. |
FMSE |
2007 |
DBLP DOI BibTeX RDF |
conditional information flow analysis, object invariants, verification condition generation |
16 | Ahmed Bouajjani, Séverine Fratani, Shaz Qadeer |
Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures. |
CAV |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sigmund Cherem, Radu Rugina |
A Practical Escape and Effect Analysis for Building Lightweight Method Summaries. |
CC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alexey Gotsman, Josh Berdine, Byron Cook, Noam Rinetzky, Mooly Sagiv |
Local Reasoning for Storable Locks and Threads. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Alexey Gotsman, Josh Berdine, Byron Cook, Mooly Sagiv |
Thread-modular shape analysis. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, concurrent programming, shape analysis |
16 | Angel Dominguez, Nghi Nguyen, Rajeev Barua |
Recursive function data allocation to scratch-pad memory. |
CASES |
2007 |
DBLP DOI BibTeX RDF |
profile dependance, embedded systems, compiler, memory allocation, recursive functions, scratch-pad memory |
16 | Marcelo d'Amorim, Steven Lauterburg, Darko Marinov |
Delta execution for efficient state-space exploration of object-oriented programs. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
delta execution, model checking |
16 | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric |
A Reachability Predicate for Analyzing Low-Level Software. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Shane Ryoo, Christopher I. Rodrigues, Wen-mei W. Hwu |
Iteration Disambiguation for Parallelism Identification in Time-Sliced Applications. |
LCPC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Wei-Ngan Chin, Cristina David, Huu Hai Nguyen, Shengchao Qin |
Automated Verification of Shape, Size and Bag Properties. |
ICECCS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Michael B. Monagan, Roman Pearce |
Polynomial Division Using Dynamic Arrays, Heaps, and Packed Exponent Vectors. |
CASC |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Wei Yu 0003, Fangting Sun, Jason E. Fritts |
Efficient rate control for JPEG-2000. |
IEEE Trans. Circuits Syst. Video Technol. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Gianni Franceschini, Roberto Grossi |
Optimal Implicit Dictionaries over Unbounded Universes. |
Theory Comput. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Hertz, Stephen M. Blackburn, J. Eliot B. Moss, Kathryn S. McKinley, Darko Stefanovic |
Generating object lifetime traces with Merlin. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
object lifetime analysis, trace design, Garbage collection, trace generation |
16 | Tal Lev-Ami, Neil Immerman, Shmuel Sagiv |
Abstraction for Shape Analysis with Fast and Precise Transformers. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Dirk Beyer 0001, Thomas A. Henzinger, Grégory Théoduloz |
Lazy Shape Analysis. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sunil Soman, Laurent Daynès, Chandra Krintz |
Task-aware garbage collection in a multi-tasking virtual machine. |
ISMM |
2006 |
DBLP DOI BibTeX RDF |
resource reclamation, task-aware garbage collection, java, virtual machine, multi-tasking |
16 | Hayo Thielecke |
Frame rules from answer types for code pointers. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
code pointers, polymorphism, continuations, Hoare logic, typed assembly language |
16 | Guilin Chen, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin |
Object duplication for improving reliability. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001 |
Abstract Matching for Software Model Checking. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
Static Analysis, State Explosion, Model Extraction |
16 | Ondrej Lhoták, Laurie J. Hendren |
Context-Sensitive Points-to Analysis: Is It Worth It?. |
CC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sokhom Pheng, Clark Verbrugge |
Dynamic Data Structure Analysis for Java Programs. |
ICPC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Greta Yorsh, Alexander Moshe Rabinovich, Mooly Sagiv, Antoine Meyer, Ahmed Bouajjani |
A Logic of Reachable Patterns in Linked Data-Structures. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh |
A Practical String Analyzer by the Widening Approach. |
APLAS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Rosa Castillo, Adrian Tineo, Francisco Corbera, Angeles G. Navarro, Rafael Asenjo, Emilio L. Zapata |
Towards a Versatile Pointer Analysis Framework. |
Euro-Par |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Quan Phan |
Static Memory Management for Logic Programming Languages. |
ICLP |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Mana Taghdiri, Robert Seater, Daniel Jackson 0001 |
Lightweight extraction of syntactic specifications. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
modular abstraction, symbolic summary, syntactic specification, symbolic execution |
16 | Cormac Flanagan, Stephen N. Freund |
Dynamic Architecture Extraction. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Tim Harris 0001, Mark Plesko, Avraham Shinnar, David Tarditi |
Optimizing memory transactions. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
critical regions, transactional memory, atomicity |
16 | Manu Sridharan, Rastislav Bodík |
Refinement-based context-sensitive points-to analysis for Java. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
refinement, points-to analysis, context-sensitive analysis, demand-driven analysis |
16 | Trishul M. Chilimbi, Ran Shaham |
Cache-conscious coallocation of hot data streams. |
PLDI |
2006 |
DBLP DOI BibTeX RDF |
data profiling, hot data streams, data locality, cache optimization, memory layout, dynamic allocation |
16 | Gilad Arnold |
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Huu-Duc Nguyen, Atsushi Ohori |
Compiling ML polymorphism with explicit layout bitmap. |
PPDP |
2006 |
DBLP DOI BibTeX RDF |
type-directed compilation, garbage collection, memory management, polymorphism |
16 | David A. Naumann |
From Coupling Relations to Mated Invariants for Checking Information Flow. |
ESORICS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Katherine Barabash, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Yoav Ossia, Avi Owshanko, Erez Petrank |
A parallel, incremental, mostly concurrent garbage collector for servers. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Garbage collection, JVM, concurrent garbage collection |
16 | Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takahashi, Masami Hagiya |
Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Feng Xian, Witawas Srisa-an, Hong Jiang 0001 |
Fortune teller: improving garbage collection performance in server environment using live objects prediction. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
predictive model of garbage collection |
16 | Yichen Xie 0001, Alexander Aiken |
Scalable error detection using boolean satisfiability. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
program analysis, error detection, boolean satisfiability |
16 | Richard Bornat, Cristiano Calcagno, Peter W. O'Hearn, Matthew J. Parkinson |
Permission accounting in separation logic. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
concurrency, logic, separation, permissions |
16 | Gary Lindstrom, Peter C. Mehlitz, Willem Visser |
Model Checking Real Time Java Using Java PathFinder. |
ATVA |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Cristiano Calcagno, Philippa Gardner, Matthew Hague |
From Separation Logic to First-Order Logic. |
FoSSaCS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel |
Context-sensitive program analysis as database queries. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Yi Lu 0003, John Potter |
A Type System for Reachability and Acyclicity. |
ECOOP |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Matthew Hertz, Yi Feng, Emery D. Berger |
Garbage collection without paging. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
bookmarking collection, generational collection, memory pressure, garbage collection, virtual memory, paging |
16 | Andreas Podelski, Thomas Wies |
Boolean Heaps. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Noam Rinetzky, Mooly Sagiv, Eran Yahav |
Interprocedural Shape Analysis for Cutpoint-Free Programs. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Shlomit S. Pinter, Steven S. Shultz, Yariv Aridor, Sergey Guenender |
Improving Machine Virtualization with 'Hotplug Memory'. |
SBAC-PAD |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Gansha Wu, Xin Zhou, Guei-Yuan Lueh, Jesse Z. Fang, Peng Guo, Jinzhan Peng, Victor Ying |
XAMM: A High-Performance Automatic Memory Management System with Memory-Constrained Designs. |
HiPEAC |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Alex Garthwaite, David Dice, Derek White |
Supporting per-processor local-allocation buffers using lightweight user-level preemption notification. |
VEE |
2005 |
DBLP DOI BibTeX RDF |
restartable critical sections, locality, memory allocation |
16 | Peng-Sheng Chen, Yuan-Shin Hwang, Roy Dz-Ching Ju, Jenq Kuen Lee |
Interprocedural Probabilistic Pointer Analysis. |
IEEE Trans. Parallel Distributed Syst. |
2004 |
DBLP DOI BibTeX RDF |
interprocedural program analysis, optimization, compilers, Multithreading, speculation, points-to analysis |
16 | Daniel L. Dvorak, William K. Reinholtz |
Hard real-time: C++ versus RTSJ. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
real-time, architecture, concurrency, programming model |
16 | David Detlefs, Christine H. Flood, Steve Heller, Tony Printezis |
Garbage-first garbage collection. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
concurrent garbrage collection, garbage-first garbage collection, soft real-time garbage collection, garbage collection, parallel garbage collection |
16 | Sunil Soman, Chandra Krintz, David F. Bacon |
Dynamic selection of application-specific garbage collectors. |
ISMM |
2004 |
DBLP DOI BibTeX RDF |
application-specific collection, dynamic selection, Java, virtual machine, annotation, hot-swapping |
16 | Zoe C. H. Yu, Francis C. M. Lau 0001, Cho-Li Wang |
Exploiting Java Objects Behavior for Memory Management and Optimizations. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Stephen M. Blackburn, Perry Cheng, Kathryn S. McKinley |
Myths and realities: the performance impact of garbage collection. |
SIGMETRICS |
2004 |
DBLP DOI BibTeX RDF |
semi-space, java, generational, reference counting, mark-sweep |
16 | Witawas Srisa-an, Chia-Tien Dan Lo, J. Morris Chang |
Active Memory Processor: A Hardware Garbage Collector for Real-Time Java Embedded Devices. |
IEEE Trans. Mob. Comput. |
2003 |
DBLP DOI BibTeX RDF |
active memory, real-time systems, embedded systems, Garbage collection, Java virtual machine |
16 | Dave Ahmad |
The Rising Threat of Vulnerabilities Due to Integer Errors. |
IEEE Secur. Priv. |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Shuo Chen 0001, Zbigniew Kalbarczyk, Jun Xu 0003, Ravishankar K. Iyer |
A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
data analysis, security vulnerabilities, finite state machine modeling |
16 | Narendran Sachindran, J. Eliot B. Moss |
Mark-copy: fast copying GC with less space overhead. |
OOPSLA |
2003 |
DBLP DOI BibTeX RDF |
copying collector, generational collector, mark-copy, Java, mark-sweep |
16 | Hans-Juergen Boehm |
Destructors, finalizers, and synchronization. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
destructor, synchronization, garbage collection, deadlock, thread, finalization |
16 | Tomoharu Ugawa, Nobuhisa Minagawa, Tsuneyasu Komiya, Masahiro Yasugi, Taiichi Yuasa |
Lazy Stack Copying and Stack Copy Sharing for the Efficient Implementation of Continuations. |
APLAS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Patrick Lam 0001, Martin C. Rinard |
A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information. |
ECOOP |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Chandrasekhar Boyapati, Alexandru Salcianu, William S. Beebee, Martin C. Rinard |
Ownership types for safe region-based memory management in real-time Java. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
real-time, encapsulation, regions, ownership types |
16 | Pramod Ramarao, Akhilesh Tyagi, Gyungho Lee |
Run-Time Support for Detection of Memory Access Violations to Prevent Buffer Overflow Exploits. |
ISC |
2003 |
DBLP DOI BibTeX RDF |
|
16 | John Field, Deepak Goyal, G. Ramalingam, Eran Yahav |
Typestate Verification: Abstraction Techniques and Complexity Results. |
SAS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Ravishankar K. Iyer, Shuo Chen 0001, Jun Xu 0003, Zbigniew Kalbarczyk |
Security Vulnerabilities - From Data Analysis to Protection Mechanisms. |
WORDS Fall |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Qing Dai, Jie Wu 0001 |
Computation of Minimal Uniform Transmission Power in Ad Hoc Wireless Networks. |
ICDCS Workshops |
2003 |
DBLP DOI BibTeX RDF |
power control, minimum spanning tree, ad hoc wireless network, graph connectivity, transmission power |
16 | Niv Buchbinder, Erez Petrank |
Lower and Upper Bounds on Obtaining History Independence. |
CRYPTO |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Jun Xu 0003, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
Transparent Runtime Randomization for Security. |
SRDS |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Ruben Vandeginste, Konstantinos Sagonas, Bart Demoen |
Segment Order Preserving and Generational Garbage Collection for Prolog. |
PADL |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Kevin Hammond, Greg Michaelson |
Predictable Space Behaviour in FSM-Hume. |
IFL |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Darko Stefanovic, Matthew Hertz, Stephen M. Blackburn, Kathryn S. McKinley, J. Eliot B. Moss |
Older-first garbage collection in practice: evaluation in Java Virtual Machine. |
MSP/ISMM |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Bart Demoen, Phuong-Lan Nguyen, Ruben Vandeginste |
Copying Garbage Collection for the WAM: To Mark or Not to Mark? |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Stephen M. Blackburn, Richard E. Jones, Kathryn S. McKinley, J. Eliot B. Moss |
Beltway: Getting Around Garbage Collection Gridlock. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
beltway, copying collection, generational collection, Java |
16 | Yoav Ossia, Ori Ben-Yitzhak, Irit Goft, Elliot K. Kolodner, Victor Leikehman, Avi Owshanko |
A Parallel, Incremental and Concurrent GC for Servers. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
Java, garbage collection, JVM, concurrent garbage collection, weak ordering, incremental garbage collection |
16 | Tong Chen 0010, Jin Lin, Wei-Chung Hsu, Pen-Chung Yew |
An Empirical Study on the Granularity of Pointer Analysis in C Programs. |
LCPC |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Andy J. Wellings, Alan Burns 0001 |
Asynchronous Event Handling and Real-time Threads in the Real-time Specification for Java. |
IEEE Real Time Technology and Applications Symposium |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Leena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu |
Automatic Accurate Live Memory Analysis for Garbage-Collected Languages. |
LCTES/OM |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Ted Herman, Imran A. Pirwani |
A Composite Stabilizing Data Structure. |
WSS |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Jyrki Katajainen, Bjarke Buur Mortensen |
Experiences with the Design and Implementation of Space-Efficient Deques. |
WAE |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Peter W. O'Hearn, John C. Reynolds, Hongseok Yang |
Local Reasoning about Programs that Alter Data Structures. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Martin Hofmann 0001 |
A Type System for Bounded Space and Functional In-Place Update--Extended Abstract. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
16 | John Iacono |
Improved Upper Bounds for Pairing Heaps. |
SWAT |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Emery D. Berger, Kathryn S. McKinley, Robert D. Blumofe, Paul R. Wilson 0001 |
Hoard: A Scalable Memory Allocator for Multithreaded Applications. |
ASPLOS |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Michael L. Fredman |
A Priority Queue Transform. |
WAE |
1999 |
DBLP BibTeX RDF |
|
16 | Shmuel Sagiv, Thomas W. Reps, Reinhard Wilhelm |
Solving Shape-Analysis Problems in Languages with Destructive Updating. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
destructive updating, shape graphs, static analysis, abstract interpretation, shape analysis, pointer analysis, dataflow analysis, alias analysis |
16 | Julian Dolby, Andrew A. Chien |
An Evaluation of Automatic Object Inline Allocation Techniques. |
OOPSLA |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Ole Agesen, David Detlefs, J. Eliot B. Moss |
Garbage Collection and Local Variable Type-Precision and Liveness in Java Virtual Machines. |
PLDI |
1998 |
DBLP DOI BibTeX RDF |
Java |
16 | Alan Roberts, Antonios Symvonis |
On-Line Matching Routing on Trees. |
LATIN |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Mark Harman, Yoga Sivagurunathan, Sebastian Danicic |
Analysis of Dynamic Memory Access Using Amorphous Slicing. |
ICSM |
1998 |
DBLP DOI BibTeX RDF |
|
16 | David Cronk, Matthew Haines, Piyush Mehrotra |
Thread Migration in the Presence of Pointers. |
HICSS (1) |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Serrano, Marc Feeley |
Storage Use Analysis and its Applications. |
ICFP |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Markus Mohnen |
Efficient Compile-Time Garbage Collection for Arbitrary Data Structures |
PLILP |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Danny Z. Chen, Xiaobo Hu 0001 |
Fast and Efficient Operations on Parallel Priority Queues. |
ISAAC |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Diab Abuaiadh, Jeffrey H. Kingston |
Are Fibonacci Heaps Optimal? |
ISAAC |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 1573 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|