Publications

All publications:

523 entries « 9 of 11 »

2003

Dutt, Nikil D; Sztipanovits, Janos; Hirata, Masaki

Driving agenda for systems research Inproceedings

Gupta, Rajesh; Nakamura, Yukihiro; Orailoglu, Alex; Chou, Pai H (Ed.): Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2003, Newport Beach, CA, USA, October 1-3, 2003, pp. 82, ACM, 2003.

Links | BibTeX

Reshadi, Mehrdad; Mishra, Prabhat; Dutt, Nikil D

Instruction set compiled simulation: a technique for fast and flexible instruction set simulation Inproceedings

Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 758–763, ACM, 2003.

Links | BibTeX

Gupta, Sumit; Dutt, Nikil D; Gupta, Rajesh K; Nicolau, Alexandru

Dynamic Conditional Branch Balancing during the High-Level Synthesis of Control-Intensive Designs Inproceedings

2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 10270–10275, IEEE Computer Society, 2003.

Links | BibTeX

Mamidipaka, Mahesh; Dutt, Nikil D

On-chip Stack Based Memory Organization for Low Power Embedded Architectures Inproceedings

2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 11082–11089, IEEE Computer Society, 2003.

Links | BibTeX

Pasricha, Sudeep; Mohapatra, Shivajit; Luthra, Manev; Dutt, Nikil D; Venkatasubramanian, Nalini

Reducing Backlight Power Consumption for Streaming Video Applications on Mobile Handheld Devices Inproceedings

Fohler, Gerhard; Marculescu, Radu (Ed.): First Workshop on Embedded Systems for Real-Time Multimedia, ESTImedia 2003, October 3-4, 2003, Newport Beach, California, USA, co-located with CODES-ISSS 2003, Proceedings, pp. 11–17, 2003.

BibTeX

Tomiyama, Hiroyuki; Takada, Hiroaki; Dutt, Nikil D

Data Organization Exploration for Low-Energy Address Buses Inproceedings

Fohler, Gerhard; Marculescu, Radu (Ed.): First Workshop on Embedded Systems for Real-Time Multimedia, ESTImedia 2003, October 3-4, 2003, Newport Beach, California, USA, co-located with CODES-ISSS 2003, Proceedings, pp. 128–133, 2003.

BibTeX

Mamidipaka, Mahesh; Khouri, Kamal S; Dutt, Nikil D; Abadir, Magdy S

IDAP: A Tool for High Level Power Estimation of Custom Array Structures Inproceedings

2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003, pp. 113–119, IEEE Computer Society / ACM, 2003.

Links | BibTeX

Luthra, Manev; Gupta, Sumit; Dutt, Nikil D; Gupta, Rajesh K; Nicolau, Alexandru

Interface Synthesis using Memory Mapping for an FPGA Platform Inproceedings

21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings, pp. 140–145, IEEE Computer Society, 2003.

Links | BibTeX

Reshadi, Mehrdad; Dutt, Nikil D

Reducing Compilation Time Overhead in Compiled Simulators Inproceedings

21st International Conference on Computer Design (ICCD 2003),VLSI in Computers and Processors, 13-15 October 2003, San Jose, CA, USA, Proceedings, pp. 151, IEEE Computer Society, 2003.

Links | BibTeX

Cornea, Radu; Dutt, Nikil D; Gupta, Rajesh K; ü, Ingolf Kr; Nicolau, Alexandru; Schmidt, Douglas C; Shukla, Sandeep K

FORGE: A Framework for Optimization of Distributed Embedded Systems Software Inproceedings

17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 208, IEEE Computer Society, 2003.

Links | BibTeX

Lee, Jong-eun; Choi, Kiyoung; Dutt, Nikil D

Energy-efficient instruction set synthesis for application-specific processors Inproceedings

Verbauwhede, Ingrid; Roh, Hyung (Ed.): Proceedings of the 2003 International Symposium on Low Power Electronics and Design, 2003, Seoul, Korea, August 25-27, 2003, pp. 330–333, ACM, 2003.

Links | BibTeX

Lee, Jong-eun; Choi, Kiyoung; Dutt, Nikil D

An algorithm for mapping loops onto coarse-grained reconfigurable architectures Inproceedings

Mueller, Frank; Kremer, Ulrich (Ed.): Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'03). San Diego, California, USA, June 11-13, 2003, pp. 183–188, ACM, 2003.

Links | BibTeX

Mohapatra, Shivajit; Cornea, Radu; Dutt, Nikil D; Nicolau, Alexandru; Venkatasubramanian, Nalini

Integrated power management for video streaming to mobile handheld devices Inproceedings

