Keynote: Assertion Based Parallel Debugging (English)
- New search for: Abramson, D.
- New search for: Abramson, D.
- New search for: Xiang, Yang
In:
Algorithms and architectures for parallel processing
7016
;
1
;
2011
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Keynote: Assertion Based Parallel Debugging
-
Contributors:Abramson, D. ( author ) / Xiang, Yang
-
Conference:International conference; 11th, Algorithms and architectures for parallel processing ; 2011 ; Melbourne, Australia
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE , 7016 ; 1
-
Publisher:
- New search for: Springer
-
Place of publication:Heidelberg
-
Publication date:2011-01-01
-
Size:1 pages
-
Remarks:Includes bibliographical references and author index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Keynote: Assertion Based Parallel DebuggingAbramson, D. et al. | 2011
- 1
-
Lightweight Transactional Arrays for Read-Dominated WorkloadsAnjo, I. / Cachopo, J. et al. | 2011
- 2
-
Secure and Energy-Efficient Data Aggregation with Malicious Aggregator Identification in Wireless Sensor NetworksLi, H. / Li, K. / Qu, W. / Stojmenovic, I. et al. | 2011
- 14
-
Dynamic Data Race Detection for Correlated VariablesJannesari, A. / Westphal-Furuya, M. / Tichy, W.F. et al. | 2011
- 14
-
Massively Parallel Identification of Intersection Points for GPGPU Ray TracingNery, A.S. / Nedjah, N. / Franca, F.M.G. / Jozwiak, L. et al. | 2011
- 24
-
Cascading Multi-way Bounded Wait Timer Management for Moody and Autonomous SystemsHaque, A.U. / Khan, J.I. et al. | 2011
- 27
-
Improving the Parallel Schnorr-Euchner LLL AlgorithmBackes, W. / Wetzel, S. et al. | 2011
- 33
-
World-Wide Distributed Multiple Replications in Parallel for Quantitative Sequential SimulationHaque, M. / Pawlikowski, K. / McNickle, D. / Ewing, G. et al. | 2011
- 40
-
Distributed Mining of Constrained Frequent Sets from Uncertain DataCuzzocrea, A. / Leung, C.K. et al. | 2011
- 43
-
Comparison of Three Parallel Point-Multiplication Algorithms on Conic CurvesLi, Y. / Xiao, L. / Qin, G. / Li, X. / Lei, S. et al. | 2011
- 54
-
Set-to-Set Disjoint-Paths Routing in Recursive Dual-NetLi, Y. / Peng, S. / Chu, W. et al. | 2011
- 54
-
Extending Synchronization Constructs in OpenMP to Exploit Pipeline Parallelism on Heterogeneous Multi-coreLi, S. / Yao, S. / He, H. / Sun, L. / Chen, Y. / Peng, Y. et al. | 2011
- 64
-
Generic Parallel Genetic Algorithm Framework for Protein OptimisationFolkman, L. / Pullan, W. / Stantic, B. et al. | 2011
- 66
-
Redflag: A Framework for Analysis of Kernel-Level ConcurrencySeyster, J. / Radhakrishnan, P. / Katoch, S. / Duggal, A. / Stoller, S.D. / Zadok, E. et al. | 2011
- 74
-
A Survey on Privacy Problems and Solutions for VANET Based on Network ModelLim, H.-J. / Chung, T.-M. et al. | 2011
- 80
-
Exploiting Parallelism in the H.264 Deblocking Filter by Operation ReorderingWeng, T.-H. / Wang, Y.-T. / Chung, C.-P. et al. | 2011
- 89
-
Scheduling Tasks and Communications on a Hierarchical System with Message ContentionColin, J.-Y. / Nakechbandi, M. et al. | 2011
- 93
-
Compiler Support for Concurrency SynchronizationLin, T.-Y. / Lee, C.-Y. / Chen, C.-J. / Chang, R.-G. et al. | 2011
- 99
-
Spiking Neural P System Simulations on a High Performance GPU PlatformCabarle, F.G. / Adorna, H. / Martinez-del-Amor, M.A. / Perez-Jimenez, M.J. et al. | 2011
- 106
-
Fault-Tolerant Routing Based on Approximate Directed Routable Probabilities for HypercubesDuong, D.T. / Kaneko, K. et al. | 2011
- 109
-
SpotMPI: A Framework for Auction-Based HPC Computing Using Amazon Spot InstancesTaifi, M. / Shi, J.Y. / Khreishah, A. et al. | 2011
- 117
-
Finding a Hamiltonian Cycle in a Hierarchical Dual-Net with Base Network of p -Ary q-CubeLi, Y. / Peng, S. / Chu, W. et al. | 2011
- 121
-
Investigating the Scalability of OpenFOAM for the Solution of Transport Equations and Large Eddy SimulationsRivera, O. / Furlinger, K. / Kranzlmuller, D. et al. | 2011
- 129
-
Adaptive Resource Remapping through Live Migration of Virtual MachinesAtif, M. / Strazdins, P. et al. | 2011
- 131
-
Shibboleth and Community Authorization Services: Enabling Role-Based Grid AccessGao, F. / Tan, J. et al. | 2011
- 141
-
A Secure Internet Voting SchemeBased, M.A. / Mjolsnes, S.F. et al. | 2011
- 144
-
LUTS: A Lightweight User-Level Transaction SchedulerNicacio, D. / Baldassin, A. / Araujo, G. et al. | 2011
- 153
-
A Hybrid Graphical Password Based SystemKhan, W.Z. / Xiang, Y. / Aalsalem, M.Y. / Arshad, Q. et al. | 2011
- 158
-
Verification of Partitioning and Allocation Techniques on Teradata DBMSBellatreche, L. / Benkrid, S. / Ghazal, A. / Crolotte, A. / Cuzzocrea, A. et al. | 2011
- 165
-
Privacy Threat Analysis of Social Network DataNinggal, M.I.H. / Abawajy, J. et al. | 2011
- 170
-
Memory Performance and SPEC OpenMP Scalability on Quad-Socket X86_64 SystemsMolka, D. / Schone, R. / Hackenberg, D. / Muller, M.S. et al. | 2011
- 175
-
Distributed Mechanism for Protecting Resources in a Newly Emerged Digital Ecosystem TechnologyPranata, I. / Skinner, G. / Athauda, R. et al. | 2011
- 182
-
Anonymous Communication over Invisible Mix RingsZheng, M. / Duan, H. / Wu, J. et al. | 2011
- 186
-
Reservation-Based Charging Service for Electric VehiclesLee, J. / Park, G.-L. / Kim, H.-J. et al. | 2011
- 194
-
Game-Based Distributed Resource Allocation in Horizontal Dynamic Cloud Federation PlatformHassan, M.M. / Song, B. / Huh, E.-N. et al. | 2011
- 196
-
Intelligent Ubiquitous Sensor Network for Agricultural and Livestock FarmsLee, J. / Kim, H.-J. / Park, G.-L. / Kwak, H.-Y. / Kim, C.M. et al. | 2011
- 205
-
Queue-Based Adaptive Duty Cycle Control for Wireless Sensor NetworksByun, H. / So, J. et al. | 2011
- 206
-
Stream Management within the CloudMinerHan, Y. / Brezany, P. / Goscinski, A. et al. | 2011
- 215
-
Experimental Evaluation of a Failure Detection Service Based on a Gossip Strategyde Sousa, L.P. / Duarte, E.P. et al. | 2011
- 218
-
Security Architecture for Virtual MachinesTupakula, U. / Varadharajan, V. / Bichhawat, A. et al. | 2011
- 225
-
On the Performance of MPI-OpenMP on a 12 Nodes Multi-core ClusterAbdelgadir, A.T. / Pathan, A.-S.K. / Ahmed, M. et al. | 2011
- 230
-
Fast and Accurate Similarity Searching of Biopolymer Sequences with GPU and CUDAPawlowski, R. / Malysiak-Mrozek, B. / Kozielski, S. / Mrozek, D. et al. | 2011
- 235
-
A Protocol for Discovering Content Adaptation ServicesFudzee, M.F.M. / Abawajy, J. et al. | 2011
- 244
-
Read Invisibility, Virtual World Consistency and Probabilistic Permissiveness are CompatibleCrain, T. / Imbs, D. / Raynal, M. et al. | 2011
- 245
-
Securing RFID Systems from SQLIAFernando, H. / Abawajy, J. et al. | 2011
- 255
-
Modeling QoS Parameters of VoIP Traffic with Multifractal and Markov ModelsToral-Cruz, H. / Pathan, A.-S.K. / Ramirez-Pacheco, J.C. et al. | 2011
- 258
-
Parallel Implementations of Gusfield's Cut Tree AlgorithmCohen, J. / Rodrigues, L.A. / Silva, F. / Carmo, R. / Guedes, A.L.P. / Duarte, E.P. et al. | 2011
- 266
-
Hybrid Feature Selection for Phishing Email DetectionHamid, I.R.A. / Abawajy, J. et al. | 2011
- 270
-
Efficient Parallel Implementations of Controlled Optimization of Traffic PhasesSamra, S. / El-Mahdy, A. / Gomaa, W. / Wada, Y. / Shoukry, A. et al. | 2011
- 276
-
On the Use of Multiplanes on a 2D Mesh Network-on-ChipIzu, C. et al. | 2011
- 282
-
Scheduling Concurrent Workflows in HPC Cloud through Exploiting Schedule GapsJiang, H.-J. / Huang, K.-C. / Chang, H.-Y. / Gu, D.-S. / Shih, P.-J. et al. | 2011
- 287
-
A Minimal Average Accessing Time Scheduler for Multicore ProcessorsXu, T.C. / Liljeberg, P. / Tenhunen, H. et al. | 2011
- 294
-
Efficient Decoding of QC-LDPC Codes Using GPUsZhao, Y. / Chen, X. / Sham, C.-W. / Tam, W.M. / Lau, F.C.M. et al. | 2011
- 300
-
Fast Software Implementation of AES-CCM on MultiprocessorsYoo, J.H. et al. | 2011
- 306
-
A Combined Arithmetic Logic Unit and Memory Element for the Design of a Parallel ComputerRahman, M.Z. et al. | 2011
- 312
-
A TCM-Enabled Access Control SchemeZhang, G. / Zhu, Z. / Wang, P. / Song, B. et al. | 2011
- 318
-
Parallel Implementation of External Sort and Join Operations on a Multi-core Network-Optimized System on a ChipKhorasani, E. / Paulovicks, B.D. / Sheinin, V. / Yeo, H. et al. | 2011
- 321
-
Binary Addition Chain on EREW PRAMFathy, K.A. / Bahig, H.M. / Ragb, A.A. et al. | 2011
- 326
-
STM with Transparent API Considered HarmfulCarvalho, F.M. / Cachopo, J. et al. | 2011
- 331
-
A Portable Infrastructure Supporting Global Scheduling of Embedded Real-Time Applications on Asymmetric MPSoCsFaldella, E. / Tucci, P. et al. | 2011
- 338
-
A Global Snapshot Collection Algorithm with Concurrent Initiators with Non-FIFO ChannelGoswami, D. / Majumder, S. et al. | 2011
- 343
-
Emotional Contribution Process Implementations on Parallel ProcessorsDominguez, C. / Hassan, H. / Albaladejo, J. / Marco, M. / Crespo, A. et al. | 2011
- 349
-
An Approach for Code Compression in Run Time for Embedded Systems - A Preliminary ResultsDias, W.R.A. / Moreno, E.D. / da Silva Barreto, R. et al. | 2011
- 353
-
A Cluster Computer Performance Predictor for Memory SchedulingSerrano, M. / Sahuquillo, J. / Hassan, H. / Petit, S. / Duato, J. et al. | 2011
- 360
-
Optimized Two Party Privacy Preserving Association Rule Mining Using Fully Homomorphic EncryptionKaosar, M.G. / Paulet, R. / Yi, X. et al. | 2011
- 363
-
Reconfigurable Hardware Computing for Accelerating Protein Folding Simulations Using the Harmony Search Algorithm and the 3D-HP-Side Chain ModelBenitez, C.M.V. / Scalabrin, M. / Lopes, H.S. / Lima, C.R.E. et al. | 2011
- 371
-
SLA-Based Resource Provisioning for Heterogeneous Workloads in a Virtualized Cloud DatacenterGarg, S.K. / Gopalaiyengar, S.K. / Buyya, R. et al. | 2011
- 375
-
Clustering Nodes in Large-Scale Biological Networks Using External Memory AlgorithmsArefin, A.S. / Inostroza-Ponta, M. / Mathieson, L. / Berretta, R. / Moscato, P. et al. | 2011
- 385
-
Sigma C: A Programming Model and Language for Embedded ManycoresGoubier, T. / Sirdey, R. / Louise, S. / David, V. et al. | 2011
- 387
-
Reconfigurable Hardware to Radionuclide Identification Using Subtractive ClusteringFarias, M.S. / Nedjah, N. / de Macedo Mourelle, L. et al. | 2011
- 395
-
Provisioning Spot Market Cloud Resources to Create Cost-Effective Virtual ClustersVoorsluys, W. / Garg, S.K. / Buyya, R. et al. | 2011
- 399
-
A Parallel Architecture for DNA MatchingSegundo, E.J.G.N. / Nedjah, N. / de Macedo Mourelle, L. et al. | 2011
- 409
-
A Principled Approach to Grid Middleware: Status Report on the Minimum Intrusion GridBerthold, J. / Bardino, J. / Vinter, B. et al. | 2011
- 419
-
Performance Analysis of Preemption-Aware Scheduling in Multi-cluster Grid EnvironmentsSalehi, M.A. / Javadi, B. / Buyya, R. et al. | 2011
- 433
-
Performance Evaluation of Open Source Seismic Data Processing PackagesAziz, I.A. / Goscinski, A.M. / Hobbs, M.M. et al. | 2011
- 443
-
Reputation-Based Resource Allocation in Market-Oriented Distributed SystemsHussin, M. / Lee, Y.C. / Zomaya, A.Y. et al. | 2011
- 453
-
Cooperation-Based Trust Model and Its Application in Network Security ManagementLiu, W. / Duan, H.-x. / Ren, P. et al. | 2011
- 460
-
Performance Evaluation of the Three-Dimensional Finite-Difference Time-Domain(FDTD) Method on Fermi Architecture GPUsHou, K. / Zhao, Y. / Huang, J. / Zhang, L. et al. | 2011
- 470
-
The Probability Model of Peer-to-Peer Botnet PropagationWang, Y. / Wen, S. / Zhou, W. / Xiang, Y. et al. | 2011
- 481
-
A Parallelism Extended Approach for the Enumeration of Orthogonal ArraysPhan, H. / Soh, B. / Nguyen, M. et al. | 2011