Your Search Results

Use materials about this topic in your textbook!

AcademicPub holds over eight million pieces of educational content - such as case studies and journal articles - for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Topic: Concurrent Computing

Results

Bit steering in the minimization of control memory in microprogrammed digital computers
1981 / IEEE
By: Biswas, N.N.; Mathialagan, A.;
Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems
1986 / IEEE
By: Avrunin, G.S.; Riddle, W.E.; Wileden, J.C.; Dillon, L.K.;
Concurrency and forward recovery in atomic actions
1986 / IEEE
By: Taylor, D.J.;
Faking It
2011 / IEEE
By: Spinellis, Diomidis;
Strategic Ability Updating in Concurrent Games by Coalitional Commitment
2011 / IEEE
By: Junyuan Xie; Zhongcun Wang; Jun Wu; Chongjun Wang;
Serialdriver: improving the reliability of device drivers through serialization
2012 / IEEE
By: Chao Ma; Shi-min Hu; Peng Zhao;
A System-Level Modeling Methodology for Performance-Driven Component Selection in Multicore Architectures
2012 / IEEE
By: Khoshgoftaar, T.M.; Hamza-Lup, G.L.; Agarwal, A.;
Concurrency and Message Passing in Erlang
2012 / IEEE
By: Vinoski, S.;
Deterministic Parallel Programming with Haskell
2012 / IEEE
By: Coutts, D.; Loh, A.;
Clojure for Number Crunching on Multicore Machines
2012 / IEEE
By: Miller, D.; Kalin, M.;
Relaxed Concurrency Control in Software Transactional Memory
2012 / IEEE
By: Aydonat, U.; Abdelrahman, T.S.;
A Concurrency Buffer Control in B-Trees for Flash-Memory Storage Systems
2012 / IEEE
By: Yu-Hsun Lin; Chin-Hsien Wu;
Detecting Concurrency Bugs from the Perspectives of Synchronization Intentions
2012 / IEEE
By: Shan Lu; Yuanyuan Zhou; Soyeon Park;
Order Matters: Transmission Reordering in Wireless Networks
2012 / IEEE
By: Munagala, K.; Nelakuditi, S.; Roy Choudhury, R.; Sen, S.; Santhapuri, N.; Manweiler, J.;
Higher radix, non-restoring division: History and recent developments
1975 / IEEE
By: Atkins, Daniel E.;
Smart services for home automation. managing concurrency and failures: new wine in old bottles ?
2010 / IEEE / 978-1-4244-9143-8
By: Mecella, M.; Baldoni, R.; Querzoni, L.;
Views: object-inspired concurrency control
2010 / IEEE / 978-1-60558-719-6
By: Lam, P.; Demsky, B.;
STORM: static unit checking of concurrent programs
2010 / IEEE / 978-1-60558-719-6
By: Rakamaric, Z.;
Experiences in initiating concurrency software research efforts
2010 / IEEE / 978-1-60558-719-6
By: Harper, K.E.; Mahate, S.; Jiang Zheng;
QED: a proof system based on reduction and abstraction for the static verification of concurrent software
2010 / IEEE / 978-1-60558-719-6
By: Elmas, T.;
Detecting atomic-set serializability violations in multithreaded programs through active randomized testing
2010 / IEEE / 978-1-60558-719-6
By: Cheung, S.C.; Zhifeng Lai; Chan, W.K.;
Falcon: fault localization in concurrent programs
2010 / IEEE / 978-1-60558-719-6
By: Sangmin Park; Harrold, M.J.; Vuduc, R.W.;
Planning updates in multi-application wireless sensor networks
2011 / IEEE / 978-1-4577-0681-3
By: Shamsaie, A.; Habibi, J.;
SEDA4SC: A staged event-driven architecture for adaptive service computing runtime
2011 / IEEE / 978-1-4577-0681-3
By: Dianfu Ma; Zhuqing Li; Jian Liu; Dou Sun;
Run-Time Concurrency Tuning for Peak Power Modulation in Energy Harvesting Systems
2011 / IEEE / 978-1-61284-974-4
By: Yakovlev, A.; Mak, T.; Yu Zhou;
STG Decomposition: Partitioning Heuristics
2011 / IEEE / 978-1-61284-974-4
By: Wist, D.; Wollowski, R.; Vogler, W.;
Checking Non-divergence, Channel-Bound and Global Cooperation Using SAT-Solvers
2011 / IEEE / 978-1-61284-974-4
By: Morin, R.; Avellaneda, F.;
Building Tight Occurrence Nets from Reveals Relations
2011 / IEEE / 978-1-61284-974-4
By: Haar, S.; Chatain, T.; Balaguer, S.;
Opportunistic concurrency: A MAC protocol for wireless sensor networks
2011 / IEEE / 978-1-4577-0513-7
By: Kebin Liu; Qiang Ma; Yunhao Liu; Xin Miao;
An environment for evaluation and testing of service workflow schedulers in clouds
2011 / IEEE / 978-1-61284-383-4
By: Bittencourt, L.F.; Senna, C.R.; Madeira, E.R.M.;
Optimistic Concurrency Control for multihop sensor networks
2011 / IEEE / 978-1-4244-9538-2
By: Soysal, O.; Demirbas, M.; Aydin, B.I.;
Increasing Cloud power efficiency through consolidation techniques
2011 / IEEE / 978-1-4577-0681-3
By: Fanelli, M.; Corradi, A.; Foschini, L.;
Oracle transaction processing method in MES
2011 / IEEE / 978-1-4244-9439-2
By: Deyu Zhao;
A GALS Language for Dynamic Distributed and Reactive Programs
2011 / IEEE / 978-1-61284-974-4
By: Malik, A.; Salcic, Z.; Girault, A.;
Detecting communities in time-evolving proximity networks
2011 / IEEE / 978-1-4577-1051-3
By: Yang Yang; Pandit, S.; Chawla, N.V.; Sreenivasan, S.; Kawadia, V.;
Robust partitioning for hardware-accelerated functional verification
2011 / IEEE / 978-1-4503-0636-2
By: Moffitt, M.D.; Villarrubia, P.G.; Sustik, M.A.;
Deriving Data Dependence from/for UML State Machine Diagrams
2011 / IEEE / 978-1-4577-0780-3
By: Wong, W.E.; Debroy, V.; Doo-Hwan Bae; Hyeon-Jeong Kim;
Variable Granularity Access Tracking Scheme for Improving the Performance of Software Transactional Memory
2011 / IEEE / 978-1-61284-372-8
By: Mannarswamy, S.S.; Govindarajan, R.;
On the Optimal Petri Net Representation for Service Composition
2011 / IEEE / 978-1-4577-0842-8
By: Yin Wang; Swaminathan, R.; Nazeem, A.;
Snap-Stabilizing Committee Coordination
2011 / IEEE / 978-1-61284-372-8
By: Bonakdarpour, B.; Petit, F.; Devismes, S.;
Time-Ordered Event Traces: A New Debugging Primitive for Concurrency Bugs
2011 / IEEE / 978-1-61284-372-8
By: Huiyang Zhou; Dimitrov, M.;
LACIO: A New Collective I/O Strategy for Parallel I/O Systems
2011 / IEEE / 978-1-61284-372-8
By: Xian-He Sun; Yong Chen; Gropp, W.D.; Roth, P.C.; Thakur, R.;
Design and implementation of BPEL engine supporting converged service
2011 / IEEE / 978-1-61284-486-2
By: Miao Xiaoxuan; Zou Hua;
The Essence of Synchronisation in Asynchronous Data Flow
2011 / IEEE / 978-1-61284-425-1
By: Grelck, C.;
Towards testing future Web applications
2011 / IEEE / 978-1-4244-8671-7
By: Giachetti, G.; Vos, T.; Marin, B.; Tonella, P.; Baars, A.;
Towards an Effective Unified Programming Model for Many-Cores
2011 / IEEE / 978-1-61284-425-1
By: van Nieuwpoort, R.; Hijma, P.; Varbanescu, A.L.; Bal, H.;
Towards Denotational Semantics for Verilog in PVS
2011 / IEEE / 978-1-4577-0781-0
By: Jian Guo; Si Liu; Huibiao Zhu; Han Zhu;
Towards a Storage Backend Optimized for Atomic MPI-I/O for Parallel Scientific Applications
2011 / IEEE / 978-1-61284-425-1
By: Viet-Trung Tran;
Toward Parallel Document Clustering
2011 / IEEE / 978-1-61284-425-1
By: Mogill, J.A.; Haglin, D.J.;
Improving Multi-million Virtual Rank MPI Execution in [MUPI]
2011 / IEEE / 978-1-4577-0468-0
By: Park, A.J.; Perumalla, K.S.;
A research on optimization algorithm for BPEL process based on synchronization and concurrency analysis
2011 / IEEE / 978-1-61284-088-8
By: Qiwei Wang; Junliang Chen; Budan Wu;
A Micro Threading Based Concurrency Model for Parallel Computing
2011 / IEEE / 978-1-61284-425-1
By: Qiang Yang; Jian Fu; Jesshope, C.R.;
A Hybrid system with what-where-memory for multi-object recognition
2011 / IEEE / 978-1-4244-9637-2
By: Yan Meng; Yuhua Zheng;
Maximality semantics based stochastic process algebra for performance evaluation
2011 / IEEE / 978-1-4244-9796-6
By: Arous, M.; Ilie, J.; Saidouni, D.;
Non-cooperative Game Based QoS-Aware Web Services Composition Approach for Concurrent Tasks
2011 / IEEE / 978-1-4577-0842-8
By: Qing Zhu; Haifeng Li; Yiqiang Ouyang;
A Granular Concurrency Control for Collaborative Scientific Workflow Composition
2011 / IEEE / 978-1-4577-0863-3
By: Jia Zhang; Shiyong Lu; Xubo Fei;
Research of barber model in process concurrency control
2011 / IEEE / 978-1-61284-722-1
By: Bao-zhe Zhang; Jun Tie;
aComment: mining annotations from comments and code to detect interrupt related concurrency bugs
2011 / IEEE / 978-1-4503-0445-0
By: Yuanyuan Zhou; Lin Tan; Padioleau, Y.;
Coverage guided systematic concurrency testing
2011 / IEEE / 978-1-4503-0445-0
By: Gupta, A.; Said, M.; Chao Wang;
Improving Branch Prediction Related WCET Abstract Interpretation
2011 / IEEE / 978-1-4577-1118-3
By: Louise, S.;
Mental models and parallel program maintenance
2011 / IEEE / 978-1-4503-0445-0
By: Sadowski, C.;
Active Components: A Software Paradigm for Distributed Systems
2011 / IEEE / 978-1-4577-1373-6
By: Braubach, L.; Pokahr, A.;
Byzantine Fault-Tolerant Transaction Processing for Replicated Databases
2011 / IEEE / 978-1-4577-1052-0
By: Lau Cheuk Lung; Luiz, A.F.; Correia, M.;
Compiling Esterel for Multi-core Execution
2011 / IEEE / 978-1-4577-1048-3
By: Li Hsien Yoong; Yuan, S.; Roop, P.S.;
Synthesizing Concurrent Synchronous Computing Machines from Interrupt-Driven Binaries
2011 / IEEE / 978-1-4577-1048-3
By: Wilder, M.D.; Rinker, R.E.;
Automatic Task Re-organization in MapReduce
2011 / IEEE / 978-1-4577-1355-2
By: Fox, G.; Pierce, M.; Zhenhua Guo; Mo Zhou;
EDO: Improving Read Performance for Scientific Applications through Elastic Data Organization
2011 / IEEE / 978-1-4577-1355-2
By: Qing Liu; Podhorszki, N.; Grout, R.; Lofstead, J.; Yandong Wang; Klasky, S.; Yuan Tian; Abbasi, H.; Weikuan Yu;
File-Aware P2P Traffic Classification and Management
2011 / IEEE / 978-1-4577-1454-2
By: Zhou Zhou; Tian Song;
Automated distributed implementation of component-based models with priorities
2011 / IEEE / 978-1-4503-0714-7
By: Bozga, M.; Bonakdarpour, B.; Quilbeuf, J.;
A Middleware for Concurrent Programming in MPI Applications
2011 / IEEE / 978-1-4577-1337-8
By: Berka, T.; Vajtersic, M.; Hagenauer, H.;
EAPAC: An Enhanced Application Placement Framework for Data Centers
2011 / IEEE / 978-1-4577-0974-6
By: Chonggang Wang; Hai Jin; Ligang He; Hongbo Jiang; Xuanhua Shi; Fei Wang; Bo Yu;
View-Oriented Transactional Memory
2011 / IEEE / 978-1-4577-1337-8
By: Huang, Z.; Leung, K.;
Design Issues in Concurrent Object-Oriented Languages and Observability
2011 / IEEE / 978-1-4577-1848-9
By: Steffen, M.; Thi Mai Thuong Tran;
Performance Evaluation of Overload Control in Multi-cluster Grids
2011 / IEEE / 978-0-7695-4572-1
By: Yigitbasi, N.; Epema, D.; Iosup, A.; Sonmez, O.;
Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model
2011 / IEEE / 978-1-4577-1027-8
By: Zamorano, J.; Asensio, E.; Gutierrez, J.J.; Perez, H.; de la Puente, J.A.;
Improving the Task Stealing in Intel Threading Building Blocks
2011 / IEEE / 978-1-4577-1827-4
By: Shiyi Lu; Qing Li;
Memory safety and race freedom in concurrent programming languages with linear capabilities
2011 / IEEE / 978-83-60810-39-2
By: Papaspyrou, N.; Papakyriakou, M.; Vazou, N.;
Optimizing the mapping from a symbolic to an audio representation for music-to-score alignment
2011 / IEEE / 978-1-4577-0693-6
By: Essid, S.; Joder, C.; Richard, G.;
Solutions of Permissions Management for Website Group System Based on Graduation Authorization
2011 / IEEE / 978-1-4577-0141-2
By: Zhang, Xinyu; Liang, Silv;
Concurrency control techniques for a multimedia database system
2011 / IEEE / 978-83-60810-39-2
By: Spahiu, C.S.;
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software
2011 / IEEE / 978-1-4577-2203-5
By: Briand, L.C.; Araujo, W.; Labiche, Y.;
A Planning Engine Based on SHOP2 for AFLOW
2011 / IEEE / 978-1-4577-1323-1
By: Xinhuai Tang; Xiangfeng Luo; Zhaoteng Song;
Design of an Empirical Study for Comparing the Usability of Concurrent Programming Languages
2011 / IEEE / 978-1-4577-2203-5
By: Meyer, B.; Pedroni, M.; Torshizi, F.; Nanz, S.;
Dax Toolkit: A proposed framework for data analysis and visualization at Extreme Scale
2011 / IEEE / 978-1-4673-0155-8
By: Kwan-Liu Ma; Geveci, B.; Ayachit, U.; Moreland, K.;
A Dominance-Based Approach for Selection in Service Composition
2011 / IEEE / 978-1-4577-1404-7
By: Shiting Wen; An Liu; Yan Xiong; Qing Li; Chaogang Tang;
Exploring high throughput computing paradigm for global routing
2011 / IEEE / 978-1-4577-1400-9
By: Yiding Han; Roy, S.; Chakraborty, K.; Ancajas, D.M.;
Enabling Business Rules for Concurrent Transactions
2011 / IEEE / 978-1-4577-1448-1
By: de Juan-Marin, R.; Decker, H.;
Research on Business Integration Method of Equipment Support Training Simulation Systems
2011 / IEEE / 978-1-4577-1795-6
By: Lian Yunfeng; Ma Yi; Chen Liyun; Lu Yu;
Scalable and precise symbolic analysis for atomicity violations
2011 / IEEE / 978-1-4577-1639-3
By: Ganai, M.K.;
Formalizing hardware/software interface specifications
2011 / IEEE / 978-1-4577-1639-3
By: McGarvey, C.; Levin, V.; Ball, T.; Fei Xie; Juncao Li;
BEST: A symbolic testing tool for predicting multi-threaded program failures
2011 / IEEE / 978-1-4577-1639-3
By: Arora, N.; Ganai, M.K.; Balakrishnan, G.; Gupta, A.; Chao Wang;
Guided test visualization: Making sense of errors in concurrent programs
2011 / IEEE / 978-1-4577-1639-3
By: Rungta, N.; Mercer, E.G.; Wesonga, S.;
Adapting Active Objects to Multicore Architectures
2011 / IEEE / 978-1-4577-1536-5
By: Istvan, Z.; Huet, F.; Henrio, L.; Sebestyen, G.;
A Complete State-Space Based Temporal Planner
2011 / IEEE / 978-1-4577-2068-0
By: Ghassem-Sani, G.; Rankooh, M.F.;
A Framework for Systematic Testing of Multi-threaded Applications
2011 / IEEE / 978-1-4577-2005-5
By: Florian, M.;
Virtual Resource Management Based on Software Transactional Memory
2011 / IEEE / 978-1-4577-1667-6
By: Puliafito, A.; Fazio, M.;
Bounded Model Checking of Concurrent Systems with Unbounded Integer Variables
2011 / IEEE / 978-1-4577-1796-3
By: Inoue, H.; Kikuno, T.; Tsuchiya, T.;
An Executional Framework for BPMN Using Orc
2011 / IEEE / 978-1-4673-0206-7
By: Shyamasundar, R.K.; Goel, N.;
Supervisory control of concurrent discrete-event systems
2011 / IEEE / 978-1-61284-801-3
By: Rong Su;
GALS-JOP: A Java Embedded Processor for GALS Reactive Programs
2011 / IEEE / 978-1-4673-0006-3
By: Nadeem, M.; Salcic, Z.; Biglari-Abhari, M.;

Next Page
Return To Top