Search results for "producer-consumer"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Lisa Higham, Jalal Kawash	Critical Sections and Producer/Consumer Queues in Weak Memory Systems.	ISPAN	1997	DBLP DOI BibTeX RDF	critical section problem, producer/consumer problem, non-sequential systems, TSO, distributed shared memory, PSO, memory consistency models
3	Shawn Koppenhoefer, Jean-Dominique Decotignie	Formal verification for distributed real-time control: periodic Producer/Consumer.	ICECCS	1996	DBLP DOI BibTeX RDF	distributed real-time control, periodic Producer/Consumer, adapted synchronous model, communication parameters, distributed periodic control, communication in networks, communication failures, buffer overwrites, model, verification, formal verification
3	Carlos Juiz, Ramón Puigjaner	Improved performance model of a real-time software element: the producer-consumer.	RTCSA	1995	DBLP DOI BibTeX RDF	real-time software element, producer-consumer, decomposition-aggregation approximate model, real-time components, performance evaluation, software engineering, real-time systems, real-time systems, real-time system, debugging, performance model, performance models, queueing theory, program debugging, running times, queueing network modelling, FIFO queue
2	Yang Zhang, Jingjun Zhang, Dongwen Zhang	Implementing and Testing Producer-Consumer Problem Using Aspect-Oriented Programming.	IAS	2009	DBLP DOI BibTeX RDF
2	Ravishankar Rao, Sarma B. K. Vrudhula	Energy optimal speed control of a producer--consumer device pair.	ACM Trans. Embedded Comput. Syst.	2007	DBLP DOI BibTeX RDF	joint optimization, processor, Energy optimization, disk drive, speed control
2	Reina Y. Arakji, Karl Reiner Lang	Digital Consumer Networks and Producer-Consumer Collaboration: Innovation and Product Development in the Digital Entertainment Industry.	HICSS	2007	DBLP DOI BibTeX RDF
2	Liqun Cheng, John B. Carter, Donglai Dai	An Adaptive Cache Coherence Protocol Optimized for Producer-Consumer Sharing.	HPCA	2007	DBLP DOI BibTeX RDF
2	Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan	Producer/Consumer in Membrane Systems and Petri Nets.	CiE	2007	DBLP DOI BibTeX RDF
2	Chenjie Yu, Peter Petrov	Aggressive snoop reduction for synchronized producer-consumer communication in energy-efficient embedded multi-processors.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	low-power multiprocessor system, embedded systems, cache coherence
2	K. H. Kim, Juan A. Colmenares, Kee-Wook Rim	Efficient Adaptations of the Non-Blocking Buffer for Event Message Communication between Real-Time Threads.	ISORC	2007	DBLP DOI BibTeX RDF	event message communication, producer-consumer, concurrent programming, real-time computing systems, non-blocking algorithms
2	Ying Zhang, Tao Tang, Gen Li 0002, Xuejun Yang	Implementation and Optimization of Dense LU Decomposition on the Stream Processor.	PPAM	2007	DBLP DOI BibTeX RDF	producer-consumer locality, stream, scientific computing, kernels, stream processor, LU decomposition
2	Abhishek Das, William J. Dally, Peter R. Mattson	Compiling for stream processing.	PACT	2006	DBLP DOI BibTeX RDF	SRF allocation, Stream Operation Precedence (SOP) graph, StreamC, coarse-grained operations, producer-consumer locality, scoreboard slot assignment, stream scheduling, strip-mining, software-pipelining, task level parallelism, stream programming model
2	Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere	Solving Out-of-Order Communication in Kahn Process Networks.	VLSI Signal Processing	2005	DBLP DOI BibTeX RDF	producer/consumer pair, in-order, reordering memory, lower bound, rank function, Kahn Process Network, out-of-order
2	Nico Janssens, Sam Michiels, Tom Holvoet, Pierre Verbaeten	A Modular Approach Enforcing Safe Reconfiguration of Producer-Consumer Applications.	ICSM	2004	DBLP DOI BibTeX RDF
2	Christian Seitz, Bernhard Bauer	An Agent-Based Personalized Producer/Consumer Scenario.	CEEMAS	2003	DBLP DOI BibTeX RDF
2	T. K. Satish Kumar	Incremental Computation of Resource-Envelopes in Producer-Consumer Models.	CP	2003	DBLP DOI BibTeX RDF
2	Dominique Cansell, Ganesh Gopalakrishnan, Michael D. Jones, Dominique Méry, Airy Weinzoepflen	Incremental Proof of the Producer/Consumer Property for the PCI Protocol.	ZB	2002	DBLP DOI BibTeX RDF
2	Lisa Higham, Jalal Kawash	Java: Memory Consistency and Process Coordination.	DISC	1998	DBLP DOI BibTeX RDF	process coordination, critical section problem, producer/consumer problem, non-terminating systems, Java, Java Virtual Machine, memory consistency models
2	David L. Russell	Process Backup in Producer-Consumer Systems.	SOSP	1977	DBLP DOI BibTeX RDF	Asynchronous programming, Domino effect, Message facilities, State restoration, Software fault tolerance, Error recovery, Interprocess communication
1	F. Laib, M. S. Radjef	Automated traders in commodities markets: Case of producer-consumer institution.	Expert Syst. Appl.	2011	DBLP DOI BibTeX RDF
1	Hyunhee Kim, Jihong Kim	A leakage-aware L2 cache management technique for producer-consumer sharing in low-power chip multiprocessors.	J. Parallel Distrib. Comput.	2011	DBLP DOI BibTeX RDF
1	Xuan-Yi Lin, Kuan-Chou Lai, Shau-Yin Tseng, Kuan-Ching Li, Yeh-Ching Chung	An Efficient Programming Paradigm for Shared-Memory Master-Worker Video Decoding on TILE64 Many-Core Platform.	ICPP	2011	DBLP DOI BibTeX RDF	producer-consumer, TILE64, shared memory, programming paradigm, many-core, master-worker
1	David Dice, Oleksandr Otenko	Brief announcement: multilane - a concurrent blocking multiset.	SPAA	2011	DBLP DOI BibTeX RDF
1	Yehuda Afek, Guy Korland, Maria Natanzon, Nir Shavit	Scalable Producer-Consumer Pools Based on Elimination-Diffraction Trees.	Euro-Par	2010	DBLP DOI BibTeX RDF
1	M. Aater Suleman, Onur Mutlu, José A. Joao, Khubaib, Yale N. Patt	Data marshaling for multi-core architectures.	ISCA	2010	DBLP DOI BibTeX RDF	staged execution, pipelining, cmp, critical sections
1	Adam Silberstein, Jeff Terrace, Brian F. Cooper, Raghu Ramakrishnan	Feeding frenzy: selectively materializing users' event feeds.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	social networks, view maintenance
1	Chenjie Yu, Peter Petrov	Low-Power Snoop Architecture for Synchronized Producer-Consumer Embedded Multiprocessing.	IEEE Trans. VLSI Syst.	2009	DBLP DOI BibTeX RDF
1	Li Jin	Stability oriented task-structure based multi-agent replanning.	AAMAS	2009	DBLP DOI BibTeX RDF	adaptation, multi-agent planning
1	Chenjie Yu, Xiangrong Zhou, Peter Petrov	Low-power inter-core communication through cache partitioning in embedded multiprocessors.	SBCCI	2009	DBLP DOI BibTeX RDF	low-power cache architectures, low-power cache coherence, MPSoC, on-chip communication
1	James Dinan, D. Brian Larkins, P. Sadayappan, Sriram Krishnamoorthy, Jarek Nieplocha	Scalable work stealing.	SC	2009	DBLP DOI BibTeX RDF	ARMCI, task pools, dynamic load balancing, work stealing, PGAS, global arrays
1	Eric Paulos	The rise of the expert amateur: DIY culture and citizen science.	UIST	2009	DBLP DOI BibTeX RDF	DIY culture, citizen science
1	Michael Jason Cade, Apan Qasem	Balancing Locality and Parallelism on Shared-cache Mulit-core Systems.	HPCC	2009	DBLP DOI BibTeX RDF
1	Frank Otto, Victor Pankratius, Walter F. Tichy	High-level multicore programming with XJava.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Mythri Alle, Keshavan Varadarajan, Alexander Fell, S. K. Nandy, Ranjani Narayan	Compiling Techniques for Coarse Grained Runtime Reconfigurable Architectures.	ARC	2009	DBLP DOI BibTeX RDF
1	Irfan Ul Haq, Altaf Ahmad Huqqani, Erich Schikuta	Aggregating Hierarchical Service Level Agreements in Business Value Networks.	BPM	2009	DBLP DOI BibTeX RDF	Business Value Networks, SLA Management, Service Level Agreements, Value Chains
1	Theo Kluter, Philip Brisk, Edoardo Charbon, Paolo Ienne	MPSoC Design Using Application-Specific Architecturally Visible Communication.	HiPEAC	2009	DBLP DOI BibTeX RDF
1	Torsten Polle, Michael Uelschen	Tailoring and Optimising Software for Automotive Multicore Systems.	ISoLA	2008	DBLP DOI BibTeX RDF	Automotive Embedded Systems, Producer-Consumer Pattern, Scheduling, Multicore
1	Ian T. Foster	From the heroic to the logistical: programming model implications of new supercomputing applications.	CLADE	2008	DBLP DOI BibTeX RDF	many tasks applications, parallel programming, high-throughput computing
1	Hemayet Hossain, Sandhya Dwarkadas, Michael C. Huang	Improving support for locality and fine-grain sharing in chip multiprocessors.	PACT	2008	DBLP DOI BibTeX RDF	ARMCO, L1-to-L1 direct access, fine-grain sharing, chip multiprocessors, cache coherence
1	Jeong-In Ju, Jong Chul Lee, Kyoung Jun Lee	Ubiquitous Business Model by Seamless Integration of Photo and Location Information.	APSCC	2008	DBLP DOI BibTeX RDF
1	Shanna-Shaye Forbes, Hiren D. Patel, Edward A. Lee, Hugo A. Andrade	An Automated Mapping of Timed Functional Specification to a Precision Timed Architecture.	DS-RT	2008	DBLP DOI BibTeX RDF
1	Jürgen Greifeneder, Georg Frey	Reactivity analysis of different Networked Automation System architectures.	ETFA	2008	DBLP DOI BibTeX RDF
1	Ehtesham Zahoor, Olivier Perrin, Claude Godart	Mashup Model and Verification Using Mashup Processing Network.	CollaborateCom	2008	DBLP DOI BibTeX RDF	SOA, Service Composition, Mashups
1	Ayon Basumallik, Rudolf Eigenmann	Incorporation of OpenMP Memory Consistency into Conventional Dataflow Analysis.	IWOMP	2008	DBLP DOI BibTeX RDF
1	Reina Y. Arakji, Karl Reiner Lang	Digital Consumer Networks and Producer - Consumer Collaboration: Innovation and Product Development in the Video Game Industry.	J. of Management Information Systems	2007	DBLP BibTeX RDF
1	Reina Y. Arakji, Karl Reiner Lang	The virtual cathedral and the virtual bazaar.	DATA BASE	2007	DBLP DOI BibTeX RDF	non-market collaboration, producer-consumer collaboration, social production, theory of the firm, virtual worlds, innovation, outsourcing, user-generated content, peer production, digital entertainment
1	Swapna S. Gokhale, Paul J. Vandal, Aniruddha S. Gokhale, Dimple Kaul, Arundhati Kogekar, Jeff Gray, Yuehua Lin	Model-Driven Performance Analysis Methodology for Distributed Software Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Richard T. Saunders, Clinton L. Jeffery, Derek T. Jones	A Portable Framework for High-Speed Parallel Producer/Consumers on Real CMP, SMT and SMP Architectures.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Jonathan Martí, Jesus Malo, Toni Cortes	Increasing Parallelism for Workflows in the Grid.	Euro-Par	2007	DBLP DOI BibTeX RDF	Grid Workflow Parallelism Storage
1	Mark Thompson, Andy D. Pimentel	Towards Multi-application Workload Modeling in Sesame for System-Level Design Space Exploration.	SAMOS	2007	DBLP DOI BibTeX RDF
1	Scott Schneider, Christos D. Antonopoulos, Dimitrios S. Nikolopoulos	Scalable locality-conscious multithreaded memory allocation.	ISMM	2006	DBLP DOI BibTeX RDF	synchronization-free, shared memory, multithreading, memory management, non-blocking
1	Zhonghai Lu, Ingo Sander, Axel Jantsch	Towards Performance-Oriented Pattern-Based Refinement of Synchronous Models onto NoC Communication.	DSD	2006	DBLP DOI BibTeX RDF
1	Lisa Amini, Navendu Jain, Anshul Sehgal, Jeremy Silber, Olivier Verscheure	Adaptive Control of Extreme-scale Stream Processing Systems.	ICDCS	2006	DBLP DOI BibTeX RDF
1	Bingchen Li, Kang Chen, Zhiteng Huang, H. L. Rajic, R. H. Kuhn	Speeding up NGB with distributed file streaming framework.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Yu-Kuen Lai, Gregory T. Byrd	Stream-Based Implementation of Hash Functions for Multi-Gigabit Message Authentication Codes.	PDCAT	2006	DBLP DOI BibTeX RDF
1	Cándido Alcaide, Manuel Díaz, Luis Llopis, Antonio Márquez, Enrique Soler	A P2P-Based System to Perform Coordinated Inspections in Nuclear Power Plants.	OTM Conferences	2006	DBLP DOI BibTeX RDF	Peer-to-peer, replication, distributed applications, resource sharing, collaboration technologies, failure tolerance
1	Lisa Higham, LillAnne Jackson, Jalal Kawash	Capturing Register and Control Dependence in Memory Consistency Models with Applications to the Itanium Architecture.	DISC	2006	DBLP DOI BibTeX RDF	Multiprocessor memory consistency, register and control dependency, process coordination, Itanium
1	K. H. (Kane) Kim	A Non-Blocking Buffer Mechanism for Real-Time Event Message Communication.	Real-Time Systems	2006	DBLP DOI BibTeX RDF	NBW, NBB, real time, middleware, distributed computing, synchronization, monitor, concurrent programming, object, thread, buffer, blocking, TMO, consumer, TMOSM, producer
1	Soon-Kyeong Kim, Luke Wildman, Roger Duke	A UML Approach to the Generation of Test Sequences for Java-Based Concurrent Systems.	Australian Software Engineering Conference	2005	DBLP DOI BibTeX RDF
1	Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum	Towards Dynamically Communicating Abstract Machines in the B Method.	ICFEM	2005	DBLP DOI BibTeX RDF
1	Shah Bhatti, James Carlson, Hui Dai, Jing Deng, Jeff Rose, Anmol Sheth, Brian Shucker, Charles Gruenwald, Adam Torgerson, Richard Han	MANTIS OS: An Embedded Multithreaded Operating System for Wireless Micro Sensor Platforms.	MONET	2005	DBLP DOI BibTeX RDF	dynamic reprogramming, sensor networks, low power, multithreaded, lightweight, embedded operating system, cross-platform
1	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
1	Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere	A Hierarchical Classification Scheme to Derive Interprocess Communication in Process Networks.	ASAP	2004	DBLP DOI BibTeX RDF
1	Ralph-Johan Back, Cristina Cerschi Seceleanu	Contracts and Games in Controller Synthesis for Discrete Systems.	ECBS	2004	DBLP DOI BibTeX RDF
1	Sushil K. Prasad, Janaka Balasooriya	Web Coordination Bonds: A Simple Enhancement to Web Services Infrastructure for Effective Collaboration.	HICSS	2004	DBLP DOI BibTeX RDF
1	Jung Ho Ahn, William J. Dally, Brucek Khailany, Ujval J. Kapasi, Abhishek Das	Evaluating the Imagine Stream Architecture.	ISCA	2004	DBLP DOI BibTeX RDF
1	Mohamed Hassan, Marwan Krunz, Ibrahim Matta	Markov-based channel characterization for tractable performance analysis in wireless packet networks.	IEEE Transactions on Wireless Communications	2004	DBLP DOI BibTeX RDF
1	Parosh Aziz Abdulla, Johann Deneux, Pritha Mahata, Aletta Nylén	Forward Reachability Analysis of Timed Petri Nets.	FORMATS/FTRTFT	2004	DBLP DOI BibTeX RDF
1	Luke Wildman, Roger Duke, Paul A. Strooper	Viewpoint-Based Testing of Concurrent Components.	IFM	2004	DBLP DOI BibTeX RDF	Test Template Framework, Java, Concurrency, Viewpoints, Object-Z
1	Mehul A. Shah, Joseph M. Hellerstein, Sirish Chandrasekaran, Michael J. Franklin	Flux: An Adaptive Partitioning Operator for Continuous Query Systems.	ICDE	2003	DBLP DOI BibTeX RDF
1	Brad Long, Paul A. Strooper	A Classification of Concurrency Failures in Java Components.	IPDPS	2003	DBLP DOI BibTeX RDF
1	Roger Duke, Luke Wildman, Brad Long	Modelling Java Concurrency with Object-Z.	SEFM	2003	DBLP DOI BibTeX RDF
1	Brad Long, Daniel Hoffman, Paul A. Strooper	Tool Support for Testing Concurrent Java Components.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	concurrency, unit testing, tool support, Component testing
1	Claudia Ermel, Roswitha Bardohl, Hartmut Ehrig	Generation of Animation Views for Petri Nets in GenGED.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
1	Pradeep Varma	Wait-Free Publish/Subscribe Using Atomic Registers.	PPAM	2003	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Frank A. Stomp	Safety assurance via on-line monitoring.	Distributed Computing	2003	DBLP DOI BibTeX RDF	Distributed systems, Monitors, Safety properties
1	Greg Gagne	To java.net and beyond: teaching networking concepts using the Java networking API.	SIGCSE	2002	DBLP DOI BibTeX RDF
1	Alexandru Turjan, Bart Kienhuis, Ed F. Deprettere	A Compile Time Based Approach for Solving Out-of-Order Communication in Kahn Process Networks.	ASAP	2002	DBLP DOI BibTeX RDF
1	George S. Taylor, Simon W. Moore, Robert D. Mullins, Peter Robinson	Point to Point GALS Interconnect.	ASYNC	2002	DBLP DOI BibTeX RDF
1	Rishi Kumar, Gagan Agrawal, Guang R. Gao	Compiling Several Classes of Communication Patterns on a Multithreaded Architecture. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF
1	E. Pineschi, Maria Clicia Stelling de Castro, Claudio Luis de Amorim	Design and Evaluation of Data Access Prediction Strategies in SDSM Systems.	SBAC-PAD	2002	DBLP DOI BibTeX RDF
1	Ryan Kastner, Christina Hsieh, Miodrag Potkonjak, Majid Sarrafzadeh	On the Sensitivity of Incremental Algorithms for Combinatorial Auctions. (PDF / PS)	WECWIS	2002	DBLP DOI BibTeX RDF
1	Andreas Moshovos, Gurindar S. Sohi	Reducing Memory Latency via Read-after-Read Memory Dependence Prediction.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	memory dependence prediction, cache, dynamic optimization, load
1	Luuk Groenewegen, Erik P. de Vink	Operational Semantics for Coordination in Paradigm.	COORDINATION	2002	DBLP DOI BibTeX RDF
1	Nicolas Beldiceanu, Mats Carlsson	A New Multi-resource cumulatives Constraint with Negative Heights.	CP	2002	DBLP BibTeX RDF
1	H. Sarojadevi, S. K. Nandy, S. Balakrishnan	Enforcing Cache Coherence at Data Sharing Boundaries without Global Control: A Hardware-Software Approach (Research Note).	Euro-Par	2002	DBLP DOI BibTeX RDF
1	Nicoletta Dessì	AGILE: An Agent-Assisted Infrastructure to Support Learning Environments.	IDEAL	2002	DBLP DOI BibTeX RDF
1	Diederik van Arkel, John H. G. van Groningen, Sjaak Smetsers	Fusion in Practice.	IFL	2002	DBLP DOI BibTeX RDF
1	Bryan Horling, Brett Benyo, Victor R. Lesser	Using self-diagnosis to adapt organizational structures.	Agents	2001	DBLP DOI BibTeX RDF	organization and social structure, organization self-design
1	Kyoungseok Rha, Kiyoung Choi	Area-efficient buffer binding based on a novel two-port FIFO structure.	CODES	2001	DBLP DOI BibTeX RDF	buffer binding, buffer sharing, scheduling, SDF
1	Craig Harvey, Paul A. Strooper	Testing Java Monitors through Deterministic Execution.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
1	Shlomi Dolev, Frank A. Stomp	Safety Assurance via On-Line Monitoring. (PDF / PS)	ISADS	2001	DBLP DOI BibTeX RDF
1	Brad Long, Daniel Hoffman, Paul A. Strooper	A Concurrency Test Tool for Java Monitors.	ASE	2001	DBLP DOI BibTeX RDF
1	Sandeep Lodha, Punit Chandra, Ajay D. Kshemkalyani, Mayank Rawat	Efficient Synchronization of Asynchronous Processes.	Euro-Par	2001	DBLP DOI BibTeX RDF
1	Boris Roussev, Jie Wu	Client-Server Design Alternatives: Back to Pipes but with Threads.	ICN	2001	DBLP DOI BibTeX RDF
1	Hyunyoung Lee, Jennifer L. Welch	Randomized Shared Queues Applied to Distributed Optimization Algorithms.	ISAAC	2001	DBLP DOI BibTeX RDF
1	Emery D. Berger, Kathryn S. McKinley, Robert D. Blumofe, Paul R. Wilson	Hoard: A Scalable Memory Allocator for Multithreaded Applications.	ASPLOS	2000	DBLP DOI BibTeX RDF
1	Jalal Kawash, Lisa Higham	Memory consistency and process coordination for SPARC v8 multiprocessors (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF	SPARC
1	Parimala Thulasiraman, Kevin B. Theobald, Ashfaq A. Khokhar, Guang R. Gao	Multithreaded algorithms for the fast Fourier transform.	SPAA	2000	DBLP DOI BibTeX RDF	parallel algorithms, multithreading, fine-grained, dataflow architecture, non-preemptive
1	Randal C. Burns, Darrell D. E. Long, Robert M. Rees	Consistency and locking for distributing updates to web servers using a file system.	SIGMETRICS Performance Evaluation Review	2000	DBLP DOI BibTeX RDF