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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 32(1), pp. 1-25, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Viktor Gyuris |
A Short Proof of Representability of Fork Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 188(1-2), pp. 211-220, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics Autom. ![In: IEEE Trans. Robotics Autom. 13(4), pp. 503-518, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | István Németi |
Strong Representability of Fork Algebras, a Set Theoretic Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 5(1), pp. 3-23, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Marcelo F. Frias, Armando Martin Haeberer, Paulo A. S. Veloso |
A Finite Axiomatization for Fork Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 5(3), pp. 1-10, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Armando Martin Haeberer, Marcelo F. Frias, Gabriel Baum, Paulo A. S. Veloso |
Fork Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Relational Methods in Computer Science ![In: Relational Methods in Computer Science., pp. 54-69, 1997, Springer, 978-3-211-82971-4. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Marcelo F. Frias, Gabriel Baum, Armando Martin Haeberer |
Representability and Program Construction within Fork Algebras (Part II). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia, pp. 351-358, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
17 | Reda A. Ammar, Robert Todd |
A design methodology to develop efficient fork-join structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCC ![In: Proceedings of the Second IEEE Symposium on Computers and Communications (ISCC 1997), July 1-3, 1997, Alexandria, Egypt, pp. 601-608, 1997, IEEE Computer Society, 0-8186-7852-6. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Bob Herschberg, H. Jaap van den Herik |
Paradigms Fork: All Must Join. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Int. Comput. Games Assoc. ![In: J. Int. Comput. Games Assoc. 19(3), pp. 145-146, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Xiaoming Tan, Charles Knessl |
A Fork-Join Queueing Model: Diffusion Approximation, Integral Representations and Asymptotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Queueing Syst. Theory Appl. ![In: Queueing Syst. Theory Appl. 22(3-4), pp. 287-322, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Bhargav R. Bellur, Galen H. Sasaki |
A Buffered Statistical Data Fork. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 24(3), pp. 205-229, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 26(2), pp. 145-154, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Elizabeth Varki, Lawrence W. Dowdy |
Response Time Analysis of Two Server Fork-Join Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: MASCOTS '96, Proceedings of the Fourth International Workshop on Modeling, Analysis, and Simulation On Computer and Telecommunication Systems, February 1-3, 1996, San Jose, California, USA, pp. 291-295, 1996, IEEE Computer Society, 0-8186-7235-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Giovanni Garibotto, Stefano Masciangelo, Marco Ilic, Paolo Bassino |
ROBOLIFT: a vision guided autonomous fork-lift for pallet handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: Proceedings of IEEE/RSJ International Conference on Intelligent Robots and Systems. IROS 1996, November 4-8, 1996, Osaka, Japan, pp. 656-663, 1996, IEEE, 0-7803-3213-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: Proceedings of the 8th Annual ACM Symposium on Parallel Algorithms and Architectures, SPAA '96, Padua, Italy, June 24-26, 1996, pp. 193-195, 1996, ACM, 0-89791-809-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Viktor Gyuris |
A Short Proof of Representability of Fork Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 3(5), pp. 791-796, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Bradley A. Cahill |
Host Based Compression vs. Outboard Compression: A Strategic Fork In The Road To Data Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. CMG Conference ![In: 21st International Computer Measurement Group Conference, December 4-8, 1995, Nashville, TN, USA, Proceedings, pp. 460-470, 1995, Computer Measurement Group. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP BibTeX RDF |
|
17 | Simonetta Balsamo, Ivan Mura |
Approximate Response Time Distribution in Fork and Join Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS ![In: Proceedings of the 1995 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems, Ottawa, Canada, May 15-19, 1995, pp. 305-306, 1995, ACM, 0-89791-695-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSLS ![In: Parallel Symbolic Languages and Systems, International Workshop PSLS'95, Beaune, France, October 2-4, 1995, Proceedings, pp. 53-77, 1995, Springer, 3-540-61143-6. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
17 | Gudula Rünger, Kurt Sieber |
A Process Oriented Semantics of the PRAM-Language FORK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 20(4), pp. 253-265, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | De-Ron Liang, Rong-Hong Jan |
Reliability analysis of a simple replicated and-fork/and-join graph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 16(1), pp. 51-59, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Subir Varma, Armand M. Makowski |
Interpolation Approximations for Symmetric Fork-Join Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 20(1-3), pp. 245-265, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Havelund, Kim Guldstrand Larsen |
The Fork Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nord. J. Comput. ![In: Nord. J. Comput. 1(3), pp. 346-363, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Alexander Thomasian, Asser N. Tantawi |
Approximate solutions for M/G/1 fork/join synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 26th conference on Winter simulation, WSC 1994, Lake Buena Vista, FL, USA, December 11-14, 1994, pp. 361-368, 1994, ACM, 0-7803-2109-X. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Klaus Havelund, Kim Guldstrand Larsen |
A refinement logic for the fork calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSTV ![In: Protocol Specification, Testing and Verification XIV, Proceedings of the Fourteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Vancouver, BC, Canada, 1994, pp. 5-20, 1994, Chapman & Hall, 0-412-63640-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
17 | Bruno Baynat, Yves Dallery |
A Decomposition Approximation Method for Closed Queueing Networks with Fork/Join Subnetworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decentralized and Distributed Systems ![In: Decentralized and Distributed Systems, Proceedings of the IFIP WG10.3 International Conference on Decentralized and Distributed Systems, Palma de Mallorca, Spain, 13-17 September 1993, pp. 199-210, 1993, North-Holland, 0-444-81791-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
17 | Birgit Jutta Kaltenmorgen |
Analyse von Fork-Join-Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1993 |
RDF |
|
17 | Kees van Berkel 0001 |
Beware the isochronic fork. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 13(2), pp. 103-128, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Torben Hagerup, Arno Schmitt, Helmut Seidl |
FORK: A high-level language for PRAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 8(4), pp. 379-393, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Rene L. Cruz |
The statistical data fork: a class of broad-band multichannel switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 40(10), pp. 1625-1634, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
17 | Arno Schmitt |
Semantische Grundlagen der PRAM-Sprache FORK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1992 |
RDF |
|
17 | Y. C. Liu, Harry G. Perros |
A Decomposition Procedure for the Analysis of a Closed Fork/Join Queueing System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(3), pp. 365-370, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 79(10), pp. 1538-1550, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Torben Hagerup, Arno Schmitt, Helmut Seidl |
FORK: A High-Level Language for PRAMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (1) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume I: Parallel Architectures and Algorithms, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 304-320, 1991, Springer, 3-540-54151-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | John M. Mellor-Crummey |
On-the-fly detection of data races for programs with nested fork-join parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings Supercomputing '91, Albuquerque, NM, USA, November 18-22, 1991, pp. 24-33, 1991, ACM, 0-89791-459-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
17 | Vivek Sarkar |
Instruction Reordering for Fork-Join Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990, pp. 322-336, 1990, ACM, 0-89791-364-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
SISAL |
17 | Michael G. Burke, Ron Cytron, Jeanne Ferrante, Wilson C. Hsieh |
Automatic generation of nested, fork-join parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 3(2), pp. 71-88, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Cheeha Kim, Ashok K. Agrawala |
Analysis of the Fork-Join Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 38(2), pp. 250-255, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
17 | Mostafa H. Ammar, Stanley B. Gershwin |
Equivalence Relations in Queueing Models of Fork/Join Networks with Blocking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Perform. Evaluation ![In: Perform. Evaluation 10(3), pp. 233-245, 1989. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. ![In: Comput. Syst. 1(3), pp. 255-278, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
17 | Randolf D. Nelson, Asser N. Tantawi |
Approximate Analysis of Fork/Join Synchronization in Parallel Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(6), pp. 739-743, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej Duda, Tadeusz Czachórski |
Performance Evaluation of Fork and Join Synchronization Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 24(5), pp. 525-553, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
17 | Clemens Beckstein, Günther Görz, M. Tielemann |
FORK: A system for Object- and Rule Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Expertensysteme ![In: Expertensysteme '87: Konzepte und Werkzeuge, Tagung I/1987 des German Chapter of the ACM am 7. und 8.4.1987 in Nürnberg, pp. 52-63, 1987, Teubner, 3-519-02449-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
17 | M. A. Brun, Guy Fayolle |
The Distribution of the Transaction Processing Time in a Simple Fork-Join System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Performance and Reliability ![In: Computer Performance and Reliability, Proceedings of the Second International MCPR Workshop held in Rome, Italy, May 25-29, 1987, pp. 203-212, 1987, North-Holland, 0-444-70342-X. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
17 | M. Chadili, Irène Guessarian |
Notions of fairness for synchronous fork join nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986, pp. 325-346, 1987, North-Holland, 0-444-70253-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP BibTeX RDF |
|
17 | Clemens Beckstein, Günther Görz, M. Tielemann |
FORK: Ein System zur objeckt- und regelorientierten Programmierung. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GWAI ![In: GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, Ottstein/Niederösterreich, September 22-26, 1986, Proceedings, pp. 312-317, 1986, Springer, 3-540-16808-7. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
17 | Michael L. Morrison |
An application of simulation to the improvement of fork truck operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 5th conference on Winter simulation, WSC 1971, New York, NY, USA, December 8-10, 1971, pp. 181-186, 1971, ACM, 978-1-4503-7408-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 689-693, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2010, Indianapolis, Indiana, USA, June 6-10, 2010, pp. 711-722, 2010, ACM, 978-1-4503-0032-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPPJ ![In: Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, PPPJ 2009, Calgary, Alberta, Canada, August 27-28, 2009, pp. 101-110, 2009, ACM, 978-1-60558-598-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Java, parallelism, transactional memory, traces |
12 | Calin Ciufudean, Constantin Filote |
Safety Discrete Event Models for Holonic Cyclic Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HoloMAS ![In: Holonic and Multi-Agent Systems for Manufacturing, 4th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2009, Linz, Austria, August 31 - September 2, 2009. Proceedings, pp. 225-233, 2009, Springer, 978-3-642-03666-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 394-409, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Mike Dodds, Xinyu Feng 0001, Matthew J. Parkinson, Viktor Vafeiadis |
Deny-Guarantee Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 363-377, 2009, Springer, 978-3-642-00589-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Jason Ansel, Kapil Arya, Gene Cooperman |
DMTCP: Transparent checkpointing for cluster computations and the desktop. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009, pp. 1-12, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Marco Bertoli, Giuliano Casale, Giuseppe Serazzi |
User-friendly approach to capacity planning studies with Java modelling tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009, pp. 48, 2009, ICST/ACM, 978-963-9799-45-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 26(3), pp. 7:1-7:32, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(6), pp. 780-794, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008., pp. 230-247, 2008, Springer, 978-3-540-77441-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
High-level Implementation, Parallelism, Virtual Machines |
12 | Holger Ziekow, Lenka Ivantysynova |
A probabilistic approach for cleaning RFID data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE Workshops ![In: Proceedings of the 24th International Conference on Data Engineering Workshops, ICDE 2008, April 7-12, 2008, Cancún, Mexico, pp. 106-107, 2008, IEEE Computer Society, 978-1-4244-2161-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSCC ![In: Proceedings of the 3rd IEEE Asia-Pacific Services Computing Conference, APSCC 2008, Yilan, Taiwan, 9-12 December 2008, pp. 251-256, 2008, IEEE Computer Society, 978-0-7695-3473-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo |
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 651-666, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: INFOCOM 2008. 27th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, 13-18 April 2008, Phoenix, AZ, USA, pp. 2180-2188, 2008, IEEE, 978-1-4244-2026-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Ork de Rooij, Cees G. M. Snoek, Marcel Worring |
Balancing thread based navigation for targeted video search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVR ![In: Proceedings of the 7th ACM International Conference on Image and Video Retrieval, CIVR 2008, Niagara Falls, Canada, July 7-9, 2008, pp. 485-494, 2008, ACM, 978-1-60558-070-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (2) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 2, pp. 505-508, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Qiujuan Liang, Zhizhong Ding |
Spread Spectrum Watermark for Color Image Based on Wavelet Tree Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (3) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security, December 12-14, 2008, Wuhan, China, pp. 692-695, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOSP ![In: Proceedings of the 7th International Workshop on Software and Performance, WOSP 2008, Princeton, NJ, USA, June 23-26, 2008, pp. 67-78, 2008, ACM, 978-1-59593-873-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 333-337, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Daichi Yanagisawa, Akiyasu Tomoeda, Ayako Kimura, Katsuhiro Nishinari |
Walking-Distance Introduced Queueing Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACRI ![In: Cellular Automata, 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings, pp. 455-462, 2008, Springer, 978-3-540-79991-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
12 | Montek Singh, Steven M. Nowick |
MOUSETRAP: High-Speed Transition-Signaling Asynchronous Pipelines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(6), pp. 684-698, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | Christopher J. F. Pickett |
Software speculative multithreading for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 929-930, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java, parallelism, virtual machines, thread level speculation, speculative multithreading |
12 | Vijay A. Saraswat |
X10: Concurrent Programming for Modern Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APLAS ![In: Programming Languages and Systems, 5th Asian Symposium, APLAS 2007, Singapore, November 29-December 1, 2007, Proceedings, pp. 1, 2007, Springer, 978-3-540-76636-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
12 | János Pach, Géza Tóth 0001 |
Decomposition of multiple coverings into many parts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 23rd ACM Symposium on Computational Geometry, Gyeongju, South Korea, June 6-8, 2007, pp. 133-137, 2007, ACM, 978-1-59593-705-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Annual Simulation Symposium ![In: Proceedings 40th Annual Simulation Symposium (ANSS-40 2007), 26-28 March 2007, Norfolk, Virginia, USA, pp. 3-10, 2007, IEEE Computer Society, 978-0-7695-2814-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT Workshops ![In: 2007 International Symposium on Applications and the Internet - Workshops (SAINT 2007 Workshops), 15-19 January 2007, Hiroshima, Japan, pp. 53, 2007, IEEE Computer Society, 0-7695-2757-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Experimental Computer Science ![In: Proceedings of the Workshop on Experimental Computer Science, Part of ACM FCRC, San Diego, CA, USA, 13-14 June 2007, pp. 6, 2007, ACM, 978-1-59593-751-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOWIRE ![In: Bio-Inspired Computing and Communication, First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007, Cambridge, UK, April 2-5, 2007, Revised Selected Papers, pp. 229-240, 2007, Springer, 978-3-540-92190-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007, pp. 112-120, 2007, ACM, 978-1-59593-602-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLUSTER ![In: Proceedings of the 2007 IEEE International Conference on Cluster Computing, 17-20 September 2007, Austin, Texas, USA, pp. 497-506, 2007, IEEE Computer Society, 978-1-4244-1387-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multi-Objective Machine Learning ![In: Multi-Objective Machine Learning, pp. 585-600, 2006, Springer, 978-3-540-30676-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing. State of the Art in Scientific Computing, 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers, pp. 1-10, 2006, Springer, 978-3-540-75754-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing. State of the Art in Scientific Computing, 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers, pp. 147-156, 2006, Springer, 978-3-540-75754-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Oliver Wulf, Daniel Lecking, Bernardo Wagner |
Robust Self-Localization in Industrial Environments Based on 3D Ceiling Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Oliver Wulf, Daniel Lecking, Bernardo Wagner |
Robust Self-Localization in Industrial Environments based on 3D Ceiling Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 1530-1534, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1940-1945, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Zhe Liu 0008, Guangming Shi |
Heuristic Searching Algorithm for Design Structurally Perfect Reconstruction Low Complex Filter Banks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (2) ![In: Advances in Natural Computation, Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006. Proceedings, Part II, pp. 232-235, 2006, Springer, 3-540-45907-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Takuya Nakaike, Tatsushi Inagaki, Hideaki Komatsu, Toshio Nakatani |
Profile-based global live-range splitting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, Ottawa, Ontario, Canada, June 11-14, 2006, pp. 216-227, 2006, ACM, 1-59593-320-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
live-range splitting, graph coloring, register allocation |
12 | Uta Priss |
An FCA Interpretation of Relation Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFCA ![In: Formal Concept Analysis, 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006, Proceedings, pp. 248-263, 2006, Springer, 3-540-32203-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: Sixth IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2006), 16-19 May 2006, Singapore, pp. 20, 2006, IEEE Computer Society, 0-7695-2585-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWNAS ![In: 2006 International Workshop on Networking, Architecture and Storages (IWNAS 2006), 1-3 August 2006, Shenyang, China, pp. 36-42, 2006, IEEE Computer Society, 0-7695-2651-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2006, September 20-22, 2006, Diplomat Hotel Prague, Czech Republic, pp. 1169-1174, 2006, IEEE, 0-7803-9758-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Alfredo Buttari, Jakub Kurzak, Jack J. Dongarra |
Poster reception - Targeting multi-core architectures for linear algebra applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2006 Conference on High Performance Networking and Computing, November 11-17, 2006, Tampa, FL, USA, pp. 162, 2006, ACM Press, 0-7695-2700-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Laura Bozzelli, Salvatore La Torre, Adriano Peron |
Verification of Well-Formed Communicating Recursive State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings, pp. 412-426, 2006, Springer, 3-540-31139-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
12 | Wang Hao, Weifeng Tian |
Modeling the Random Drift of Micro-Machined Gyroscope with Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Process. Lett. ![In: Neural Process. Lett. 22(3), pp. 235-247, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 18(3-4), pp. 327-354, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 254-267, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2005: 25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings, pp. 152-168, 2005, Springer, 3-540-28114-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
12 | Elzbieta Roszkowska |
Supervisory control for deadlock avoidance in compound processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(1), pp. 52-64, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Marcelo F. Frias, Carlos López Pombo, Nazareno Aguirre |
An Equational Calculus for Alloy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings, pp. 162-175, 2004, Springer, 3-540-23841-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 12th Euromicro Workshop on Parallel, Distributed and Network-Based Processing (PDP 2004), 11-13 February 2004, A Coruna, Spain, pp. 144-151, 2004, IEEE Computer Society, 0-7695-2083-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
12 | Alex Branover, Rakefet Kol, Ran Ginosar |
Asynchronous Design By Conversion: Converting Synchronous Circuits into Asynchronous Ones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 870-877, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|