|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 16 keywords
|
|
|
Results
Found 159 publication records. Showing 158 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Arvind |
Rethinking Computer Architecture Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2004, 11th International Conference, Bangalore, India, December 19-22, 2004, Proceedings, pp. 1-2, 2004, Springer, 3-540-24129-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Rishiyur S. Nikhil, Daniel L. Rosenband, Nirav Dave |
High-level synthesis: an essential ingredient for designing complex ASICs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2004 International Conference on Computer-Aided Design, ICCAD 2004, San Jose, CA, USA, November 7-11, 2004, pp. 775-782, 2004, IEEE Computer Society / ACM, 0-7803-8702-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind |
Rate Guarantees and Overload Protection in Input-Queued Switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFOCOM ![In: Proceedings IEEE INFOCOM 2004, The 23rd Annual Joint Conference of the IEEE Computer and Communications Societies, Hong Kong, China, March 7-11, 2004, pp. 2185-2195, 2004, IEEE, 0-7803-8355-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel L. Rosenband, Arvind |
Modular scheduling of guarded atomic actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 55-60, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Design, Algorithms, Verification, Languages |
1 | Arvind |
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings, pp. 249-, 2003, IEEE Computer Society, 0-7695-1923-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rishiyur S. Nikhil, Arvind |
Implicit parallel programming in pH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2001 |
RDF |
|
1 | Joseph E. Stoy, Xiaowei Shen, Arvind |
Proofs of Correctness of Cache-Coherence Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings, pp. 43-71, 2001, Springer, 3-540-41791-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Anton T. Dahbura, Alejandro Caro |
From Monsoon to StarT-Voyager: University-Industry Collaboration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 20(3), pp. 75-84, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Willem Maessen, Arvind, Xiaowei Shen |
Improving the Java memory model using CRF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000., pp. 1-12, 2000, ACM, 1-58113-200-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
commit/reconcile/fence, Java, Java, compilation, memory models |
1 | Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind |
Micro-Architectures of High Performance, Multi-User System Area Network Interface Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: Proceedings of the 14th International Parallel & Distributed Processing Symposium (IPDPS'00), Cancun, Mexico, May 1-5, 2000, pp. 13-20, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Message Passing Mechanisms, Network Interface Unit Architecture, One-poll Mechanism |
1 | James C. Hoe, Arvind |
Synthesis of Operation-Centric Hardware Descriptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000, San Jose, California, USA, November 5-9, 2000, pp. 511-518, 2000, IEEE Computer Society, 0-7803-6448-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Xiaowei Shen |
Using term rewriting systems to design and verify processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 19(3), pp. 36-46, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowei Shen, Arvind, Larry Rudolph |
CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Supercomputing ![In: Proceedings of the 13th international conference on Supercomputing, ICS 1999, Rhodes, Greece, June 20-25, 1999, pp. 135-144, 1999, ACM, 1-58113-164-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowei Shen, Arvind, Larry Rudolph |
Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 26th Annual International Symposium on Computer Architecture, ISCA 1999, Atlanta, Georgia, USA, May 2-4, 1999, pp. 150-161, 1999, IEEE Computer Society, 0-7695-0170-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | James C. Hoe, Arvind |
Hardware Synthesis from Term Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI ![In: VLSI: Systems on a Chip, IFIP TC10/WG10.5 Tenth International Conference on Very Large Scale Integration (VLSI '99), December 1-4, 1999, Lisbon, Portugal, pp. 595-619, 1999, Kluwer, 0-7923-7731-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy |
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLCL ![In: 3rd International Workshop on High-Level Concurrent Languages, HLCL 1998, Satellite Workshop of CONCUR 1998, Nice, France, September 12, 1998, pp. 265-290, 1998, Elsevier. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Shaw, Arvind, Kyoo-Chan Cho, Christopher Hill, R. Paul Johnson, John Marshall |
A Comparison of Implicitly Parallel Multithreaded and Data-Parallel Implementations of an Ocean Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 48(1), pp. 1-51, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind |
The StarT-Voyager Parallel System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the 1998 International Conference on Parallel Architectures and Compilation Techniques, Paris, France, October 12-18, 1998, pp. 185-, 1998, IEEE Computer Society, 0-8186-8591-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind |
Message passing support on StarT-Voyager. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: 5th International Conference On High Performance Computing, HiPC 1998, Madras, India, 20-20 December, 1998, pp. 228-237, 1998, IEEE Computer Society, 0-8186-9194-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Boon Seong Ang, Derek Chiou, Daniel L. Rosenband, Mike Ehrlich, Larry Rudolph, Arvind |
StarT-Voyager: A Flexible Platform for Exploring Scalable SMP Issues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE Conference on Supercomputing, SC 1998, November 7-13, 1998, Orlando, FL, USA, pp. 26, 1998, IEEE Computer Society, 0-8186-8707-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Shaw, Arvind, R. Paul Johnson |
Performance tuning scientific codes for dataflow execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE PACT ![In: Proceedings of the Fifth International Conference on Parallel Architectures and Compilation Techniques, PACT'96, Boston, MA, USA, October 20-23, 1996, pp. 198-207, 1996, IEEE Computer Society, 0-8186-7632-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya |
A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 9th International Workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996, Proceedings, pp. 519-533, 1996, Springer, 3-540-63091-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy |
A Lambda Calculus with Letrecs and Barriers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings, pp. 19-36, 1996, Springer, 3-540-62034-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
Properties of a First-Order Functional Language with Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 146(1&2), pp. 69-108, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Shail Aditya, Arvind, Joseph E. Stoy |
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the seventh international conference on Functional programming languages and computer architecture, FPCA 1995, La Jolla, California, USA, June 25-28, 1995, pp. 204-215, 1995, ACM, 0-89791-719-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Derek Chiou, Boon Seong Ang, Robert Greiner, Arvind, James C. Hoe, Michael J. Beckerle, James E. Hicks, G. Andrew Boughton |
START-NG: Delivering Seamless Parallel Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '95 Parallel Processing, First International Euro-Par Conference, Stockholm, Sweden, August 29-31, 1995, Proceedings, pp. 101-116, 1995, Springer, 3-540-60247-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Arvind |
Prospects of ubiquitous parallel computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: Proceedings of the 8th International Symposium on Parallel Processing, Cancún, Mexico, April 1994, pp. 2-3, 1994, IEEE Computer Society, 0-8186-5602-6. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | James E. Hicks, Derek Chiou, Boon Seong Ang, Arvind |
Performance Studies of Id on the Monsoon Dataflow System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 18(3), pp. 273-300, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Stephen Brobst |
The Evolution of Dataflow Architectures: from Static Dataflow to P-RISC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. High Speed Comput. ![In: Int. J. High Speed Comput. 5(2), pp. 125-153, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind |
*T: A Multithreaded Massively Parallel Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 19th Annual International Symposium on Computer Architecture. Gold Coast, Australia, May 1992, pp. 156-167, 1992, ACM, 0-89791-509-7. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Barth, Rishiyur S. Nikhil, Arvind |
M-Structures: Extending a Parallel, Non-strict, Functional Language with State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Functional Programming Languages and Computer Architecture, 5th ACM Conference, Cambridge, MA, USA, August 26-30, 1991, Proceedings, pp. 538-568, 1991, Springer, 3-540-54396-1. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
A Syntactic Approach to Program Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'91, Yale University, New Haven, Connecticut, USA, June 17-19, 1991, pp. 116-129, 1991, ACM, 0-89791-433-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
Compilation of Id. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, Fourth International Workshop, Santa Clara, California, USA, August 7-9, 1991, Proceedings, pp. 99-121, 1991, Springer, 3-540-55422-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Rishiyur S. Nikhil |
Executing a Program on the MIT Tagged-Token Dataflow Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 39(3), pp. 300-318, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Rishiyur S. Nikhil, Keshav Pingali |
I-Structures: Data Structures for Parallel Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 11(4), pp. 598-632, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
P-TAC: A Parallel Intermediate Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![In: Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA 1989, London, UK, September 11-13, 1989, pp. 230-242, 1989, ACM, 0-201-51389-7. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Kattamuri Ekanadham |
Future Scientific Programming on Parallel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 5(5), pp. 460-493, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | David E. Culler, Arvind |
Resource Requirements of Dataflow Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 15th Annual International Symposium on Computer Architecture, Honolulu, Hawaii, USA, May-June 1988, pp. 141-150, 1988, IEEE Computer Society, 0-8186-0861-7. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Kattamuri Ekanadham |
Future Scientific Programming on Parallel Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICS ![In: Supercomputing, 1st International Conference, Athens, Greece, June 8-12, 1987, Proceedings, pp. 639-686, 1987, Springer, 3-540-18991-2. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Rishiyur S. Nikhil |
Executing a Program on the MIT Tagged-Token Dataflow Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE, Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 15-19, 1987, Proceedings, pp. 1-29, 1987, Springer, 3-540-17945-3. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Robert A. Iannucci |
Two Fundamental Issues in Multiprocessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Computing in Science and Engineering ![In: Parallel Computing in Science and Engineering, 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26 1987, Proceedings, pp. 61-88, 1987, Springer, 3-540-18923-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Keshav Pingali, Arvind |
Clarification of "Feeding Inputs on Demand" in Efficient Demand-Driven Evaluation - Part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(1), pp. 140-141, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP BibTeX RDF |
|
1 | Keshav Pingali, Arvind |
Efficient Demand-Driven Evaluation - Part 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 8(1), pp. 109-139, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
LD |
1 | Arvind, Rishiyur S. Nikhil, Keshav Pingali |
I-structures: Data structures for parallel computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Reduction ![In: Graph Reduction, Proceedings of a Workshop, Santa Fé, New Mexico, USA, September 29 - October 1, 1986, pp. 336-369, 1986, Springer, 3-540-18420-1. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Keshav Pingali, Arvind |
Efficient Demand-Driven Evaluation - Part 1. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 7(2), pp. 311-333, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Arvind |
Demand-Driven Evaluation on Dataflow Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings, pp. 411, 1985, Springer, 3-540-16042-6. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, J. Dean Brock |
Resource managers in functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Parallel Distributed Comput. ![In: J. Parallel Distributed Comput. 1(2), pp. 5-21, 1984. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Robert A. Iannucci |
A Critique of Multiprocessing von Neumann Style ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 10th Annual Symposium on Computer Architecture, 1983, pp. 426-436, 1983, ACM, 0-89791-101-6. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Tilak Agerwala, Arvind |
Data Flow Systems - Guest Editors' Introduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 15(2), pp. 10-13, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Kim P. Gostelow |
The U-Interpreter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 15(2), pp. 42-49, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Jack B. Dennis (eds.) |
Proceedings of the 1981 conference on Functional programming languages and computer architecture, FPCA 1981, Wentworth, New Hampshire, USA, October 1981 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPCA ![ACM, 0-89791-060-5 The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
1 | Arvind |
Data Flow Languages and Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: Proceedings of the 8th Annual Symposium on Computer Architecture, Minneapolis, MN, USA, May 1981, pp. 1, 1981, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP BibTeX RDF |
|
1 | Arvind, J. Dean Brock |
Streams and Managers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Operating Systems Engineering ![In: Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, Amagi, Japan, October 1980, pp. 452-465, 1980, Springer, 3-540-11604-4. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Kim P. Gostelow |
A Computer Capable of Exchanging Processors for Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress ![In: Information Processing, Proceedings of the 7th IFIP Congress 1977, Toronto, Canada, August 8-12, 1977., pp. 849-853, 1977, North-Holland, 0-7204-0755-9. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
1 | Arvind, Kim P. Gostelow, Wil Plouffe |
Indeterminancy, Monitors, and Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Sixth Symposium on Operating System Principles, SOSP 1977, Purdue University, West Lafayette, Indiana, USA, November 16-18, 1977, pp. 159-169, 1977, ACM. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
ID |
1 | Arvind, Kim P. Gostelow |
Some Relationships Between Asynchronous Interpreters of a Dataflow Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Description of Programming Concepts ![In: Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, NB, Canada, August 1-5, 1977, pp. 95-120, 1977, North-Holland, 0-444-85107-0. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP BibTeX RDF |
|
1 | William P. Lidinsky, Masahivo Tsuchiya, Arvind (eds.) |
Proceedings of the 8th annual workshop on Microprogramming, MICRO 1975, Chicago, Illinois, USA, September 21-23, 1975 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO (2) ![ACM, 978-1-4503-7451-4 The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Richard Y. Kain, Eitan Sadeh |
On Reference String Generation Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fourth Symposium on Operating System Principles, SOSP 1973, Thomas J. Watson, Research Center, Yorktown Heights, New York, USA, October 15-17, 1973, pp. 80-87, 1973, ACM. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #158 of 158 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|