|
|
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. |
HiPC |
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. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Hari Balakrishnan, Srinivas Devadas, Douglas Ehlert, Arvind |
Rate Guarantees and Overload Protection in Input-Queued Switches. |
INFOCOM |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Daniel L. Rosenband, Arvind |
Modular scheduling of guarded atomic actions. |
DAC |
2004 |
DBLP DOI BibTeX RDF |
Design, Algorithms, Verification, Languages |
1 | Arvind |
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk. |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Rishiyur S. Nikhil, Arvind |
Implicit parallel programming in pH. |
|
2001 |
RDF |
|
1 | Joseph E. Stoy, Xiaowei Shen, Arvind |
Proofs of Correctness of Cache-Coherence Protocols. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Anton T. Dahbura, Alejandro Caro |
From Monsoon to StarT-Voyager: University-Industry Collaboration. |
IEEE Micro |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Jan-Willem Maessen, Arvind, Xiaowei Shen |
Improving the Java memory model using CRF. |
OOPSLA |
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. |
IPDPS |
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. |
ICCAD |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Xiaowei Shen |
Using term rewriting systems to design and verify processors. |
IEEE Micro |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowei Shen, Arvind, Larry Rudolph |
CACHET: an adaptive cache coherence protocol for distributed shared-memory systems. |
International Conference on Supercomputing |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Xiaowei Shen, Arvind, Larry Rudolph |
Commit-Reconcile & Fences (CRF): A New Memory Model for Architects and Compiler Writers. |
ISCA |
1999 |
DBLP DOI BibTeX RDF |
|
1 | James C. Hoe, Arvind |
Hardware Synthesis from Term Rewriting Systems. |
VLSI |
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. |
HLCL |
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. |
J. Parallel Distributed Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind |
The StarT-Voyager Parallel System. |
IEEE PACT |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Boon Seong Ang, Derek Chiou, Larry Rudolph, Arvind |
Message passing support on StarT-Voyager. |
HiPC |
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. |
SC |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Andrew Shaw, Arvind, R. Paul Johnson |
Performance tuning scientific codes for dataflow execution. |
IEEE PACT |
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. |
LCPC |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy |
A Lambda Calculus with Letrecs and Barriers. |
FSTTCS |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
Properties of a First-Order Functional Language with Sharing. |
Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Shail Aditya, Arvind, Joseph E. Stoy |
Semantics of Barriers in a Non-Strict, Implicitly-Parallel Language. |
FPCA |
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. |
Euro-Par |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Arvind |
Prospects of ubiquitous parallel computing. |
IPPS |
1994 |
DBLP BibTeX RDF |
|
1 | James E. Hicks, Derek Chiou, Boon Seong Ang, Arvind |
Performance Studies of Id on the Monsoon Dataflow System. |
J. Parallel Distributed Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Stephen Brobst |
The Evolution of Dataflow Architectures: from Static Dataflow to P-RISC. |
Int. J. High Speed Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
1 | Rishiyur S. Nikhil, Gregory M. Papadopoulos, Arvind |
*T: A Multithreaded Massively Parallel Architecture. |
ISCA |
1992 |
DBLP DOI BibTeX RDF |
|
1 | Paul S. Barth, Rishiyur S. Nikhil, Arvind |
M-Structures: Extending a Parallel, Non-strict, Functional Language with State. |
FPCA |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
A Syntactic Approach to Program Transformations. |
PEPM |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
Compilation of Id. |
LCPC |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Rishiyur S. Nikhil |
Executing a Program on the MIT Tagged-Token Dataflow Architecture. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Rishiyur S. Nikhil, Keshav Pingali |
I-Structures: Data Structures for Parallel Computing. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Zena M. Ariola, Arvind |
P-TAC: A Parallel Intermediate Language. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Kattamuri Ekanadham |
Future Scientific Programming on Parallel Machines. |
J. Parallel Distributed Comput. |
1988 |
DBLP DOI BibTeX RDF |
|
1 | David E. Culler, Arvind |
Resource Requirements of Dataflow Programs. |
ISCA |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Kattamuri Ekanadham |
Future Scientific Programming on Parallel Machines. |
ICS |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Rishiyur S. Nikhil |
Executing a Program on the MIT Tagged-Token Dataflow Architecture. |
PARLE (2) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Robert A. Iannucci |
Two Fundamental Issues in Multiprocessing. |
Parallel Computing in Science and Engineering |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Keshav Pingali, Arvind |
Clarification of "Feeding Inputs on Demand" in Efficient Demand-Driven Evaluation - Part 1. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP BibTeX RDF |
|
1 | Keshav Pingali, Arvind |
Efficient Demand-Driven Evaluation - Part 2. |
ACM Trans. Program. Lang. Syst. |
1986 |
DBLP DOI BibTeX RDF |
LD |
1 | Arvind, Rishiyur S. Nikhil, Keshav Pingali |
I-structures: Data structures for parallel computing. |
Graph Reduction |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Keshav Pingali, Arvind |
Efficient Demand-Driven Evaluation - Part 1. |
ACM Trans. Program. Lang. Syst. |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Arvind |
Demand-Driven Evaluation on Dataflow Machine. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, J. Dean Brock |
Resource managers in functional programming. |
J. Parallel Distributed Comput. |
1984 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Robert A. Iannucci |
A Critique of Multiprocessing von Neumann Style |
ISCA |
1983 |
DBLP DOI BibTeX RDF |
|
1 | Tilak Agerwala, Arvind |
Data Flow Systems - Guest Editors' Introduction. |
Computer |
1982 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Kim P. Gostelow |
The U-Interpreter. |
Computer |
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 |
FPCA |
1981 |
DBLP BibTeX RDF |
|
1 | Arvind |
Data Flow Languages and Architecture. |
ISCA |
1981 |
DBLP BibTeX RDF |
|
1 | Arvind, J. Dean Brock |
Streams and Managers. |
Operating Systems Engineering |
1980 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Kim P. Gostelow |
A Computer Capable of Exchanging Processors for Time. |
IFIP Congress |
1977 |
DBLP BibTeX RDF |
|
1 | Arvind, Kim P. Gostelow, Wil Plouffe |
Indeterminancy, Monitors, and Dataflow. |
SOSP |
1977 |
DBLP DOI BibTeX RDF |
ID |
1 | Arvind, Kim P. Gostelow |
Some Relationships Between Asynchronous Interpreters of a Dataflow Language. |
Formal Description of Programming Concepts |
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 |
MICRO (2) |
1975 |
DBLP DOI BibTeX RDF |
|
1 | Arvind, Richard Y. Kain, Eitan Sadeh |
On Reference String Generation Processes. |
SOSP |
1973 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #158 of 158 (100 per page; Change: ) Pages: [ <<][ 1][ 2] |
|