Search results for "Fork"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
113	Florian Mendel, Joseph Lano, Bart Preneel	Cryptanalysis of Reduced Variants of the FORK-256 Hash Function.	CT-RSA	2007	DBLP DOI BibTeX RDF
113	Clemens Beckstein, Günther Görz, M. Tielemann	FORK: A System for Object- and Rule-Oriented Programming.	ECOOP	1987	DBLP DOI BibTeX RDF
108	Markus Arns	A tool for the analysis of hierarchical service-oriented extended open fork/join queueing networks.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	QBD-analysis, fork/join queueing networks, aggregation
96	Anurag Kumar 0001, Rajeev Shorey	Performance Analysis and Scheduling of Stochastic Fork-Join Jobs in a Multicomputer System.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	stochastic fork-join jobs, probabilistic allocation of tasks, associated random variables, diffusion limits, simulations, scheduling, scheduling, performance evaluation, performance analysis, parallel processing, lower bounds, delays, queueing theory, digital simulation, upper bounds, stochastic processes, multicomputer system, parallel processing system, queueing delays, exact analysis
84	Haiquan (Chuck) Zhao, Cathy H. Xia, Zhen Liu 0001, Donald F. Towsley	A unified modeling framework for distributed resource allocation of general fork and join processing networks.	SIGMETRICS	2010	DBLP DOI BibTeX RDF	fork and join networks, distributed algorithm, resource allocation
84	Matthias Majuntke, Dan Dobre, Marco Serafini, Neeraj Suri	Abortable Fork-Linearizable Storage.	OPODIS	2009	DBLP DOI BibTeX RDF	Fork-linearizability, abortable objects, lock-freedom, shared memory, online collaboration
84	Christian Cachin, Abhi Shelat, Alexander Shraer	Efficient fork-linearizable access to untrusted shared memory.	PODC	2007	DBLP DOI BibTeX RDF	arbitrary failures, fork-consistency, storage emulations
79	Qing Li 0021	Towards a better understanding of group forking dynamics in virtual contexts.	GROUP	2009	DBLP DOI BibTeX RDF	group fork, schism, open source, turnover, floss
77	Elizabeth Varki, Lawrence W. Dowdy	Analysis of Balanced Fork-Join Queueing Networks.	SIGMETRICS	1996	DBLP DOI BibTeX RDF
72	Mark S. Squillante, Yanyong Zhang, Anand Sivasubramaniam, Natarajan Gautam	Generalized parallel-server fork-join queues with dynamic task scheduling.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Quasi-birth-death processes, Parallel-server fork-join queues, Matrix-analytic methods, Stochastic decomposition, Stochastic networks
72	Markku-Juhani Olavi Saarinen	A Meet-in-the-Middle Collision Attack Against the New FORK-256.	INDOCRYPT	2007	DBLP DOI BibTeX RDF	FORK-256, Hash Function Cryptanalysis, Meet-in-the-middle Attack
72	Ananth Krishnamurthy, Rajan Suri, Mary K. Vernon	Analysis of a Fork/Join Synchronization Station with Inputs from Coxian Servers in a Closed Queuing Network.	Ann. Oper. Res.	2004	DBLP DOI BibTeX RDF	fork/join, assembly systems, synchronization, closed queuing networks
72	Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, Charles E. Leiserson	On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs.	SPAA	2004	DBLP DOI BibTeX RDF	SP-bags, SP-hybrid, SP-order, least common ancestor, order maintenance, series-parallel, algorithm, parallel computing, data structure, graph, tree, mutual exclusion, thread, trace, locking, multi-threading, data race, work stealing, race detection, Cilk, parse tree, amortized analysis, fork-join, on the fly, dynamic set
65	Carlos López Pombo, Marcelo F. Frias	Fork Algebras as a Sufficiently Rich Universal Institution.	AMAST	2006	DBLP DOI BibTeX RDF
65	Massimo Bergamasco, S. Perotti, Carlo Alberto Avizzano, Marcello Angerilli, Marcello Carrozzino, Emanuele Ruffaldi	Fork-lift truck simulator for training in industrial environment.	ETFA	2005	DBLP DOI BibTeX RDF
65	Klaus Havelund, Kim Guldstrand Larsen	The Fork Calculus.	ICALP	1993	DBLP DOI BibTeX RDF
62	Hung-Pin Chiu 0001, Din-Chang Tseng, Jen-Chieh Cheng	Invariant handwritten Chinese character recognition using weighted ring-data matrix.	ICDAR	1995	DBLP DOI BibTeX RDF	invariant handwritten Chinese character recognition, weighted ring-data matrix, translation-invariant normalization process, 1-fork point, multi-fork point, preclassification, weighted mean ring-data matrix, performance evaluation, character recognition, handwriting recognition, fuzzy membership function, corner point
59	Yong Wang, Limei Jiao, Ying Liu, Huaiming Song	The Influence of Independent Scheduling Delay on Multi-Query Processing Based on Fork-Join.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	Multi-Query Processing, Independent Scheduling, Fork-Join, Shared-Nothing
59	Krystian Matusiewicz, Thomas Peyrin, Olivier Billet, Scott Contini, Josef Pieprzyk	Cryptanalysis of FORK-256.	FSE	2007	DBLP DOI BibTeX RDF	FORK-256, micro-collisions, cryptanalysis, hash functions
59	Sung-Seok Ko	Cycle Times in a Serial Fork-Join Network.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	Fork-join network, Palm probability, parallel processing, communication network, supply chains, queueing
59	Deukjo Hong, Donghoon Chang, Jaechul Sung, Sangjin Lee 0002, Seokhie Hong, Jaesang Lee 0002, Dukjae Moon, Sungtaek Chee	A New Dedicated 256-Bit Hash Function: FORK-256.	FSE	2006	DBLP DOI BibTeX RDF	256-bit Hash Function, FORK-256
59	Kai-Hau Yeung, Tak-Shing Yum	State reduction in the exact analysis of fork/join queueing systems with homogeneous exponential servers.	ICPADS	1996	DBLP DOI BibTeX RDF	fork/join queueing systems, homogeneous exponential servers, standard Markov model, performance evaluation, parallel processing, queueing theory, synchronisation, state reduction, exact analysis
53	Vadim V. Lozin, Martin Milanic	A polynomial algorithm to find an independent set of maximum weight in a fork-free graph.	SODA	2006	DBLP DOI BibTeX RDF	polynomial-time algorithm, independent set
53	Simonetta Balsamo, Ivan Mura	On Queue Length Moments in Fork and Join Queuing Networks with General Service Times.	Computer Performance Evaluation	1997	DBLP DOI BibTeX RDF
53	Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer	Adding Design Strategies to Fork Algebras.	Ershov Memorial Conference	1996	DBLP DOI BibTeX RDF
53	Amruth N. Kumar	Fork diagrams for teaching selection in CS I.	SIGCSE	1996	DBLP DOI BibTeX RDF
50	Linus Nyman, Tommi Mikkonen	To Fork or Not to Fork: Fork Motivations in SourceForge Projects.	Int. J. Open Source Softw. Process.	2011	DBLP DOI BibTeX RDF
50	Linus Nyman, Tommi Mikkonen	To Fork or Not to Fork: Fork Motivations in SourceForge Projects. (PDF / PS)	OSS	2011	DBLP DOI BibTeX RDF
49	Sanjeev Setia, Mark S. Squillante, Satish K. Tripathi	Analysis of Processor Allocation in Multiprogrammed, Distributed-Memory Parallel Processing Systems.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	queueingtheory, independent jobs, multiple sequential tasks, job response time, distributed fork-joinqueueing system, processor allocation policy, bulk arrival queues, communicationoverhead, fork-join queues, modeling and analysis, scheduling, scheduling, parallel processing, parallel architectures, operating systems, shared-memory, synchronisation, shared memory systems, distributed memory systems, multiprogrammed, multiprogramming, processor allocation, distributed-memory, distributed memory, parallel processing systems, synchronization delay
48	Colin Rourke, Brian Sanderson	Geometry & Topology Publications: A Community Based Publishing Initiative.	Electronic Information and Communication in Mathematics	2002	DBLP DOI BibTeX RDF
47	Renata P. de Freitas, Sheila R. M. Veloso, Paulo A. S. Veloso, Jorge Petrucio Viana	Positive Fork Graph Calculus.	LFCS	2009	DBLP DOI BibTeX RDF	Positive relational calculi, fork algebras, graph calculus, completeness, decidability
47	Cathy H. Xia, Zhen Liu 0001, Donald F. Towsley, Marc Lelarge	Scalability of fork/join queueing networks with blocking.	SIGMETRICS	2007	DBLP DOI BibTeX RDF	fork and join, scalability, throughput, queueing networks, blocking, asymptotic analysis
47	Ray Jinzhu Chen	A Hybrid Solution of Fork/Join Synchronization in Parallel Queues.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	Fork/join queuing system, modeling and analysis, dynamic-bubblesort analysis, synchronization, upper bounds, parallel queues
47	Yves Dallery, Zhen Liu 0001, Donald F. Towsley	Equivalence, Reversibility, Symmetry and Concavity Properties in Fork-Join Queueing Networks with Blocking.	J. ACM	1994	DBLP DOI BibTeX RDF	Fork-Join queuing networks, blocking before service, throughput, symmetry, duality, queuing theory, equivalence, marked graphs, concavity
43	Lukasz Ziarek, Suresh Jagannathan, Matthew Fluet, Umut A. Acar	Speculative N-Way barriers.	DAMP	2009	DBLP DOI BibTeX RDF	fork/join execution, n-way barriers, speculation, multi-threaded programs
43	Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum	Reasoning about static and dynamic properties in alloy: A purely relational approach.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	fork algebras, relational specifications, Alloy
43	Elizabeth Varki	Response Time Analysis of Parallel Computer and Storage Systems.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	fork-join networks, parallel computer and storage systems, Performance evaluation, mean-value analysis
43	Kees van Berkel 0001, Ferry Huberts, Ad M. G. Peeters	Stretching quasi delay insensitivity by means of extended isochronic forks.	ASYNC	1995	DBLP DOI BibTeX RDF	extended isochronic forks, isochronic-fork assumption, double-rail data paths, DCC error decoder, logic design, asynchronous circuits, asynchronous circuits, arbiter, delay insensitivity, handshake circuits
43	Subir Varma	Performance Evaluation of the Time-Stamp Ordering Algorithm in a Distributed Database.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	time-stamp ordering, consistency preserving, resequencing, light traffic, distributeddatabases, distributed database, interpolation, interpolation, queueing theory, database theory, queueing model, fork-join
41	Mehrdad Najibi, Kamran Saleh, Hossein Pedram	Using standard asic back-end for qdi asynchronous circuits: dealing with isochronic fork constraint.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	quasi-delay insensitive, standard-cell layout, asynchronous circuits
41	Nattha Sretasereekul, Takashi Nanya	Eliminating isochronic-fork constraints in quasi-delay-insensitive circuits.	ASP-DAC	2001	DBLP DOI BibTeX RDF
41	Ke Liu 0009, Yea S. Huang, Ching Y. Suen	Identification of Fork Points on the Skeletons of Handwritten Chinese Characters.	IEEE Trans. Pattern Anal. Mach. Intell.	1999	DBLP DOI BibTeX RDF	handwritten Chinese character, segmentation, character recognition, skeleton, Thinning, stroke extraction
41	Gabriel Baum, Marcelo F. Frias, Armando Martin Haeberer, Pablo E. Martínez López	From Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.	MFCS	1996	DBLP DOI BibTeX RDF
41	François Baccelli, William A. Massey, Donald F. Towsley	Acyclic fork-join queuing networks.	J. ACM	1989	DBLP DOI BibTeX RDF
39	Thomas Fork, Francesco Borrelli	Euclidean and non-Euclidean Trajectory Optimization Approaches for Quadrotor Racing.	CoRR	2023	DBLP DOI BibTeX RDF
39	Thomas Fork, H. Eric Tseng, Francesco Borrelli	Vehicle Models and Optimal Control on a Nonplanar Surface.	CoRR	2022	DBLP DOI BibTeX RDF
39	Thomas Fork, H. Eric Tseng, Francesco Borrelli	Overtaking Maneuvers on a Nonplanar Racetrack.	CoRR	2022	DBLP DOI BibTeX RDF
39	Thomas Fork, H. Eric Tseng, Francesco Borrelli	Models and Predictive Control for Nonplanar Vehicle Navigation.	CoRR	2021	DBLP BibTeX RDF
39	Thomas Fork, H. Eric Tseng, Francesco Borrelli	Models and Predictive Control for Nonplanar Vehicle Navigation.	ITSC	2021	DBLP DOI BibTeX RDF
39	David K. Fork, Seungil You, Ross Koningstein	Optimal trajectory control for parallel single phase H-bridge inverters.	CDC	2015	DBLP DOI BibTeX RDF
39	Frans-Thomas Fork, Nils Karlsson, Sattar Kadhem, Bodil Ohlsson	Small bowel enteroclysis with magnetic resonance imaging and computed tomography in patients with failed and uncertain passage of a patency capsule.	BMC Medical Imaging	2012	DBLP DOI BibTeX RDF
39	Luke Burgess, Grant Bergstue, Richard Fork	Quantum Energy for Space.	Proc. IEEE	2011	DBLP DOI BibTeX RDF
39	Anke Batsch, Andrea Noetel, Christian Fork, Anita Urban, Daliborka Lazic, Tina Lucas, Julia Pietsch, Andreas Lazar, Edgar Schömig, Dirk Gründemann	Simultaneous fitting of real-time PCR data with efficiency of amplification modeled as Gaussian function of target fluorescence.	BMC Bioinform.	2008	DBLP DOI BibTeX RDF
39	Richard Fork, Rustin L. Laycock, Wesley W. Walker, Spencer T. Cole, Sean D. Moultrie, Dane J. Phillips, John C. Reinhardt	Surface High-Energy Laser.	Proc. IEEE	2005	DBLP DOI BibTeX RDF
36	Horacio Andrés Lagar-Cavilla, Joseph Andrew Whitney, Adin Matthew Scannell, Philip Patchin, Stephen M. Rumble, Eyal de Lara, Michael Brudno, Mahadev Satyanarayanan	SnowFlock: rapid virtual machine cloning for cloud computing.	EuroSys	2009	DBLP DOI BibTeX RDF	cloud computing, virtualization
36	Mingde Gong, Dingxuan Zhao, Shizhu Feng, Hailong Wei, Hironao Yamada	Force Feedback Model of Electro-hydraulic Servo Tele-Operation Robot Based on Velocity Control.	RAM	2008	DBLP DOI BibTeX RDF
36	Changhee Jung, Duk-Kyun Woo, Kanghee Kim, Sung-Soo Lim	Performance characterization of prelinking and preloadingfor embedded systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	application launching, prelinking, embedded systems, preloading
36	Michael H. Albert, Mike D. Atkinson	Sorting with a Forklift.	SWAT	2002	DBLP DOI BibTeX RDF
35	Annalisa De Bonis, Gyula O. H. Katona	Largest Families Without an r -Fork.	Order	2007	DBLP DOI BibTeX RDF	Extremal problem for families, Sperner type theorem, Extremal set theory, Fork
35	Donald F. Towsley, C. Gary Rommel, John A. Stankovic	Analysis of Fork-Join Program Response Times on Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	fork-join program response times, task scheduling processor sharing, job scheduling processor sharing, system parameter values, performance evaluation, performance, multiprocessors, multiprocessing systems
33	Pu Pang, Gang Deng, Kaihao Bai, Quan Chen 0002, Shixuan Sun, Bo Liu, Yu Xu, Hongbo Yao, Zhengheng Wang, Xiyu Wang, Zheng Liu, Zhuo Song, Yong Yang, Tao Ma, Minyi Guo	Async-fork: Mitigating Query Latency Spikes Incurred by the Fork-based Snapshot Mechanism from the OS Level.	CoRR	2023	DBLP DOI BibTeX RDF
33	Pu Pang, Gang Deng, Kaihao Bai, Quan Chen 0002, Shixuan Sun, Bo Liu, Yu Xu, Hongbo Yao, Zhengheng Wang, Xiyu Wang, Zheng Liu, Zhuo Song, Yong Yang, Tao Ma, Minyi Guo	Async-fork: Mitigating Query Latency Spikes Incurred by the Fork-based Snapshot Mechanism from the OS Level. (PDF / PS)	Proc. VLDB Endow.	2023	DBLP DOI BibTeX RDF
33	Sarah Bouraga	To Fork or Not To Fork? Bitcoin Forks' Success Analysis Using Twitter Data: Preliminary Results.	BRAINS	2022	DBLP DOI BibTeX RDF
33	Kaiyang Zhao 0002, Sishuai Gong, Pedro Fonseca 0001	On-demand-fork: a microsecond fork for memory-intensive and latency-sensitive applications.	EuroSys	2021	DBLP DOI BibTeX RDF
33	Manhee Lee, Bongsu Kim, Sangmin An, Wonho Jhe	Dynamic Responses of Electrically Driven Quartz Tuning Fork and qPlus Sensor: A Comprehensive Electromechanical Model for Quartz Tuning Fork.	Sensors	2019	DBLP DOI BibTeX RDF
33	Markus Fidler, Yuming Jiang 0001	Non-asymptotic delay bounds for (k, l) fork-join systems and multi-stage fork-join networks.	INFOCOM	2016	DBLP DOI BibTeX RDF
33	Markus Fidler, Yuming Jiang 0001	Non-Asymptotic Delay Bounds for (k, l) Fork-Join Systems and Multi-Stage Fork-Join Networks.	CoRR	2015	DBLP BibTeX RDF
33	Mattias De Wael, Stefan Marr, Tom Van Cutsem	Fork/join parallelism in the wild: documenting patterns and anti-patterns in Java programs using the fork/join framework.	PPPJ	2014	DBLP DOI BibTeX RDF
31	Emery D. Berger, Ting Yang, Tongping Liu, Gene Novark	Grace: safe multithreaded programming for C/C++.	OOPSLA	2009	DBLP DOI BibTeX RDF	deterministic concurrency, sequential semantics, concurrency, determinism, fork-join
31	Christian Cachin, Martin Geisler 0001	Integrity Protection for Revision Control.	ACNS	2009	DBLP DOI BibTeX RDF	Hash trees, memory checking, fork linearizability, storage security, applied cryptography
31	Alexander Thomasian, Gang Fu, Chunqi Han	Performance of Two-Disk Failure-Tolerant Disk Arrays.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Redundant arrays of independent disks, RAID5, RAID6, two-disk failure-tolerant arrays, EVENODD, RM2, operation in degraded mode, clustered RAID, fork-join requests, simulation, performance evaluation, queuing analysis, load imbalance, RDP
31	Vijay A. Saraswat, Vivek Sarkar, Christoph von Praun	X10: concurrent programming for modern architectures.	PPoPP	2007	DBLP DOI BibTeX RDF	concurrent programming languages, fork-join parallelism, global shared memory, high performance computing languages, partitioned global address space languages, asynchrony, X10, hierarchical parallelism
31	Jean-Louis Roch, Sébastien Varrette	Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product.	PASCO	2007	DBLP DOI BibTeX RDF	divide & conquer algorithms, fork-join macro-data flow graph, global computing, result-checking
31	Christoph W. Kessler	A practical access to the theory of parallel algorithms.	SIGCSE	2004	DBLP DOI BibTeX RDF	parallel program visualization, teaching parallel algorithms, parallel programming, fork, PRAM model
31	Alexander Thomasian, Jai Menon 0001	RAID5 Performance with Distributed Sparing.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	RAID5 disk arrays, dedicated sparing, distributed sparing, operation in degraded mode, rebuild processing, striping unit, small-write syndrome, nonvolatile storage, fast writes, disk zoning, fork-join synchronization, vacationing server model, disk response time, rebuild time, nonpreemptive and preemptive priority queuing, fault-tolerance, performance analysis, queuing theory, M/G/1 queues, disk cache, disk failures
31	Koenraad Audenaert	Clock Trees: Logical Clocks for Programs with Nested Parallelism.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	Lamport clocks, nested fork-join parallelism, event labeling, vector clocks, Logical time
31	Khalid H. Sheta, Mukesh Singhal	Scheduling support for multicasting sessions in broadband communication networks.	ICCCN	1997	DBLP DOI BibTeX RDF	scheduling support, multicasting sessions, broadband communication networks, end-to-end communication level, root node, multicasting session, fork-join job, executing task, device I/O, session control job, incoming job tasks, monitoring, throughput, maintenance, multiprocessor system, multimedia applications, processor scheduling, multicasting tree, adaptive scheduler, multicasting protocol, rescheduling, scheduling scheme, data packet
31	Keizo Saisho, Takeshi Sano, Keniti Iwata, Akira Fukuda	The Architecture of OCMP and its Evaluation.	ISPAN	1997	DBLP DOI BibTeX RDF	on chip multiprocessor, instruction level dispatch, fork-join type parallel processing, evaluation using simulation, shared cache, private cache
31	Koenraad Audenaert, Luk Levrouw	Space efficient data race detection for parallel programs with series-parallel task graphs.	PDP	1995	DBLP DOI BibTeX RDF	space efficient data race detection, series-parallel task graphs, access anomaly, program debugger, on-the-fly methods, pointer variables, series-parallel task graph, spawning types, parallel programming, parallel programs, parallelism, synchronisation, program debugging, shared resource, storage requirements, fork-join
31	Tao Yang 0009, Apostolos Gerasoulis	DSC: Scheduling Parallel Tasks on an Unbounded Number of Processors.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	trees(mathematics), DSC, low-complexityheuristic, dominant sequence clustering algorithm, completely connected processor, unbounded number, nonzero communication overhead, arbitrary directedacyclic task graphs, special classes, coarse-grain trees, fine-grain trees, general scheduling algorithms, ETF, scheduling, performance, parallel algorithms, computational complexity, parallel programming, NP-complete, directed graphs, DAGs, join, optimal schedules, MD, fork, parallel task scheduling
31	Gerard Florin, Stéphane Natkin	Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	open synchronized queueing networks, ergodicity condition, unbounded Markov stochastic Petri nets, synchronization features, Petri nets, Markov processes, queueing theory, synchronisation, queueing networks, join, fork
29	Kunal Agrawal, Charles E. Leiserson, Jim Sukha	Helper locks for fork-join parallel programming.	PPoPP	2010	DBLP DOI BibTeX RDF	dynamic multithreading, helper lock, parallel region, scheduling, work stealing, nested parallelism, cilk
29	Abigail S. Lebrecht, Nicholas J. Dingle, William J. Knottenbelt	Modelling Zoned RAID Systems Using Fork-Join Queueing Simulation.	EPEW	2009	DBLP DOI BibTeX RDF
29	Christian Haack, Clément Hurlin	Separation Logic Contracts for a Java-Like Language with Fork/Join.	AMAST	2008	DBLP DOI BibTeX RDF
29	Scott Contini, Krystian Matusiewicz, Josef Pieprzyk	Extending FORK-256 Attack to the Full Hash Function.	ICICS	2007	DBLP DOI BibTeX RDF
29	Nimrod Lilith, Jonathan Billington, Jörn Freiheit	Approximate closed-form aggregation of a fork-join structure in generalised stochastic petri nets.	VALUETOOLS	2006	DBLP DOI BibTeX RDF
29	John C. S. Lui, Richard R. Muntz, Donald F. Towsley	Computing Performance Bounds of Fork-Join Parallel Programs Under a Multiprocessing Environment.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	performance modeling methodology, analysis of multiprocessing systems, performance evaluation, High performance computing
29	Iskander Kort, Denis Trystram	Scheduling Fork Graphs under LogP with an Unbounded Number of Processors.	Euro-Par	1998	DBLP DOI BibTeX RDF
29	J. W. de Bakker, Franck van Breugel, Arie de Bruin	Comparative Semantics for Linear Arrays of Communicating Processes: A Study of the UNIX Fork and Pipe Commands.	MFCS	1993	DBLP DOI BibTeX RDF
24	Desheng Li, Ruzhi Xu, Haiyang Wang	A Semantic Web Based Peer to Peer Service Discovery Mechanism for Intelligent Business Process.	ICEBE	2007	DBLP DOI BibTeX RDF
24	Yuanhao Sun, Tianyou Li, Qi Zhang, Jia Yang, Shih-Wei Liao	Parallel XML Transformations on Multi-Core Processors.	ICEBE	2007	DBLP DOI BibTeX RDF
24	Elena Riccio Davidson, Thomas H. Cormen	Building on a Framework: Using FG for More Flexibility and Improved Performance in Parallel Programs.	IPDPS	2005	DBLP DOI BibTeX RDF
24	Chia-Chu Chiang	A Formal Specification-Based Approach to Distributed Parallel Programming.	HASE	2004	DBLP DOI BibTeX RDF
24	David Mazières, Dennis E. Shasha	Building secure file systems out of Byzantine storage.	PODC	2002	DBLP DOI BibTeX RDF
24	Kuo-Chin Fan, Wei-Hsien Wu	A Run-Length Coding Based Approach to Stroke Extraction of Chinese Characters.	ICPR	2000	DBLP DOI BibTeX RDF	junction matrix, skeletonization, run length coding, attributed graph, Stroke extraction
24	Gabriele Janzen, Theo Herrmann, Steffi Katz, Karin Schweizer	Oblique Angled Intersections and Barriers: Navigating through a Virtual Maze.	Spatial Cognition	2000	DBLP DOI BibTeX RDF
24	Radu Negulescu, Ad M. G. Peeters	Verification of Speed-Dependences in Single-Rail Handshake Circuits.	ASYNC	1998	DBLP DOI BibTeX RDF	single-rail, isochronic forks, verification, timing, asynchronous circuits, progress, speed-independent circuits, process spaces, handshake circuits
24	Ron Cytron, Jim Lipkis, Edith Schonberg	A compiler-assisted approach to SPMD execution.	SC	1990	DBLP DOI BibTeX RDF
19	João Pedro Barreto 0002, Aleksandar Dragojevic, Paulo Ferreira 0001, Rachid Guerraoui, Michal Kapalka	Leveraging parallel nesting in transactional memory.	PPoPP	2010	DBLP DOI BibTeX RDF	nested parallel programs, transactional memory, work-stealing, fork-join
19	Kunal Agrawal, Jeremy T. Fineman, Jim Sukha	Nested parallelism in transactional memory.	PPoPP	2008	DBLP DOI BibTeX RDF	nested parallel computations, series-parallel computations, transaction conflict detection, data structure, multithreading, transactional memory, work stealing, cilk, fork-join