|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 16 keywords
|
|
|
|
|
Results
Found 25 publication records. Showing 25 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Sourindra Chaudhuri, Prateek Mishra, Niraj K. Jha |
Accurate Leakage Estimation for FinFET Standard Cells Using the Response Surface Methodology.  |
VLSI Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Prateek Mishra, Ajay N. Bhoj, Niraj K. Jha |
Die-level leakage power analysis of FinFET circuits considering process variations. |
ISQED |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Prateek Mishra, Niraj K. Jha |
Low-power FinFET circuit synthesis using surface orientation optimization. |
DATE |
2010 |
DBLP BibTeX RDF |
|
| 1 | Prateek Mishra, Anish Muttreja, Niraj K. Jha |
Low-power FinFET circuit synthesis using multiple supply and threshold voltages. |
JETC |
2009 |
DBLP DOI BibTeX RDF |
Low-power, linear programming, synthesis, TCMS |
| 1 | Anish Muttreja, Prateek Mishra, Niraj K. Jha |
Threshold Voltage Control through Multiple Supply Voltages for Power-Efficient FinFET Interconnects. |
VLSI Design |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Cortes, Prateek Mishra |
An Implementation Model for Collaborative Applications. |
CLEI Electron. J. |
1998 |
DBLP BibTeX RDF |
|
| 1 | R. C. Sekar, I. V. Ramakrishnan, Prateek Mishra |
On the power and limitations of strictness analysis. |
J. ACM |
1997 |
DBLP DOI BibTeX RDF |
program analysis, abstract interpretation, completeness, strictness analysis |
| 1 | Mauricio Cortes, Prateek Mishra |
DCWPL: A Programming Language for Describing Collaborative Work. |
CSCW |
1996 |
DBLP DOI BibTeX RDF |
distributed systems, CSCW, coordination, groupware, programming languages, reengineering |
| 1 | Marc Neuberger, Prateek Mishra |
A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis. |
LISP and Functional Programming |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | R. C. Sekar, Prateek Mishra, I. V. Ramakrishnan |
On the Power and Limitation of Strictness Analysis Based on Abstract Interpretation. |
POPL |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Allen Leung, Prateek Mishra |
Reasoning about Simple and Exhaustive Demand in Highter-Order Lazy Languages. |
FPCA |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | You-Chin Fuh, Prateek Mishra |
Type Inference with Subtypes. |
Theor. Comput. Sci. |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjiva Prasad, Alessandro Giacalone, Prateek Mishra |
Operational and Algebraic Semantics for Facile: A Symmetric Integration of Concurrent and Functional Programming. |
ICALP |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad |
Facile: A symmetric integration of concurrent and functional programming. |
International Journal of Parallel Programming |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Giacalone, Prateek Mishra, Sanjiva Prasad |
FACILE: A Symmetric Integration of Concurrent and Functional Programming. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | You-Chin Fuh, Prateek Mishra |
Polymorphic Subtype Inference: Closing the Theory-Practice Gap. |
TAPSOFT, Vol.2 |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsung-Min Kuo, Prateek Mishra |
Strictness Analysis: A New Perspective Based on Type Inference. |
FPCA |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Prateek Mishra |
Strictness Analysis of the Untyped lambda-Calculus. |
Inf. Process. Lett. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Saumya K. Debray, Prateek Mishra |
Denotational and Operational Semantics for Prolog. |
J. Log. Program. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | You-Chin Fuh, Prateek Mishra |
Type Inference with Subtypes. |
ESOP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsung-Min Kuo, Prateek Mishra |
On Strictness and its Analysis. |
POPL |
1987 |
DBLP DOI BibTeX RDF |
ML |
| 1 | Prateek Mishra, Uday S. Reddy |
Declaration-Free Type Checking. |
POPL |
1985 |
DBLP DOI BibTeX RDF |
equational languages, regular trees, solving inequations, type inference |
| 1 | Prateek Mishra, Robert M. Keller |
Static Inference of Properties of Applicative Programs. |
POPL |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Prateek Mishra |
Towards a Theory of Types in Prolog. |
SLP |
1984 |
DBLP BibTeX RDF |
|
| 1 | George Logothetis, Prateek Mishra |
Compiling Short-circuit Boolean Expressions in One Pass. |
Softw., Pract. Exper. |
1981 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #25 of 25 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")