Rowe, Lawrence A; Vin, Harrick M; Plagemann, Thomas; Shenoy, Prashant J; Smith, John R (Ed.): Proceedings of the Eleventh ACM International Conference on Multimedia, Berkeley, CA, USA, November 2-8, 2003, pp. 582–591, ACM, 2003.

Links | BibTeX

Mishra, Prabhat; Dutt, Nikil D

A Methodology for Validation of Microprocessors using Equivalence Checking Inproceedings

Fourth International Workshop on Microprocessor Test and Verification, Common Challenges and Solutions (MTV 2003), May 29-30, 2003, Hyatt Town Lake Hotel, Austin, Texas, USA, pp. 83–88, IEEE Computer Society, 2003.

Links | BibTeX

Mishra, Prabhat; Kejariwal, Arun; Dutt, Nikil D

Rapid Exploration of Pipelined Processors through Automatic Generation of Synthesizable RTL Models Inproceedings

14th IEEE International Workshop on Rapid System Prototyping (RSP 2003), 9-11 June 2003, San Diego, CA, USA, pp. 226–232, IEEE Computer Society, 2003.

Links | BibTeX

Buss, Marcio; Givargis, Tony; Dutt, Nikil D

Exploring Efficient Operating Points for Voltage Scaled Embedded Processor Cores Inproceedings

Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 3-5 December 2003, Cancun, Mexico, pp. 275–281, IEEE Computer Society, 2003.

Links | BibTeX

Mamidipaka, Mahesh; Dutt, Nikil D; Khouri, Kamal S

A Methodology for Accurate Modeling of Energy Dissipation in Array Structures Inproceedings

16th International Conference on VLSI Design (VLSI Design 2003), 4-8 January 2003, New Delhi, India, pp. 320, IEEE Computer Society, 2003.

Links | BibTeX

Gupta, Sumit; Dutt, Nikil D; Gupta, Rajesh K; Nicolau, Alexandru

SPARK: A High-Lev l Synthesis Framework For Applying Parallelizing Compiler Transformations Inproceedings

16th International Conference on VLSI Design (VLSI Design 2003), 4-8 January 2003, New Delhi, India, pp. 461–466, IEEE Computer Society, 2003.

Links | BibTeX

Mishra, Prabhat; Dutt, Nikil D; Tomiyama, Hiroyuki

Towards Automatic Validation of Dynamic Behavior in Pipelined Processor Specifications Journal Article

Design Autom. for Emb. Sys., 8 (2-3), pp. 249–265, 2003.

Links | BibTeX

Grun, Peter; Halambi, Ashok; Dutt, Nikil D; Nicolau, Alexandru

RTGEN-an algorithm for automatic generation of reservation tables from architectural descriptions Journal Article

IEEE Trans. VLSI Syst., 11 (4), pp. 731–737, 2003.

Links | BibTeX

Gupta, Sumit; Dutt, Nikil D; Gupta, Rajesh K; Nicolau, Alexandru

SPARK: A High-Lev l Synthesis Framework For Applying Parallelizing Compiler Transformations Inproceedings

16th International Conference on VLSI Design (VLSI Design 2003), 4-8 January 2003, New Delhi, India, pp. 461–466, 2003.

Links | BibTeX

2002

Gupta, Sumit; Savoiu, Nick; Dutt, Nikil D; Gupta, Rajesh K; Nicolau, Alexandru; Kam, Timothy; Kishinevsky, Michael; Rotem, Shai

Coordinated transformations for high-level synthesis of high performance microprocessor blocks Inproceedings

Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 898–903, ACM, 2002.

Links | BibTeX

Mishra, Prabhat; Dutt, Nikil D; Nicolau, Alexandru; Tomiyama, Hiroyuki

Automatic Verification of In-Order Execution In Microprocessors with Fragmented Pipelines and Multicycle Functional Units Inproceedings

2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 36–43, IEEE Computer Society, 2002.

Links | BibTeX

Azevedo, Ana; Issenin, Ilya; Cornea, Radu; Gupta, Rajesh; Dutt, Nikil D; Veidenbaum, Alexander V; Nicolau, Alexandru

Profile-Based Dynamic Voltage Scheduling Using Program Checkpoints Inproceedings

2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 168–175, IEEE Computer Society, 2002.

Links | BibTeX

Halambi, Ashok; Shrivastava, Aviral; Biswas, Partha; Dutt, Nikil D; Nicolau, Alexandru

An Efficient Compiler Technique for Code Size Reduction Using Reduced Bit-Width ISAs Inproceedings

2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 402–408, IEEE Computer Society, 2002.

Links | BibTeX

Grun, Peter; Dutt, Nikil D; Nicolau, Alexandru

Memory System Connectivity Exploration Inproceedings

2002 Design, Automation and Test in Europe Conference and Exposition (DATE 2002), 4-8 March 2002, Paris, France, pp. 894–901, IEEE Computer Society, 2002.

