Search results for "fork"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer	Fork Algebras in Algebra, Logic and Computer Science.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
17	Viktor Gyuris	A Short Proof of Representability of Fork Algebras.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
17	Yves Dallery, Zhen Liu 0001, Donald F. Towsley	Properties of fork/join queueing networks with blocking under various operating mechanisms.	IEEE Trans. Robotics Autom.	1997	DBLP DOI BibTeX RDF
17	István Németi	Strong Representability of Fork Algebras, a Set Theoretic Foundation.	Log. J. IGPL	1997	DBLP DOI BibTeX RDF
17	Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso	A Finite Axiomatization for Fork Algebras.	Log. J. IGPL	1997	DBLP DOI BibTeX RDF
17	Armando Martin Haeberer, Marcelo F. Frias, Gabriel Baum, Paulo A. S. Veloso	Fork Algebras.	Relational Methods in Computer Science	1997	DBLP DOI BibTeX RDF
17	Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer	Representability and Program Construction within Fork Algebras (Part II).	RelMiCS	1997	DBLP BibTeX RDF
17	Reda A. Ammar, Robert Todd	A design methodology to develop efficient fork-join structures.	ISCC	1997	DBLP DOI BibTeX RDF
17	Bob Herschberg, H. Jaap van den Herik	Paradigms Fork: All Must Join.	J. Int. Comput. Games Assoc.	1996	DBLP DOI BibTeX RDF
17	Xiaoming Tan, Charles Knessl	A Fork-Join Queueing Model: Diffusion Approximation, Integral Representations and Asymptotics.	Queueing Syst. Theory Appl.	1996	DBLP DOI BibTeX RDF
17	Bhargav R. Bellur, Galen H. Sasaki	A Buffered Statistical Data Fork.	Perform. Evaluation	1996	DBLP DOI BibTeX RDF
17	Eric Bach 0001, Rajesh K. Mansharamani, John C. Strikwerda	Estimating Completion Time Ratios of a Fork-Join Barrier Synchronization.	Perform. Evaluation	1996	DBLP DOI BibTeX RDF
17	Elizabeth Varki, Lawrence W. Dowdy	Response Time Analysis of Two Server Fork-Join Systems.	MASCOTS	1996	DBLP DOI BibTeX RDF
17	Giovanni Garibotto, Stefano Masciangelo, Marco Ilic, Paolo Bassino	ROBOLIFT: a vision guided autonomous fork-lift for pallet handling.	IROS	1996	DBLP DOI BibTeX RDF
17	Christoph W. Keßler, Jesper Larsson Träff	A Library of Basic PRAM Algorithms and its Implementation in FORK.	SPAA	1996	DBLP DOI BibTeX RDF
17	Viktor Gyuris	A Short Proof of Representability of Fork Algebras.	Log. J. IGPL	1995	DBLP DOI BibTeX RDF
17	Bradley A. Cahill	Host Based Compression vs. Outboard Compression: A Strategic Fork In The Road To Data Interoperability.	Int. CMG Conference	1995	DBLP BibTeX RDF
17	Simonetta Balsamo, Ivan Mura	Approximate Response Time Distribution in Fork and Join Systems.	SIGMETRICS	1995	DBLP DOI BibTeX RDF
17	Luc Moreau 0001, Daniel Ribbens	The Semantics of pcall and fork in the Presence of First-Class Continuations and Side-Effects.	PSLS	1995	DBLP DOI BibTeX RDF
17	Gudula Rünger, Kurt Sieber	A Process Oriented Semantics of the PRAM-Language FORK.	Comput. Lang.	1994	DBLP DOI BibTeX RDF
17	De-Ron Liang, Rong-Hong Jan	Reliability analysis of a simple replicated and-fork/and-join graph.	Oper. Res. Lett.	1994	DBLP DOI BibTeX RDF
17	Subir Varma, Armand M. Makowski	Interpolation Approximations for Symmetric Fork-Join Queues.	Perform. Evaluation	1994	DBLP DOI BibTeX RDF
17	Klaus Havelund, Kim Guldstrand Larsen	The Fork Calculus.	Nord. J. Comput.	1994	DBLP BibTeX RDF
17	Alexander Thomasian, Asser N. Tantawi	Approximate solutions for M/G/1 fork/join synchronization.	WSC	1994	DBLP DOI BibTeX RDF
17	Klaus Havelund, Kim Guldstrand Larsen	A refinement logic for the fork calculus.	PSTV	1994	DBLP BibTeX RDF
17	Bruno Baynat, Yves Dallery	A Decomposition Approximation Method for Closed Queueing Networks with Fork/Join Subnetworks.	Decentralized and Distributed Systems	1993	DBLP BibTeX RDF
17	Birgit Jutta Kaltenmorgen	Analyse von Fork-Join-Queues.		1993	RDF
17	Kees van Berkel 0001	Beware the isochronic fork.	Integr.	1992	DBLP DOI BibTeX RDF
17	Torben Hagerup, Arno Schmitt, Helmut Seidl	FORK: A high-level language for PRAMs.	Future Gener. Comput. Syst.	1992	DBLP DOI BibTeX RDF
17	Rene L. Cruz	The statistical data fork: a class of broad-band multichannel switches.	IEEE Trans. Commun.	1992	DBLP DOI BibTeX RDF
17	Arno Schmitt	Semantische Grundlagen der PRAM-Sprache FORK.		1992	RDF
17	Y. C. Liu, Harry G. Perros	A Decomposition Procedure for the Analysis of a Closed Fork/Join Queueing System.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF
17	Wolfgang-Martin Boerner, Wei-Ling Yan, An-Qing Xi, Yoshio Yamaguchi	On the basic principles of radar polarimetry: the target characteristic polarization state theory of Kennaugh, Huynen's polarization fork concept, and its extension to the partially polarized case.	Proc. IEEE	1991	DBLP DOI BibTeX RDF
17	Torben Hagerup, Arno Schmitt, Helmut Seidl	FORK: A High-Level Language for PRAMs.	PARLE (1)	1991	DBLP DOI BibTeX RDF
17	John M. Mellor-Crummey	On-the-fly detection of data races for programs with nested fork-join parallelism.	SC	1991	DBLP DOI BibTeX RDF
17	Vivek Sarkar	Instruction Reordering for Fork-Join Parallelism.	PLDI	1990	DBLP DOI BibTeX RDF	SISAL
17	Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh	Automatic generation of nested, fork-join parallelism.	J. Supercomput.	1989	DBLP DOI BibTeX RDF
17	Cheeha Kim, Ashok K. Agrawala	Analysis of the Fork-Join Queue.	IEEE Trans. Computers	1989	DBLP DOI BibTeX RDF
17	Mostafa H. Ammar, Stanley B. Gershwin	Equivalence Relations in Queueing Models of Fork/Join Networks with Blocking.	Perform. Evaluation	1989	DBLP DOI BibTeX RDF
17	Jonathan M. Smith, Gerald Q. Maguire Jr.	Effects of Copy-on-Write Memory Management on the Response Time of UNIX Fork Operations.	Comput. Syst.	1988	DBLP BibTeX RDF
17	Randolf D. Nelson, Asser N. Tantawi	Approximate Analysis of Fork/Join Synchronization in Parallel Queues.	IEEE Trans. Computers	1988	DBLP DOI BibTeX RDF
17	Andrzej Duda, Tadeusz Czachórski	Performance Evaluation of Fork and Join Synchronization Primitives.	Acta Informatica	1987	DBLP DOI BibTeX RDF
17	Clemens Beckstein, Günther Görz, M. Tielemann	FORK: A system for Object- and Rule Oriented Programming.	Expertensysteme	1987	DBLP BibTeX RDF
17	M. A. Brun, Guy Fayolle	The Distribution of the Transaction Processing Time in a Simple Fork-Join System.	Computer Performance and Reliability	1987	DBLP BibTeX RDF
17	M. Chadili, Irène Guessarian	Notions of fairness for synchronous fork join nets.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
17	Clemens Beckstein, Günther Görz, M. Tielemann	FORK: Ein System zur objeckt- und regelorientierten Programmierung.	GWAI	1986	DBLP DOI BibTeX RDF
17	Michael L. Morrison	An application of simulation to the improvement of fork truck operations.	WSC	1971	DBLP DOI BibTeX RDF
12	Malabika Sengupta, Swapan Kumar Mondal, Debashis Saha	MMSRP: multi-wavelength Markov-based split reservation protocol for DWDM optical networks.	SAC	2010	DBLP DOI BibTeX RDF	optical networks, Markov model, WDM, splitting
12	Zhuowei Bao, Susan B. Davidson, Sanjeev Khanna, Sudeepa Roy	An optimal labeling scheme for workflow provenance using skeleton labels.	SIGMOD Conference	2010	DBLP DOI BibTeX RDF	workflow, provenance, labeling, reachability
12	Borys J. Bradel, Tarek S. Abdelrahman	The use of hardware transactional memory for the trace-based parallelization of recursive Java programs.	PPPJ	2009	DBLP DOI BibTeX RDF	Java, parallelism, transactional memory, traces
12	Calin Ciufudean, Constantin Filote	Safety Discrete Event Models for Holonic Cyclic Manufacturing Systems.	HoloMAS	2009	DBLP DOI BibTeX RDF	holonic cyclic manufacturing system, minimum cyclic time, kanban system, Petri net, event graph
12	Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan	SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs.	ESOP	2009	DBLP DOI BibTeX RDF
12	Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis	Deny-Guarantee Reasoning.	ESOP	2009	DBLP DOI BibTeX RDF
12	Jason Ansel, Kapil Arya, Gene Cooperman	DMTCP: Transparent checkpointing for cluster computations and the desktop.	IPDPS	2009	DBLP DOI BibTeX RDF
12	Marco Bertoli, Giuliano Casale, Giuseppe Serazzi	User-friendly approach to capacity planning studies with Java modelling tools.	SimuTools	2009	DBLP DOI BibTeX RDF	simulation, graphical user interface, workload characterization, queueing model, mean value analysis
12	Kunal Agrawal, Charles E. Leiserson, Yuxiong He, Wen-Jing Hsu	Adaptive work-stealing with parallelism feedback.	ACM Trans. Comput. Syst.	2008	DBLP DOI BibTeX RDF	instantaneous parallelism, parallelism feedback, trim analysis, parallel computation, randomized algorithm, job scheduling, multiprogramming, processor allocation, multiprocessing, work-stealing, Adaptive scheduling, work, thread scheduling, adversary, span, space sharing, two-level scheduling
12	Giuliano Casale, Richard R. Muntz, Giuseppe Serazzi	Geometric Bounds: A Noniterative Analysis Technique for Closed Queueing Networks.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Performance, Operating Systems, Queuing theory, Modeling techniques, Computer Systems Organization, Performance of Systems, Performance of Systems, Software/Software Engineering
12	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.	PADL	2008	DBLP DOI BibTeX RDF	High-level Implementation, Parallelism, Virtual Machines
12	Holger Ziekow, Lenka Ivantysynova	A probabilistic approach for cleaning RFID data.	ICDE Workshops	2008	DBLP DOI BibTeX RDF
12	Chao-Chin Wu, Lien Fu Lai, Po-Hsun Chiu	Parallel Loop Self-Scheduling for Heterogeneous Cluster Systems with Multi-core Computers.	APSCC	2008	DBLP DOI BibTeX RDF
12	Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo	A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.	ICLP	2008	DBLP DOI BibTeX RDF	High-level Implementation, Prolog, And-Parallelism
12	Chia-Hui Tai, Jiang Zhu, Nandita Dukkipati	Making Large Scale Deployment of RCP Practical for Real Networks.	INFOCOM	2008	DBLP DOI BibTeX RDF
12	Ork de Rooij, Cees G. M. Snoek, Marcel Worring	Balancing thread based navigation for targeted video search.	CIVR	2008	DBLP DOI BibTeX RDF	conceptual similarity, thread based browsing, video retrieval, interactive search
12	Sungmin Byun, Minhwan Kim	Real-Time Positioning and Orienting of Pallets Based on Monocular Vision.	ICTAI (2)	2008	DBLP DOI BibTeX RDF
12	Qiujuan Liang, Zhizhong Ding	Spread Spectrum Watermark for Color Image Based on Wavelet Tree Structure.	CSSE (3)	2008	DBLP DOI BibTeX RDF
12	Mirco Tribastone, Stephen Gilmore	Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile.	WOSP	2008	DBLP DOI BibTeX RDF	pepa, uml, marte
12	Daniel Lecking, Oliver Wulf, Bernardo Wagner	Localization in a wide range of industrial environments using relative 3D ceiling features.	ETFA	2008	DBLP DOI BibTeX RDF
12	Daichi Yanagisawa, Akiyasu Tomoeda, Ayako Kimura, Katsuhiro Nishinari	Walking-Distance Introduced Queueing Theory.	ACRI	2008	DBLP DOI BibTeX RDF
12	Montek Singh, Steven M. Nowick	MOUSETRAP: High-Speed Transition-Signaling Asynchronous Pipelines.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
12	Christopher J. F. Pickett	Software speculative multithreading for Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, parallelism, virtual machines, thread level speculation, speculative multithreading
12	Vijay A. Saraswat	X10: Concurrent Programming for Modern Architectures.	APLAS	2007	DBLP DOI BibTeX RDF
12	János Pach, Géza Tóth 0001	Decomposition of multiple coverings into many parts.	SCG	2007	DBLP DOI BibTeX RDF	multiple coverings, sensor networks
12	Marco Bertoli, Giuliano Casale, Giuseppe Serazzi	The JMT Simulator for Performance Evaluation of Non-Product-Form Queueing Networks.	Annual Simulation Symposium	2007	DBLP DOI BibTeX RDF
12	Taira Yoda, Hidenari Kiyomitsu, Kazuhiro Ohtsuki, Jun-ya Morishita	An Extended AND Operations for Retrieving a Flexible Information Unit from Tree Structured Data.	SAINT Workshops	2007	DBLP DOI BibTeX RDF
12	Jeanna Neefe Matthews, Wenjin Hu, Madhujith Hapuarachchi, Todd Deshane, Demetrios Dimatos, Gary Hamilton, Michael McCabe, James Owens	Quantifying the performance isolation properties of virtualization systems.	Experimental Computer Science	2007	DBLP DOI BibTeX RDF	virtualization, performance isolation
12	Boleslaw K. Szymanski, Christopher Morrell, Sahin Cem Geyik, Thomas A. Babbitt	Biologically Inspired Self Selective Routing with Preferred Path Selection.	BIOWIRE	2007	DBLP DOI BibTeX RDF	route repair, ant colony paradigm, wireless sensor networks, routing, link failure
12	Kunal Agrawal, Yuxiong He, Charles E. Leiserson	Adaptive work stealing with parallelism feedback.	PPoPP	2007	DBLP DOI BibTeX RDF	multithreaded languages, parallelism feedback, trim analysis, parallel computation, job scheduling, multiprogramming, processor allocation, work stealing, adaptive scheduling, distributed scheduling, thread scheduling, adversary, space sharing, two-level scheduling
12	Anne Benoit, Yves Robert	Complexity results for throughput and latency optimization of replicated and data-parallel workflows.	CLUSTER	2007	DBLP DOI BibTeX RDF
12	José Miguel Lucas, Humberto Martínez, Fernando Jiménez	Fuzzy Tuning for the Docking Maneuver Controller of an Automated Guided Vehicle.	Multi-Objective Machine Learning	2006	DBLP DOI BibTeX RDF
12	Alfredo Buttari, Jack J. Dongarra, Jakub Kurzak, Julien Langou, Piotr Luszczek, Stanimire Tomov	The Impact of Multicore on Math Software.	PARA	2006	DBLP DOI BibTeX RDF
12	Jakub Kurzak, Jack J. Dongarra	Implementing Linear Algebra Routines on Multi-core Processors with Pipelining and a Look Ahead.	PARA	2006	DBLP DOI BibTeX RDF
12	Oliver Wulf, Daniel Lecking, Bernardo Wagner	Robust Self-Localization in Industrial Environments Based on 3D Ceiling Structures.	IROS	2006	DBLP DOI BibTeX RDF
12	Oliver Wulf, Daniel Lecking, Bernardo Wagner	Robust Self-Localization in Industrial Environments based on 3D Ceiling Structures.	IROS	2006	DBLP DOI BibTeX RDF
12	Edward J. Williams, Onur M. Ülgen, Sheldon Bailiff, Ravindra Lote	Material handling resource utilization simulation study for stamping plant.	WSC	2006	DBLP DOI BibTeX RDF
12	Zhe Liu 0008, Guangming Shi	Heuristic Searching Algorithm for Design Structurally Perfect Reconstruction Low Complex Filter Banks.	ICNC (2)	2006	DBLP DOI BibTeX RDF
12	Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu, Toshio Nakatani	Profile-based global live-range splitting.	PLDI	2006	DBLP DOI BibTeX RDF	live-range splitting, graph coloring, register allocation
12	Uta Priss	An FCA Interpretation of Relation Algebra.	ICFCA	2006	DBLP DOI BibTeX RDF
12	Gerson G. H. Cavalheiro, Epifanio Dinis Benitez, Daniela Saccol Peranconi, Eduardo Moschetta	Dynamic List Scheduling of Threads on Clusters.	CCGRID	2006	DBLP DOI BibTeX RDF
12	Ming Wu, Xiao-Ming Dong, Huaiyang Li	Queue Network Modeling Approach to Analysis of the Optimal Stripe Unit Size for Disk Arrays under Synchronous I/O Workloads.	IWNAS	2006	DBLP DOI BibTeX RDF	stripe unit size, simulation, RAID, disk arrays, queue network model
12	Daniel Lecking, Oliver Wulf, Bernardo Wagner	Variable Pallet Pick-Up for Automatic Guided Vehicles in Industrial Environments.	ETFA	2006	DBLP DOI BibTeX RDF
12	Alfredo Buttari, Jakub Kurzak, Jack J. Dongarra	Poster reception - Targeting multi-core architectures for linear algebra applications.	SC	2006	DBLP DOI BibTeX RDF
12	Laura Bozzelli, Salvatore La Torre, Adriano Peron	Verification of Well-Formed Communicating Recursive State Machines.	VMCAI	2006	DBLP DOI BibTeX RDF
12	Wang Hao, Weifeng Tian	Modeling the Random Drift of Micro-Machined Gyroscope with Neural Network.	Neural Process. Lett.	2005	DBLP DOI BibTeX RDF	grey neural network, MEMS gyro, random drift, modeling, time series
12	Martin Gasbichler, Michael Sperber	Integrating User-Level Threads with Processes in Scsh.	High. Order Symb. Comput.	2005	DBLP DOI BibTeX RDF	Unix, Scheme, threads, continuations
12	Xinyu Feng 0001, Zhong Shao	Modular verification of concurrent assembly code with dynamic thread creation and termination.	ICFP	2005	DBLP DOI BibTeX RDF	concurrency verification, dynamic thread creation, proof-carrying code, rely-guarantee
12	Marc Fischlin	Communication-Efficient Non-interactive Proofs of Knowledge with Online Extractors.	CRYPTO	2005	DBLP DOI BibTeX RDF
12	Elzbieta Roszkowska	Supervisory control for deadlock avoidance in compound processes.	IEEE Trans. Syst. Man Cybern. Part A	2004	DBLP DOI BibTeX RDF
12	Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre	An Equational Calculus for Alloy.	ICFEM	2004	DBLP DOI BibTeX RDF
12	Yang-Suk Kee, Jin-Soo Kim 0001, Woo-Chul Jeun, Soonhoi Ha	Atomic Page Update Methods for OpenMP-Aware Software DSM.	PDP	2004	DBLP DOI BibTeX RDF
12	Alex Branover, Rakefet Kol, Ran Ginosar	Asynchronous Design By Conversion: Converting Synchronous Circuits into Asynchronous Ones.	DATE	2004	DBLP DOI BibTeX RDF