 | 2012 |
|---|
| 12 |       | Pratyush Kumar,
Dip Goswami,
Samarjit Chakraborty,
Anuradha Annaswamy,
Kai Lampka,
Lothar Thiele:
A hybrid approach to cyber-physical systems verification.
DAC 2012: 688-696 |
| 11 | | Pratyush Kumar,
Lothar Thiele:
Timing Analysis on a Processor with Temperature-Controlled Speed Scaling.
IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 77-86 |
| 2011 |
|---|
| 10 | | Pratyush Kumar,
Lothar Thiele:
Thermally optimal stop-go scheduling of task graphs with real-time constraints.
ASP-DAC 2011: 123-128 |
| 9 | | Pratyush Kumar,
David Atienza:
Run-time adaptable on-chip thermal triggers.
ASP-DAC 2011: 255-260 |
| 8 | | Pratyush Kumar,
Lothar Thiele:
System-level power and timing variability characterization to compute thermal guarantees.
CODES+ISSS 2011: 179-188 |
| 7 | | Pratyush Kumar,
Lothar Thiele:
Cool shapers: shaping real-time tasks for improved thermal guarantees.
DAC 2011: 468-473 |
| 6 | | Pratyush Kumar,
Jian-Jia Chen,
Lothar Thiele:
Demand bound server: generalized resource reservation for hard real-time systems.
EMSOFT 2011: 233-242 |
| 5 | | Pratyush Kumar,
Jian-Jia Chen,
Lothar Thiele,
Andreas Schranzhofer,
Giorgio C. Buttazzo:
Real-Time Analysis of Servers for General Job Arrivals.
RTCSA (1) 2011: 251-258 |
| 2010 |
|---|
| 4 | | Pratyush Kumar,
David Atienza:
Neural network based on-chip thermal simulator.
ISCAS 2010: 1599-1602 |
| 2009 |
|---|
| 3 | | Pratyush Kumar,
Madhav P. Desai:
Learning based address mapping for improving the performance of memory subsystems.
MASCOTS 2009: 1-9 |
| 2008 |
|---|
| 2 | | Pearl Pu,
Li Chen,
Pratyush Kumar:
Evaluating product search and recommender systems for E-commerce environments.
Electronic Commerce Research 8(1-2): 1-27 (2008) |
| 2004 |
|---|
| 1 | | Pearl Huan Z. Pu,
Pratyush Kumar:
Evaluating example-based search tools.
ACM Conference on Electronic Commerce 2004: 208-217 |
Data released under the ODC-BY 1.0 license — See also our legal information page