Accelerating Software Model Checking Based on Program Backbone (Englisch)
- Neue Suche nach: Zhou, K.
- Neue Suche nach: Yong, J.
- Neue Suche nach: Wang, X.
- Neue Suche nach: Ren, L.
- Neue Suche nach: Hou, G.
- Neue Suche nach: Chang, J.
- Neue Suche nach: Zhou, K.
- Neue Suche nach: Yong, J.
- Neue Suche nach: Wang, X.
- Neue Suche nach: Ren, L.
- Neue Suche nach: Hou, G.
- Neue Suche nach: Chang, J.
- Neue Suche nach: Wu, Chenggang
- Neue Suche nach: Cohen, Albert
In:
Advanced parallel processing technologies; APPT
8299
;
347-358
;
2013
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Accelerating Software Model Checking Based on Program Backbone
-
Beteiligte:Zhou, K. ( Autor:in ) / Yong, J. ( Autor:in ) / Wang, X. ( Autor:in ) / Ren, L. ( Autor:in ) / Hou, G. ( Autor:in ) / Chang, J. ( Autor:in ) / Wu, Chenggang / Cohen, Albert
-
Kongress:International symposium; 10th, Advanced parallel processing technologies; APPT ; 2013 ; Stockholm
-
Erschienen in:Advanced parallel processing technologies; APPT , 8299 ; 347-358LECTURE NOTES IN COMPUTER SCIENCE , 8299 ; 347-358
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2013
-
Format / Umfang:12 pages
-
Anmerkungen:Includes bibliographical references and index
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Inference and Declaration of Independence in Task-Parallel ProgramsZakkak, F.S. / Chasapis, D. / Pratikakis, P. / Bilas, A. / Nikolopoulos, D.S. et al. | 2013
- 17
-
BDDT: Block-Level Dynamic Dependence Analysis for Task-Based ParallelismTzenakis, G. / Papatriantafyllou, A. / Vandierendonck, H. / Pratikakis, P. / Nikolopoulos, D.S. et al. | 2013
- 32
-
A User-Level NUMA-Aware Scheduler for Optimizing Virtual Machine PerformanceCheng, Y. / Chen, W. / Chen, X. / Xu, B. / Zhang, S. et al. | 2013
- 47
-
Towards RTOS: A Preemptive Kernel Basing on BarrelfishYang, J. / Long, X. / Shen, X. / Wang, L. / Feng, S. / Zheng, S. et al. | 2013
- 62
-
Interrupt Modeling and Verification for Embedded Systems Based on Time Petri NetsHou, G. / Zhou, K. / Chang, J. / Li, R. / Li, M. et al. | 2013
- 77
-
Pruning False Positives of Static Data-Race Detection via Thread SpecializationChen, C. / Lu, K. / Wang, X. / Zhou, X. / Fang, L. et al. | 2013
- 91
-
G-Paradex: GPU-Based Parallel Indexing for Fast Data DeduplicationLin, B. / Liao, X. / Li, S. / Wang, Y. / Huang, H. / Wen, L. et al. | 2013
- 104
-
Research on SPH Parallel Acceleration Strategies for Multi-GPU PlatformHu, L. / Shen, X. / Long, X. et al. | 2013
- 119
-
Binarization-Based Human Detection for Compact FPGA ImplementationXie, S. / Li, Y. / Jia, Z. / Ju, L. et al. | 2013
- 132
-
HPACS: A High Privacy and Availability Cloud Storage Platform with Matrix EncryptionHe, Y. / Jiang, X. / Ye, K. / Ma, R. / Li, X. et al. | 2013
- 146
-
ECAM: An Efficient Cache Management Strategy for Address Mappings in Flash Translation LayerXie, X. / Li, Q. / Wei, D. / Song, Z. / Xiao, L. et al. | 2013
- 160
-
A Performance Study of Software Prefetching for Tracing Garbage CollectorsWu, H. / Ji, Z. / Zhu, S. / Chen, Z. et al. | 2013
- 170
-
Adaptive Implementation Selection in the SkePU Skeleton Programming LibraryDastgeer, U. / Li, L. / Kessler, C. et al. | 2013
- 184
-
Automatic Skeleton-Based Compilation through Integration with an Algorithm ClassificationNugteren, C. / Custers, P. / Corporaal, H. et al. | 2013
- 199
-
Optimizing Program Performance via Similarity, Using a Feature-Agnostic ApproachCammarota, R. / Beni, L.A. / Nicolau, A. / Veidenbaum, A.V. et al. | 2013
- 214
-
Scalable NIC Architecture to Support Offloading of Large Scale MPI BarrierWang, S. / Xu, W. / Wu, D. / Pang, Z. / Lu, P. et al. | 2013
- 227
-
Hierarchical Clustering Routing Protocol Based on Optimal Load Balancing in Wireless Sensor NetworksWang, T. / Zhang, G. / Yang, X. / Vajdi, A. et al. | 2013
- 241
-
An Efficient Parallel Mechanism for Highly-Debuggable Multicore SimulatorYe, X. / Fan, D. / Wang, D. / Song, F. / Zhang, H. / Tang, Z. et al. | 2013
- 254
-
Data Access Type Aware Replacement Policy for Cache Clustering Organization of Chip MultiprocessorsLi, C. / Wang, D. / Wang, H. / Li, G. / Xue, Y. et al. | 2013
- 269
-
Agent-Based Credibility Protection Model for Decentralized Network Computing EnvironmentXu, X. / Tu, Q. / Wang, X. et al. | 2013
- 277
-
A Vectorized K-Means Algorithm for Intel Many Integrated Core ArchitectureWu, F. / Wu, Q. / Tan, Y. / Wei, L. / Shao, L. / Gao, L. et al. | 2013
- 295
-
Towards Eliminating Memory Virtualization OverheadWang, X. / Weng, L. / Wang, Z. / Luo, Y. et al. | 2013
- 307
-
An Improved FPGAs-Based Loop Pipeline Scheduling Algorithm for Reconfigurable CompilerGuo, Z. / Wu, Y. / Zhang, G. / Sui, T. et al. | 2013
- 319
-
ACF: Networks-on-Chip Deadlock Recovery with Accurate Detection and Elastic CreditWu, N. / Qiao, Y. / Wen, M. / Zhang, C. et al. | 2013
- 334
-
An Auction and League Championship Algorithm Based Resource Allocation Mechanism for Distributed CloudSun, J. / Wang, X. / Li, K. / Wu, C. / Huang, M. et al. | 2013
- 347
-
Accelerating Software Model Checking Based on Program BackboneZhou, K. / Yong, J. / Wang, X. / Ren, L. / Hou, G. / Chang, J. et al. | 2013
- 359
-
A Cloud Computing System for Snore Signals ProcessingGuo, J. / Qian, K. / Zhu, Z. / Zhang, G. / Xu, H. et al. | 2013
- 367
-
Research on Optimum Checkpoint Interval for Hybrid Fault ToleranceZhu, L. / Gu, J. / Wang, Y. / Zhao, T. et al. | 2013
- 381
-
Programming Real-Time Image Processing for Manycores in a High-Level LanguageGebrewahid, E. / Zain-ul-Abdin / Svensson, B. / Gaspes, V. / Jego, B. / Lavigueur, B. / Robart, M. et al. | 2013
- 396
-
Self-adaptive Retransmission for Network Coding with TCPWu, C. / Zhang, H. / Yu, W. / Feng, Z. / Hu, X. et al. | 2013