 | 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 |