BibSLEIGH — Lothar

Travelled to:

1 × Italy
1 × Sweden
1 × Switzerland
1 × Taiwan
6 × France
9 × Germany
9 × USA

Collaborated with:

J.Chen P.Kumar S.Chakraborty S.Künzli H.Yang N.Stoimenov D.Rai P.Huang C.Moser I.Bacivarov L.Benini S.Perathoner K.Huang G.Giannopoulou D.Brunelli K.Lampka A.Maxiaguine L.Schor E.Wandeler C.Yang T.Kuo K.Strehl U.Schwiegelshohn A.Schranzhofer R.Pellizzoni M.Caccamo A.Tretter S.Kang S.Kim S.Ha D.B.Chokshi P.W.Kutter D.Schweizer R.Leupers N.Dhruva F.Poletti J.W.Janneck E.A.Lee T.Erlebach M.Gries T.Rein J.Rox K.Richter D.Ziegenbein R.Ernst J.Teich J.Zhan J.Ouyang V.Narayanan Y.Xie D.Goswami A.Annaswamy J.Beutel B.Buchli F.Ferrari M.Keller M.Zimmerling X.Nie B.Kienhuis M.Weiss T.Isshiki J.Castrillón W.Sheng B.H.H.Juurlink M.A.Mesa A.Pohl R.Jessenberger V.Reyes

Talks about:

system (23) analysi (12) time (12) real (10) schedul (8) model (7) energi (6) effici (6) multi (6) embed (6)

Person: Lothar Thiele

DBLP: Thiele:Lothar

Facilitated 1 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

1999

1998

1997

Wrote 46 papers:

