Subrata Dasgupta

30 papers A* 8B 1Journal 20Unranked 1
YearRankTypeTitle / Venue / Authors
2007 B conf
A computational model of the music of Stevie Ray Vaughan.
Creativity & Cognition
Naresh N. Vempala, Subrata Dasgupta
2003 J jnl
Multidisciplinary creativity: the case of Herbert A. Simon.
Cogn. Sci.
Subrata Dasgupta
1991 J jnl
Automatic belief revision in a plausibility-driven design environment.
IEEE Trans. Syst. Man Cybern.
Sukesh Patel, Subrata Dasgupta
1990 J jnl
A Hierarchical Taxonomic System for Computer Architectures.
Computer
Subrata Dasgupta
1990 J jnl
A formal model of computer architectures for digital system design environments.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Philip A. Wilsey, Subrata Dasgupta
1989 J jnl
The Structure of Design Processes.
Adv. Comput.
Subrata Dasgupta
1988 J jnl
An Exercise in Plausibility-Driven Design.
Computer
Alan R. Hooton, Ulises Agüero, Subrata Dasgupta
1987 J jnl
A Plausibility-Drven Approach to Computer Architecture Design.
Commun. ACM
Ulises Agüero, Subrata Dasgupta
1986 J jnl
Axiomatic Specifications in Firmware Development Systems.
IEEE Softw.
Subrata Dasgupta, Philip A. Wilsey, Juha Heinänen
1986 J jnl
Guest Editors' Introduction Firmware Engineering: The Interaction of Microprogramming and Software Technology.
IEEE Softw.
Subrata Dasgupta, Robert A. Mueller
1985 J jnl
Architectural support for variable addressing in Ada - A design approach.
Int. J. Parallel Program.
Prasenjit Biswas, Subrata Dasgupta
1985 J jnl
Developments in Firmware Engineering.
Adv. Comput.
Subrata Dasgupta, Bruce D. Shriver
1985 J jnl
Hardware Description Languages in Microprogramming Systems.
Computer
Subrata Dasgupta
1984 A* conf
A model of clocked micro-architectures for firmware engineering and design automation applications.
MICRO
Subrata Dasgupta
1984 A* conf
Chip partitioning aid: A design technique for partitionability and testability in VLSI.
DAC
Subrata Dasgupta, M. C. Graf, Robert A. Rasmussen, Ron G. Walther, Tom W. Williams
1984 J jnl
The use of hoare logic in the verification of horizontal microprograms.
Int. J. Parallel Program.
Subrata Dasgupta, Alan Wagner
1983 A* conf
On the Verification of Computer Architectures Using an Architecture Description Language
ISCA
Subrata Dasgupta
1982 J jnl
Computer Design and Description Languages.
Adv. Comput.
Subrata Dasgupta
1982 A* conf
Towards a family of languages for the design and implementation of machine architectures.
ISCA
Subrata Dasgupta, Marius Olafsson
1981 A* conf
S*(QM-1): An instantiation of the high level microprogramming language scheme S* for the nanodata QM-11.
MICRO
Alynn Klassen, Subrata Dasgupta
1980 J jnl
Some Aspects of High-Level Microprogramming.
ACM Comput. Surv.
Subrata Dasgupta
1979 J jnl
The Organization of Microprogram Stores.
ACM Comput. Surv.
Subrata Dasgupta
1978 J jnl
Comments on "The Identification of Maximal Parallelism in Straight-Line Microprograms".
IEEE Trans. Computers
Subrata Dasgupta
1978 A* conf
Towards a microprogramming language schema.
MICRO
Subrata Dasgupta
1977 — conf
Parallelism in Loop-Free Microprograms.
IFIP Congress
Subrata Dasgupta
1977 A* conf
The Design of Some Language Constructs for Horizontal Microprogramming.
ISCA
Subrata Dasgupta, Simon Fraser
1976 J jnl
The Identification of Maximal Parallelism in Straight-Line Microprograms.
IEEE Trans. Computers
Subrata Dasgupta, John Tartar
1975 J jnl
On the Minimization of Control Memories.
Inf. Process. Lett.
Subrata Dasgupta, John Tartar
1974 A* conf
A probabilistic model for the evaluation of microprogram performance.
MICRO
John Tartar, Subrata Dasgupta
1974 J jnl
The Identification of Parallel Micro-Operations.
Inf. Process. Lett.
L. Wayne Jackson, Subrata Dasgupta