| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Xiaoming Gu |
Collaborative Caching for Unknown Cache Sizes.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhijia Zhao, Bo Wu |
Probabilistic Models Towards Optimal Speculation of DFA Applications.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Vandierendonck, George Tzenakis, Dimitrios S. Nikolopoulos |
A Unified Scheduler for Recursive and Task Dataflow Parallelism.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Meng-Ju Wu, Donald Yeung |
Coherent Profiles: Enabling Efficient Reuse Distance Analysis of Multicore Scaling for Loop-based Parallel Programs.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Rodrigues, Israel Koren, Sandip Kundu |
An Architecture to Enable Lifetime Full Chip Testability in Chip Multiprocessors.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yonggon Kim, Hyunseok Lee, John Kim |
An Alternative Memory Access Scheduling in Manycore Accelerators.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alok Garg, Raj Parihar, Michael C. Huang |
Speculative Parallelization in Decoupled Look-ahead.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Baik Song An, Ki Hwan Yum, Eun Jung Kim |
Scalable and Efficient Bounds Checking for Large-Scale CMP Environments.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandros Tzannes, Rajeev Barua, Uzi Vishkin |
Improving Run-Time Scheduling for General-Purpose Parallel Code.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Sanchez, David Lo, Richard M. Yoo, Jeremy Sugerman, Christos Kozyrakis |
Dynamic Fine-Grain Scheduling of Pipeline Parallelism.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjing Ma, Sriram Krishnamoorthy, Gagan Agrawal |
Parameterized Micro-benchmarking: An Auto-tuning Approach for Complex Applications.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoya Xiang, Bin Bao, Chen Ding, Yaoqing Gao |
Linear-time Modeling of Program Working Set in Shared Cache.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nagendra Gulur, R. Manikantan, R. Govindarajan, Mahesh Mehendale |
Row-Buffer Reorganization: Simultaneously Improving Performance and Reducing Energy in DRAMs.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Rodrigues, Arunachalam Annamalai, Israel Koren, Sandip Kundu, Omer Khan |
Performance Per Watt Benefits of Dynamic Core Morphing in Asymmetric Multicores.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gulay Yalcin, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero |
SymptomTM: Symptom-Based Error Detection and Recovery Using Hardware Transactional Memory.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Neal Clayton Crago, Sanjay J. Patel |
Decoupled Architectures as a Low-Complexity Alternative to Out-of-order Execution.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anurag Negi, Per Stenström, J. Rubén Titos Gil, Manuel E. Acacio, José M. García |
Pi-TM: Pessimistic Invalidation for Scalable Lazy Hardware Transactional Memory.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Xu, Man-Lap Li |
CriticalFault: Amplifying Soft Error Effect Using Vulnerability-Driven Injection.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bruno Coutinho, Diogo Sampaio, Fernando Magno Quintão Pereira, Wagner Meira Jr. |
Divergence Analysis and Optimizations.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuanrui Zhang, Wei Ding, Jun Liu, Mahmut T. Kandemir |
Optimizing Data Layouts for Parallel Computation on Multicores.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Ding, Jithendra Srinivas, Mahmut T. Kandemir, Mustafa Karaköy |
Compiler Directed Data Locality Optimization for Multicore Architectures.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrià Armejach, Azam Seyedi, J. Rubén Titos Gil, Ibrahim Hur, Adrián Cristal, Osman S. Unsal, Mateo Valero |
Using a Reconfigurable L1 Data Cache for Efficient Version Management in Hardware Transactional Memory.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolas Ioannou, Michael Kauschke, Matthias Gries, Marcelo Cintra |
Phase-Based Application-Driven Hierarchical Power Management on the Single-chip Cloud Computer.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ping Zhou, Bo Zhao, Youtao Zhang, Jun Yang 0002, Yiran Chen |
MRAC: A Memristor-based Reconfigurable Framework for Adaptive Cache Replacement.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dimitris Kaseridis, Muhammad Faisal Iqbal, Jeffrey Stuecheli, Lizy Kurian John |
MCFQ: Leveraging Memory-level Parallelism and Application's Cache Friendliness for Efficient Management of Quasi-partitioned Last-level Caches.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Junghoon Lee, Minjeong Shin, Hanjoon Kim, John Kim, Jaehyuk Huh |
Exploiting Mutual Awareness between Prefetchers and On-chip Networks in Multi-cores.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Chen 0020, Zachary Winter, Guru Venkataramani, H. Howie Huang |
rPRAM: Exploring Redundancy Techniques to Improve Lifetime of PCM-based Main Memory.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Wang, Daniel A. Jiménez |
Program Interferometry.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Guelton, Adrien Guinet, Ronan Keryell |
Building Retargetable and Efficient Compilers for Multimedia Instruction Sets.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Ren, Gagan Agrawal |
Compiling Dynamic Data Structures in Python to Enable the Use of Multi-core and Many-core Libraries.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Konstantinos Aisopos, Andrew DeOrio, Li-Shiuan Peh, Valeria Bertacco |
ARIADNE: Agnostic Reconfiguration in a Disconnected Network Environment.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Villavieja, Vasileios Karakostas, Lluís Vilanova, Yoav Etsion, Alex Ramírez, Avi Mendelson, Nacho Navarro, Adrián Cristal, Osman S. Unsal |
DiDi: Mitigating the Performance Impact of TLB Shootdowns Using a Shared TLB Directory.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jungseob Lee, Vijay Sathisha, Michael J. Schulte, Katherine Compton, Nam Sung Kim |
Improving Throughput of Power-Constrained GPUs Using Dynamic Voltage/Frequency and Core Scaling.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel A. Orozco |
TIDeFlow: A Parallel Execution Model for High Performance Computing Programs.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anh Vo, Ganesh Gopalakrishnan, Robert M. Kirby, Bronis R. de Supinski, Martin Schulz, Greg Bronevetsky |
Large Scale Verification of MPI Programs Using Lamport Clocks with Lazy Update.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ziyu Guo, Eddy Zheng Zhang, Xipeng Shen |
Correctly Treating Synchronizations in Compiling Fine-Grained SPMD-Threaded Programs for CPU.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng Wang, Youfeng Wu |
Modeling and Performance Evaluation of TSO-Preserving Binary Optimization.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Valero, Julio Sahuquillo, Salvador Petit, Pedro López, José Duato |
Improving Last-Level Cache Performance by Exploiting the Concept of MRU-Tour.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence Rauchwerger, Vivek Sarkar (eds.) |
2011 International Conference on Parallel Architectures and Compilation Techniques, PACT 2011, Galveston, TX, USA, October 10-14, 2011  |
PACT  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Jung-Ho Park, Choonki Jang, Jaejin Lee |
A Software-Managed Coherent Memory Architecture for Manycores.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hongzhou Zhao, Arrvindh Shriraman, Sandhya Dwarkadas, Vijayalakshmi Srinivasan |
SPATL: Honey, I Shrunk the Coherence Directory.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Manu Awasthi, David W. Nellans, Rajeev Balasubramonian, Al Davis |
Prediction Based DRAM Row-Buffer Management in the Many-Core Era.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed Minhaj Hassan, Dhruv Choudhary, Mitchelle Rasquinha, Sudhakar Yalamanchili |
Regulating Locality vs. Parallelism Tradeoffs in Multiple Memory Controller Environments.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Naser Sedaghati, Renji Thomas, Louis-Noël Pouchet, Radu Teodorescu, P. Sadayappan |
StVEC: A Vector Instruction Extension for High Performance Stencil Computation.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Wu, Eddy Z. Zhang, Xipeng Shen |
Enhancing Data Locality for Dynamic Simulations through Asynchronous Data Transformations and Adaptive Control.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiangzhou He, Wenguang Chen, Guangri Chen, Weimin Zheng, Zhizhong Tang, Handong Ye |
OpenMDSP: Extending OpenMP to Program Multi-Core DSP.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sayan Ghosh, Barbara Chapman |
Programming Strategies for GPUs and their Power Consumption.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Hua E. Yang, Viktor K. Prasanna |
Optimizing Regular Expression Matching with SR-NFA on Multi-Core Systems.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Lee, Jungwon Kim, Junghyun Kim, Sangmin Seo, Jaejin Lee |
An OpenCL Framework for Homogeneous Manycores with No Hardware Cache Coherence.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chongmin Li, Haixia Wang, Yibo Xue, Dongsheng Wang, Jian Li |
Scalable Proximity-Aware Cache Replication in Chip Multiprocessors.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiwei Xiao, Haibo Chen, Binyu Zang |
A Hierarchical Approach to Maximizing MapReduce Efficiency.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingying Tian, Daniel A. Jiménez |
Sampling Temporal Touch Hint (STTH) Inclusive Cache Management Policy.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kishore Kumar Pusukuri, Rajiv Gupta, Laxmi N. Bhuyan |
No More Backstabbing... A Faithful Scheduling Policy for Multithreaded Programs.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Baojiang Shou, Xionghui Hou, Li Chen |
A Compiler-assisted Runtime-prefetching Scheme for Heterogenous Platforms.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hemayet Hossain, Sandhya Dwarkadas, Michael C. Huang |
POPS: Coherence Protocol Optimization for Both Private and Shared Data.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira Manabi Khan, Daniel A. Jiménez |
Decoupled Cache Segmentation: Mutable Policy with Automated Bypass.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ganesh S. Dasika, Ankit Sethia, Trevor N. Mudge, Scott A. Mahlke |
PEPSC: A Power-Efficient Processor for Scientific Computing.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Javier Lira, Timothy M. Jones, Carlos Molina, Antonio González |
Beforehand Migration on D-NUCA Caches.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungpack Hong, Tayo Oguntebi, Kunle Olukotun |
Efficient Parallel Graph Exploration on Multi-Core CPU and GPU.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeed Maleki, Yaoqing Gao, María Jesús Garzarán, Tommy Wong, David A. Padua |
An Evaluation of Vectorizing Compilers.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gagandeep S. Sachdev, Kshitij Sudan, Mary W. Hall, Rajeev Balasubramonian |
Understanding the Behavior of Pthread Applications on Non-Uniform Cache Architectures.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Wang, Daniel A. Jiménez |
Exploiting Rank Idle Time for Scheduling Last-Level Cache Writeback.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin J. Brown, Arvind K. Sujeeth, HyoukJoong Lee, Tiark Rompf, Hassan Chafi, Martin Odersky, Kunle Olukotun |
A Heterogeneous Parallel Framework for Domain-Specific Languages.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Angerer, Thomas R. Gross |
Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gokcen Kestor, Roberto Gioiosa, Tim Harris, Osman S. Unsal, Adrián Cristal, Ibrahim Hur, Mateo Valero |
STM2: A Parallel STM for High Performance Simultaneous Multithreading Systems.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kun Fang, Long Chen, Zhao Zhang, Zhichun Zhu |
Memory Architecture for Integrating Emerging Memory Technologies.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangmin Seo, Junghyun Kim, Jaejin Lee |
SFMalloc: A Lock-Free and Mostly Synchronization-Free Dynamic Memory Allocator for Manycores.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Byn Choi, Rakesh Komuravelli, Hyojin Sung, Robert Smolinski, Nima Honarmand, Sarita V. Adve, Vikram S. Adve, Nicholas P. Carter, Ching-Tsun Chou |
DeNovo: Rethinking the Memory Hierarchy for Disciplined Parallelism.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandya Mannarswamy, Ramaswamy Govindarajan |
Making STMs Cache Friendly with Compiler Transformations.  |
PACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefania Bandini, Federico Rubagotti, Giuseppe Vizzari, Kenichiro Shimura |
A Cellular Automata Based Model for Pedestrian and Group Dynamics: Motivations and First Experiments.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jerzy Brzezinski, Dariusz Dwornikowski, Jacek Kobusinski |
FaDe: RESTful Service for Failure Detection in SOA Environment.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Achour Mostéfaoui, Michel Raynal |
Looking for Efficient Implementations of Concurrent Objects.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anastasia Sharifulina, Vladimir Elokhin |
Simulation of Heterogeneous Catalytic Reaction by Asynchronous Cellular Automata on Multicomputer.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Milde, Michael Schneider 0002 |
A Parallel Implementation of GaussSieve for the Shortest Vector Problem in Lattices.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ami Marowka |
On Performance Analysis of a Multithreaded Application Parallelized by Different Programming Models Using Intel VTune.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Hoffmann, Dominique Désérable |
Efficient Minimal Routing in the Triangular Grid with Six Channels.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexey Dordopulo, Igor Kalyaev, Ilya Levin, Liubov Slasten |
High-Performance Reconfigurable Computer Systems.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bartosz Chojnacki, Tomasz Maka, Piotr Dziurzanski |
Virtual Path Implementation of Multi-stream Routing in Network on Chip.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Ostapkevich, Sergey Piskunov |
The Construction of Simulation Models of Algorithms and Structures with Fine-Grain Parallelism in WinALT.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ekaterina Tyutlyaeva, Alexander Moskovsky |
An Initial Approximation to the Resource-Optimal Checkpoint Interval.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Giancarlo Alfonsi, Stefania A. Ciliberti, Marco Mancini, Leonardo Primavera |
Performances of Navier-Stokes Solver on a Hybrid CPU/GPU Computing System.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmen Bratosin, Natalia Sidorova, Wil M. P. van der Aalst |
Distributed Genetic Process Mining Using Sampling.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Borisenko, Philipp Kegel, Sergei Gorlatch |
Optimal Design of Multi-product Batch Plants Using a Parallel Branch-and-Bound Method.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Merelli, Dario Pescini, Ettore Mosca, Paolo Cazzaniga, Carlo Maj, Giancarlo Mauri, Luciano Milanesi |
Grid Computing for Sensitivity Analysis of Stochastic Biological Models.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mikhail S. Tarkov |
On Mapping Graphs of Parallel Programs onto Graphs of Distributed Computer Systems by Recurrent Neural Networks.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgeny V. Rusin |
SSCCIP - A Framework for Building Distributed High-Performance Image Processing Technologies.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Evgeniya Karepova, Ekaterina Dementyeva |
Solution of Assimilation Observation Data Problem for Shallow Water Equations for SMP-Nodes Cluster.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander P. Stasenko |
Sisal 3.2 Language Features Overview.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Müller, Carsten Trinitis, Jasmin Smajic |
Cache Efficiency and Scalability on Multi-core Architectures.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Arkadiusz Danilecki, Mateusz Holenko, Anna Kobusinska, Michal Szychowiak, Piotr Zierhoffer |
ReServE Service: An Approach to Increase Reliability in Service Oriented Systems.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Panagiotis Adamidis, Irina Fast, Thomas Ludwig |
Performance Characteristics of Global High-Resolution Ocean (MPIOM) and Atmosphere (ECHAM6) Models on Large-Scale Multicore Cluster.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Malyshkin (eds.) |
Parallel Computing Technologies - 11th International Conference, PaCT 2011, Kazan, Russia, September 19-23, 2011. Proceedings  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiko Takahashi, Koji Goto, Hiromitsu Fuchigami, Ryo Onishi, Yuya Baba, Shinichiro Kida, Takeshi Sugimura |
High Performance Computing of MSSG with Ultra High Resolution.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Olga L. Bandman |
Using Multi Core Computers for Implementing Cellular Automata Systems.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Farid M. Ablayev, Alexander Vasiliev |
Classical and Quantum Parallelism in the Quantum Fingerprinting Method.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor E. Malyshkin, Vladislav Perepelkin |
LuNA Fragmented Programming System, Main Functions and Peculiarities of Run-Time Subsystem.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Noman Javed, Frédéric Loulergue |
A Formal Programming Model of Orléans Skeleton Library.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina V. Shoshmina, Alexey B. Belyaev |
Symbolic Algorithm for Generation Büchi Automata from LTL Formulas.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Nepomniaschaya |
Efficient Associative Algorithm for Finding the Second Simple Shortest Paths in a Digraph.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Bessonov |
OpenMP Parallelization of a CFD Code for Multicore Computers: Analysis and Comparison.  |
PaCT  |
2011 |
DBLP DOI BibTeX RDF |
|