DAC-2015-TretterKT #multi #probability: Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts (AT, PK, LT), p. 6.
DATE-2015-CastrillonTSSJA #manycore #programming #question: Multi/many-core programming: where are we standing? (JC, LT, LS, WS, BHHJ, MAM, AP, RJ, VR, RL), pp. 1708–1717.
DATE-2015-HuangKGT #scheduling: Run and be safe: mixed-criticality scheduling with temporary processor speedup (PH, PK, GG, LT), pp. 1329–1334.
DATE-2015-RaiT #manycore #modelling: A calibration based thermal modeling technique for complex multicore systems (DR, LT), pp. 1138–1143.
DAC-2014-HuangYT #fault tolerance #on the #scheduling: On the Scheduling of Fault-Tolerant Mixed-Criticality Systems (PH, HY, LT), p. 6.
DAC-2014-KangYKBHT #fault tolerance: Static Mapping of Mixed-Critical Applications for Fault-Tolerant MPSoCs (SHK, HY, SK, IB, SH, LT), p. 6.
DAC-2014-RaiHST #detection #fault #framework #performance #realtime: An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor (DR, PH, NS, LT), p. 6.
DATE-2014-DhruvaKGT #cyber-physical: Computing a language-based guarantee for timing properties of cyber-physical systems (ND, PK, GG, LT), pp. 1–6.
DATE-2014-GiannopoulouSHT #architecture #manycore: Mapping mixed-criticality applications on multi-core architectures (GG, NS, PH, LT), pp. 1–6.
DATE-2014-KangYKBHT #manycore #optimisation: Reliability-aware mapping optimization of multi-core systems with mixed-criticality (SHK, HY, SK, IB, SH, LT), pp. 1–4.
DATE-2014-KumarYBT #distributed #effectiveness #named: COOLIP: Simple yet effective job allocation for distributed thermally-throttled processors (PK, HY, IB, LT), pp. 1–4.
DAC-2013-RaiSST #algorithm #analysis #distributed #network #process: Distributed stable states for process networks: algorithm, analysis, and experiments on intel SCC (DR, LS, NS, LT), p. 10.
DAC-2013-ZhanSOTNX #design #embedded #energy #optimisation #realtime: Designing energy-efficient NoC for real-time embedded systems through slack optimization (JZ, NS, JO, LT, VN, YX), p. 6.
DATE-2013-KumarCT #approach #distributed #realtime #satisfiability: A satisfiability approach to speed assignment for distributed real-time systems (PK, DBC, LT), pp. 749–754.
DAC-2012-KumarGCALT #approach #cyber-physical #hybrid #verification: A hybrid approach to cyber-physical systems verification (PK, DG, SC, AA, KL, LT), pp. 688–696.
DAC-2011-KumarT #realtime: Cool shapers: shaping real-time tasks for improved thermal guarantees (PK, LT), pp. 468–473.
DAC-2011-ThieleSYB #analysis #embedded #multi #synthesis: Thermal-aware system analysis and software synthesis for embedded multi-processors (LT, LS, HY, IB), pp. 268–273.
DATE-2011-BeutelBFKZT #named: X-SENSE: Sensing in extreme environments (JB, BB, FF, MK, MZ, LT), pp. 1460–1465.
DATE-2011-PerathonerLT #analysis #component #performance: Composing heterogeneous components for system-wide performance analysis (SP, KL, LT), pp. 842–847.
DATE-2011-RaiYBCT #analysis #realtime #worst-case: Worst-case temperature analysis for real-time systems (DR, HY, IB, JJC, LT), pp. 631–636.
SAC-2011-ChenHT #clustering #power management #quality #requirements: Power management schemes for heterogeneous clusters under quality of service requirements (JJC, KH, LT), pp. 546–553.
DAC-2010-SchranzhoferPCTC #analysis #manycore #modelling #resource management #worst-case: Worst-case response time analysis of resource access models in multi-core systems (AS, RP, JJC, LT, MC), pp. 332–337.
DATE-2010-LeupersTNKWI #programming: Cool MPSoC programming (RL, LT, XN, BK, MW, TI), pp. 1488–1493.
DATE-2010-PellizzoniSCCT #analysis #manycore #memory management: Worst case delay analysis for memory interference in multicore systems (RP, AS, JJC, MC, LT), pp. 741–746.
DATE-2010-YangCTK #energy #realtime #scheduling: Energy-efficient real-time task scheduling with temperature-dependent leakage (CYY, JJC, LT, TWK), pp. 9–14.
LCTES-2010-PerathonerRTLR #analysis #modelling #performance: Modeling structured event streams in system level performance analysis (SP, TR, LT, KL, JR), pp. 37–46.
SAC-2010-ChenT #energy #multi #platform #scheduling: Energy-efficient scheduling on homogeneous multiprocessor platforms (JJC, LT), pp. 542–549.
DATE-2009-StoimenovPT #realtime #reliability #scheduling: Reliable mode changes in real-time systems with fixed priority or EDF scheduling (NS, SP, LT), pp. 99–104.
DATE-2009-YangCKT #approximate #energy #multi #realtime #scheduling: An approximation scheme for energy-efficient scheduling of real-time tasks in heterogeneous multiprocessor systems (CYY, JJC, TWK, LT), pp. 694–699.
SAC-2009-MoserCT #embedded: Optimal service level allocation in environmentally powered embedded systems (CM, JJC, LT), pp. 1650–1657.
DATE-2008-BrunelliBMT #energy #performance: An Efficient Solar Energy Harvester for Wireless Sensor Nodes (DB, LB, CM, LT), pp. 104–109.
DATE-2008-MoserTBB #complexity #robust: Robust and Low Complexity Rate Control for Solar Powered Sensors (CM, LT, DB, LB), pp. 230–235.
DATE-2007-HuangT #analysis #correlation #multi #performance #using: Performance analysis of multimedia applications using correlated streams (KH, LT), pp. 912–917.
DATE-2007-MoserTBB #adaptation #energy #power management: Adaptive power management in energy harvesting systems (CM, LT, DB, LB), pp. 773–778.
DATE-2006-KunzliPBT #analysis #formal method #performance #simulation: Combining simulation and formal methods for system-level performance analysis (SK, FP, LB, LT), pp. 236–241.
DATE-2006-WandelerMT #analysis #performance #realtime: Performance analysis of greedy shapers in real-time systems (EW, AM, LT), pp. 444–449.
DATE-2005-ChakrabortyT #analysis #scheduling #streaming: A New Task Model for Streaming Applications and Its Schedulability Analysis (SC, LT), pp. 486–491.
SEFM-2005-WandelerJLT #automaton #interface #modelling #static analysis: Counting Interface Automata and their Application in Static Analysis of Actor Models (EW, JWJ, EAL, LT), pp. 106–116.
DATE-v2-2004-MaxiaguineKT #execution: Workload Characterization Model for Tasks with Variable Execution Demand (AM, SK, LT), pp. 1040–1045.
DATE-2003-ChakrabortyKT #design #embedded #framework #platform: A General Framework for Analysing System Properties in Platform-Based Embedded System Designs (SC, SK, LT), pp. 10190–10195.
DAC-2002-ChakrabortyEKT #embedded #realtime #scheduling: Schedulability of event-driven code blocks in real-time embedded systems (SC, TE, SK, LT), pp. 616–621.
DAC-2002-ThieleCGK #architecture #design #framework #trade-off: A framework for evaluating design tradeoffs in packet processing architectures (LT, SC, MG, SK), pp. 880–885.
DAC-1999-RichterZETT #embedded #optimisation #representation #synthesis: Representation of Function Variants for Embedded System Optimization and Synthesis (KR, DZ, RE, LT, JT), pp. 517–522.
DATE-1999-StrehlT #diagrams #model checking #petri net: Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.
FM-1998-KutterST #design #domain-specific language #lifecycle: Integrating Domain Specific Language Design in the Software Life Cycle (PWK, DS, LT), pp. 196–212.
ICALP-1997-SchwiegelshohnT #equation: Periodic and Non-periodic Min-Max Equations (US, LT), pp. 379–389.