Links | BibTeX

Panda, Preeti Ranjan; Dutt, Nikil D

Memory Architectures for Embedded Systems-On-Chip Inproceedings

Sahni, Sartaj; Prasanna, Viktor K; Shukla, Uday (Ed.): High Performance Computing - HiPC 2002, 9th International Conference, Bangalore, India, December 18-21, 2002, Proceedings, pp. 647–662, Springer, 2002.

Links | BibTeX

Mishra, Prabhat; Dutt, Nikil D

Automatic functional test program generation for pipelined processors using model checking Inproceedings

Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002, pp. 99–103, IEEE Computer Society, 2002.

Links | BibTeX

Lee, Jong-eun; Choi, Kiyoung; Dutt, Nikil D

Efficient instruction encoding for automatic instruction set design of configurable ASIPs Inproceedings

Pileggi, Lawrence T; Kuehlmann, Andreas (Ed.): Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, ICCAD 2002, San Jose, California, USA, November 10-14, 2002, pp. 649–654, ACM / IEEE Computer Society, 2002.

Links | BibTeX

Mishra, Prabhat; Dutt, Nikil D

Modeling and Verification of Pipelined Embedded Processors in the Presence of Hazards and Exceptions Inproceedings

Kleinjohann, Bernd; Kim, K H; Kleinjohann, Lisa; Rettberg, Achim (Ed.): Design and Analysis of Distributed Embedded Systems, IFIP 17(^mboxth) World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada, pp. 81–90, Kluwer, 2002.

BibTeX

Nicolau, Alexandru; Dutt, Nikil D; Shrivastava, Aviral; Biswas, Partha; Halambi, Ashok

A Design Space Exploration Framework for Reduced Bit-Width Instruction Set Architecture (rISA) Design Inproceedings

Aboulhamid, El Mostapha; Nakamura, Yukihiro (Ed.): Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan, pp. 120–125, ACM / IEEE Computer Society, 2002.

Links | BibTeX

Dutt, Nikil D; Hirschberg, Daniel S; Mamidipaka, Mahesh

Efficient Power Reduction Techniques for Time Multiplexed Address Buses Inproceedings

Aboulhamid, El Mostapha; Nakamura, Yukihiro (Ed.): Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan, pp. 207–212, ACM / IEEE Computer Society, 2002.

Links | BibTeX

Nicolau, Alexandru; Dutt, Nikil D; Gupta, Rajesh; Savoiu, Nick; Reshadi, Mehrdad; Gupta, Sumit

Dynamic Common Sub-Expression Elimination during Scheduling in High-Level Synthesis Inproceedings

Aboulhamid, El Mostapha; Nakamura, Yukihiro (Ed.): Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan, pp. 261–266, ACM / IEEE Computer Society, 2002.

Links | BibTeX

Mishra, Prabhat; Tomiyama, Hiroyuki; Halambi, Ashok; Grun, Peter; Dutt, Nikil D; Nicolau, Alexandru

Automatic Modeling and Validation of Pipeline Specifications Driven by an Architecture Description Language Inproceedings

Proceedings of the ASPDAC 2002 / VLSI Design 2002, CD-ROM, 7-11 January 2002, Bangalore, India, pp. 458, IEEE Computer Society, 2002.

Links | BibTeX

2001

Panda, Preeti Ranjan; Dutt, Nikil D; Nicolau, Alexandru; Catthoor, Francky; Vandecappelle, Arnout; Brockmeyer, Erik; Kulkarni, Chidamber; de Greef, Eddy

Data Memory Organization and Optimizations in Application-Specific Systems Journal Article

IEEE Des. Test Comput., 18 (3), pp. 56–68, 2001.

Links | BibTeX

Catthoor, Francky; Danckaert, Koen; Wuytack, Sven; Dutt, Nikil D

Code Transformations for Data Transfer and Storage Exploration Preprocessing in Multimedia Processors Journal Article

IEEE Des. Test Comput., 18 (3), pp. 70–82, 2001.

Links | BibTeX

Khare, Asheesh; Halambi, Ashok; Savoiu, Nicolae; Grun, Peter; Dutt, Nikil D; Nicolau, Alex

V-SAT: A visual specification and analysis tool for system-on-chip exploration Journal Article

J. Syst. Archit., 47 (3-4), pp. 263–275, 2001.

Links | BibTeX

Panda, Preeti Ranjan; Catthoor, Francky; Dutt, Nikil D; Danckaert, Koen; Brockmeyer, Erik; Kulkarni, Chidamber; Vandecappelle, Arnout; Kjeldsberg, Per Gunnar

Data and memory optimization techniques for embedded systems Journal Article

ACM Trans. Design Autom. Electr. Syst., 6 (2), pp. 149–206, 2001.

Links | BibTeX

Dutt, Nikil D; Nicolau, Alexandru; Tomiyama, Hiroyuki; Halambi, Ashok

New directions in compiler technology for embedded systems (embedded tutorial) Inproceedings

Goto, Satoshi (Ed.): Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001, January 30-February 2, 2001, Yokohama, Japan, pp. 409–414, ACM, 2001.

Links | BibTeX

Gupta, Sumit; Savoiu, Nick; Kim, Sunwoo; Dutt, Nikil D; Gupta, Rajesh K; Nicolau, Alexandru

Speculation Techniques for High Level Synthesis of Control Intensive Designs Inproceedings

Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, June 18-22, 2001, pp. 269–272, ACM, 2001.

Links | BibTeX

Grun, Peter; Dutt, Nikil D; Nicolau, Alexandru

Access pattern based local memory customization for low power embedded systems Inproceedings

Nebel, Wolfgang; Jerraya, Ahmed (Ed.): Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2001, Munich, Germany, March 12-16, 2001, pp. 778–784, IEEE Computer Society, 2001.

Links | BibTeX

Mishra, Prabhat; Dutt, Nikil D; Nicolau, Alex

Automatic validation of pipeline specifications Inproceedings

Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop 2001, Monterey, California, USA, November 7-9, 2001, pp. 9–13, IEEE Computer Society, 2001.

Links | BibTeX

Mamidipaka, Mahesh; Hirschberg, Daniel S; Dutt, Nikil D

Low power address encoding using self-organizing lists Inproceedings

Macii, Enrico; De, Vivek; Irwin, Mary Jane (Ed.): Proceedings of the 2001 International Symposium on Low Power Electronics and Design, 2001, Huntington Beach, California, USA, 2001, pp. 188–193, ACM, 2001.

Links | BibTeX

Grun, Peter; Dutt, Nikil D; Nicolau, Alexandru

APEX: Access Pattern Based Memory Architecture Exploration Inproceedings

á, Rom; Aboulhamid, El Mostapha (Ed.): Proceedings of the 14th International Symposium on Systems Synthesis, ISSS 2001, Montrél, Québec, Canada, September 30 - October 3, 2001, pp. 25–32, ACM / IEEE Computer Society, 2001.

Links | BibTeX

Gupta, Sumit; Savoiu, Nick; Dutt, Nikil D; Gupta, Rajesh K; Nicolau, Alexandru

Conditional speculation and its effects on performance and area for high-level snthesis Inproceedings

á, Rom; Aboulhamid, El Mostapha (Ed.): Proceedings of the 14th International Symposium on Systems Synthesis, ISSS 2001, Montrél, Québec, Canada, September 30 - October 3, 2001, pp. 171–176, ACM / IEEE Computer Society, 2001.

Links | BibTeX

Mishra, Prabhat; Dutt, Nikil D; Nicolau, Alexandru

Functional abstraction driven design space exploration of heterogeneous programmable architectures Inproceedings

á, Rom; Aboulhamid, El Mostapha (Ed.): Proceedings of the 14th International Symposium on Systems Synthesis, ISSS 2001, Montrél, Québec, Canada, September 30 - October 3, 2001, pp. 256–261, ACM / IEEE Computer Society, 2001.

Links | BibTeX

Mishra, Prabhat; Grun, Peter; Dutt, Nikil D; Nicolau, Alexandru

Processor-Memory Co-Exploration driven by a Memory-Aware Architecture Description Language Inproceedings

14th International Conference on VLSI Design (VLSI Design 2001), 3-7 January 2001, Bangalore, India, pp. 70–75, IEEE Computer Society, 2001.

Links | BibTeX

Datta, Anupam; Choudhury, Sidharth; Basu, Anupam; Tomiyama, Hiroyuki; Dutt, Nikil D

Satisfying Timing Constraints of Preemptive Real-Time Tasks through Task Layout Technique Inproceedings

14th International Conference on VLSI Design (VLSI Design 2001), 3-7 January 2001, Bangalore, India, pp. 97–102, IEEE Computer Society, 2001.

Links | BibTeX

2000

Jha, Pradip K; Dutt, Nikil D

High-level library mapping for memories Journal Article

ACM Trans. Design Autom. Electr. Syst., 5 (3), pp. 566–603, 2000.

Links | BibTeX

Panda, Preeti Ranjan; Dutt, Nikil D; Nicolau, Alexandru

On-chip vs. off-chip memory: the data partitioning problem in embedded processor-based systems Journal Article

ACM Trans. Design Autom. Electr. Syst., 5 (3), pp. 682–704, 2000.

Links | BibTeX

523 entries « 9 of 11 »