Search the dblp DataBase
Thomas R. Gross :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Thomas R. Gross Bisection Debugging. [Citation Graph (0, 0)][DBLP ] AADEBUG, 1997, pp:185-191 [Conf ] Andrei Popovici , Gustavo Alonso , Thomas R. Gross Just-in-time aspects: efficient dynamic weaving for Java. [Citation Graph (0, 0)][DBLP ] AOSD, 2003, pp:100-109 [Conf ] Andrei Popovici , Thomas R. Gross , Gustavo Alonso Dynamic weaving for aspect-oriented programming. [Citation Graph (0, 0)][DBLP ] AOSD, 2002, pp:141-147 [Conf ] John L. Hennessy , Norman P. Jouppi , Forest Baskett , Thomas R. Gross , John Gill Hardware/Software Tradeoffs for Increased Performance. [Citation Graph (0, 0)][DBLP ] ASPLOS, 1982, pp:2-11 [Conf ] Vincent Cate , Thomas R. Gross Integration of Compression and Caching for a Two-Level File System. [Citation Graph (0, 0)][DBLP ] ASPLOS, 1991, pp:200-211 [Conf ] Robert Cohn , Thomas R. Gross , Monica S. Lam , P. S. Tseng Architecture and Compiler Tradeoffs for a Long Instruction Word Microprocessor. [Citation Graph (0, 0)][DBLP ] ASPLOS, 1989, pp:2-14 [Conf ] Roger Weber , Jürg Bolliger , Thomas R. Gross , Hans-Jörg Schek Architecture of a Networked Image Search and Retrieval System. [Citation Graph (0, 0)][DBLP ] CIKM, 1999, pp:430-441 [Conf ] Marco Annaratone , Emmanuel A. Arnould , Robert Cohn , Thomas R. Gross , H. T. Kung , Monica S. Lam , Onat Menzilcioglu , Ken Sarocky , John Senko , Jon A. Webb Architecture of Warp. [Citation Graph (0, 0)][DBLP ] COMPCON, 1987, pp:264-267 [Conf ] Bernd Bruegge , Chang-Hsin Chang , Robert Cohn , Thomas R. Gross , Monica S. Lam , Peter Lieu , Abu Noaman , David Yam Programming Warp. [Citation Graph (0, 0)][DBLP ] COMPCON, 1987, pp:268-271 [Conf ] John L. Hennessy , Norman P. Jouppi , John Gill , Forest Baskett , Alex Strong , Thomas R. Gross , Christopher Rowen , Judson Leonard The MIPS Machine. [Citation Graph (0, 0)][DBLP ] COMPCON, 1982, pp:2-7 [Conf ] James M. Stichnoth , Thomas R. Gross Code Composition as an Implementation Language for Compilers. [Citation Graph (0, 0)][DBLP ] DSL, 1997, pp:119-132 [Conf ] Andrei Popovici , Gustavo Alonso , Thomas R. Gross Spontaneous Container Services. [Citation Graph (0, 0)][DBLP ] ECOOP, 2003, pp:29-53 [Conf ] Matteo Corti , Thomas R. Gross Approximation of the worst-case execution time using structural analysis. [Citation Graph (0, 0)][DBLP ] EMSOFT, 2004, pp:269-277 [Conf ] Thomas R. Gross , Alan Sussman Mapping a single-assignment language onto the Warp systolic array. [Citation Graph (0, 0)][DBLP ] FPCA, 1987, pp:347-363 [Conf ] Thomas R. Gross , Peter Steenkiste , Jaspal Subhlok Adaptive Distributed Applications on Heterogeneous Networks. [Citation Graph (0, 0)][DBLP ] Heterogeneous Computing Workshop, 1999, pp:209-218 [Conf ] David R. O'Hallaron , Jonathan Richard Shewchuk , Thomas R. Gross Architectural Implications of a Family of Irregular Applications. [Citation Graph (0, 0)][DBLP ] HPCA, 1998, pp:80-89 [Conf ] Thomas Stricker , Thomas R. Gross Global Address Space, Non-Uniform Bandwidth: A Memory System Performance Characterization of Parallel Systems. [Citation Graph (0, 0)][DBLP ] HPCA, 1997, pp:168-0 [Conf ] Jürg Bolliger , Thomas R. Gross Bandwidth Monitoring for Network-Aware Applications. [Citation Graph (0, 0)][DBLP ] HPDC, 2001, pp:241-251 [Conf ] Peter A. Dinda , Thomas R. Gross , Roger Karrer , Bruce Lowekamp , Nancy Miller , Peter Steenkiste , Dean Sutherland The Architecture of the Remos System. [Citation Graph (0, 0)][DBLP ] HPDC, 2001, pp:252-265 [Conf ] Roger Karrer , Thomas R. Gross Location Selection for Active Services. [Citation Graph (0, 0)][DBLP ] HPDC, 2001, pp:195-0 [Conf ] Bruce Lowekamp , Nancy Miller , Dean Sutherland , Thomas R. Gross , Peter Steenkiste , Jaspal Subhlok A Resource Query Interface for Network-Aware Applications. [Citation Graph (0, 0)][DBLP ] HPDC, 1998, pp:189-0 [Conf ] Bruce Lowekamp , David R. O'Hallaron , Thomas R. Gross Direct Queries for Discovering Network Resource Properties in a Distributed Environment. [Citation Graph (0, 0)][DBLP ] HPDC, 1999, pp:- [Conf ] Michael Hemy , Peter Steenkiste , Thomas R. Gross Evaluation of Adaptive Filtering of MPEG System Streams in IP Networks. [Citation Graph (0, 0)][DBLP ] IEEE International Conference on Multimedia and Expo (III), 2000, pp:1313-1317 [Conf ] Roger Karrer , Thomas R. Gross Application-oriented communication for networked systems. [Citation Graph (0, 0)][DBLP ] ICPADS (1), 2005, pp:695-701 [Conf ] Hans Domjan , Thomas R. Gross Providing Resource Reservations for Adaptive Applications in a Best-Effort Operating System. [Citation Graph (0, 0)][DBLP ] ICPP, 2001, pp:499-506 [Conf ] Bernd Bruegge , Thomas R. Gross An integrated environment for development and execution of real-time programs. [Citation Graph (0, 0)][DBLP ] ICS, 1988, pp:153-163 [Conf ] Thomas R. Gross , Peter Steenkiste Architecture implications of high-speed I/O for distributed-memory computers. [Citation Graph (0, 0)][DBLP ] International Conference on Supercomputing, 1994, pp:176-185 [Conf ] Thomas Stricker , James M. Stichnoth , David R. O'Hallaron , Susan Hinrichs , Thomas R. Gross Decoupling Synchronization and Data Transfer in Message Passing Systems of Parallel Computers. [Citation Graph (0, 0)][DBLP ] International Conference on Supercomputing, 1995, pp:1-10 [Conf ] Susanne Cech Previtali , Thomas R. Gross Dynamic Updating of Software Systems Based on Aspects. [Citation Graph (0, 0)][DBLP ] ICSM, 2006, pp:83-92 [Conf ] Ali-Reza Adl-Tabatabai , Thomas R. Gross , Guei-Yuan Lueh , James Reinders Modeling Instruction-Level Parallelism for Software Pipelining. [Citation Graph (0, 0)][DBLP ] Architectures and Compilation Techniques for Fine and Medium Grain Parallelism, 1993, pp:321-330 [Conf ] Jürg Bolliger , Thomas R. Gross , Urs Hengartner Bandwidth Modeling for Network-Aware Applications. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1999, pp:1300-1309 [Conf ] Urs Hengartner , Jürg Bolliger , Thomas R. Gross TCP Vegas Revisited. [Citation Graph (0, 0)][DBLP ] INFOCOM, 2000, pp:1546-1555 [Conf ] Cristian Tuduce , Thomas R. Gross A mobility model based on WLAN traces and its validation. [Citation Graph (0, 0)][DBLP ] INFOCOM, 2005, pp:664-674 [Conf ] Oliver Trachsel , Christoph von Praun , Thomas R. Gross On the effectiveness of speculative and selective memory fences. [Citation Graph (0, 0)][DBLP ] IPDPS, 2006, pp:- [Conf ] Marco Annaratone , Emmanuel A. Arnould , Thomas R. Gross , H. T. Kung , Monica S. Lam , Onat Menzilcioglu , Ken Sarocky , Jon A. Webb Warp Architecture and Implementation. [Citation Graph (0, 0)][DBLP ] ISCA, 1986, pp:346-356 [Conf ] Marco Annaratone , Emmanuel A. Arnould , Thomas R. Gross , H. T. Kung , Monica S. Lam , Onat Menzilcioglu , Ken Sarocky , Jon A. Webb Warp Architecture and Implementation. [Citation Graph (0, 0)][DBLP ] 25 Years ISCA: Retrospectives and Reprints, 1998, pp:309-319 [Conf ] Shekhar Borkar , Robert Cohn , George W. Cox , Thomas R. Gross , H. T. Kung , Monica S. Lam , Margie Levine , Brian Moore , Wire Moore , Craig Peterson , Jim Susman , Jim Sutton , John Urbanski , Jon A. Webb Supporting Systolic and Memory Communciation in iWarp. [Citation Graph (0, 0)][DBLP ] ISCA, 1990, pp:70-81 [Conf ] Thomas R. Gross , Monica S. Lam Retrospective: A Retrospective on the Warp Machines. [Citation Graph (0, 0)][DBLP ] 25 Years ISCA: Retrospectives and Reprints, 1998, pp:45-47 [Conf ] Thomas Stricker , Thomas R. Gross Optimizing Memory System Performance for Communication in Parallel Computers. [Citation Graph (0, 0)][DBLP ] ISCA, 1995, pp:308-319 [Conf ] Irina Chihaia , Thomas R. Gross Effectiveness of simple memory models for performance prediction. [Citation Graph (0, 0)][DBLP ] ISPASS, 2004, pp:98-105 [Conf ] Hans Domjan , Thomas R. Gross Extending a Best-Effort Operating System to Provide QoS Processor Management. [Citation Graph (0, 0)][DBLP ] IWQoS, 2001, pp:92-106 [Conf ] Yang Su , Thomas R. Gross WXCP: Explicit Congestion Control for Wireless Multi-hop Networks. [Citation Graph (0, 0)][DBLP ] IWQoS, 2005, pp:313-326 [Conf ] Susan Hinrichs , Thomas R. Gross Utilizing New Communication Features in Compiliation for Private-Memory Machines. [Citation Graph (0, 0)][DBLP ] LCPC, 1992, pp:563-576 [Conf ] Bruce Lowekamp , Nancy Miller , Dean Sutherland , Thomas R. Gross , Peter Steenkiste , Jaspal Subhlok Network-Aware Parallel Computing with Remos. [Citation Graph (0, 0)][DBLP ] LCPC, 1998, pp:100-119 [Conf ] Guei-Yuan Lueh , Thomas R. Gross , Ali-Reza Adl-Tabatabai Global Register Allocation Based on Graph Fusion. [Citation Graph (0, 0)][DBLP ] LCPC, 1996, pp:246-265 [Conf ] James M. Stichnoth , Thomas R. Gross A Communication Backend for Parallel Language Compilers. [Citation Graph (0, 0)][DBLP ] LCPC, 1995, pp:224-238 [Conf ] Christoph von Praun , Florian Schneider , Thomas R. Gross Load Elimination in the Presence of Side Effects, Concurrency and Precise Exceptions. [Citation Graph (0, 0)][DBLP ] LCPC, 2003, pp:390-405 [Conf ] Bwolen Yang , Jon A. Webb , James M. Stichnoth , David R. O'Hallaron , Thomas R. Gross Do&Merge: Integrating Parallel Loops and Reductions. [Citation Graph (0, 0)][DBLP ] LCPC, 1993, pp:169-183 [Conf ] Florian Schneider , Thomas R. Gross Using Platform-Specific Performance Counters for Dynamic Compilation. [Citation Graph (0, 0)][DBLP ] LCPC, 2005, pp:334-346 [Conf ] Alex Scherer , Thomas R. Gross , Willy Zwaenepoel Adaptive Parallelism for OpenMP Task Parallel Programs. [Citation Graph (0, 0)][DBLP ] LCR, 2000, pp:113-127 [Conf ] Matteo Corti , Roberto Brega , Thomas R. Gross Approximation of Worst-Case Execution Time for Preemptive Multitasking Systems. [Citation Graph (0, 0)][DBLP ] LCTES, 2000, pp:178-198 [Conf ] Valery Naumov , Rainer Baumann , Thomas R. Gross An evaluation of inter-vehicle ad hoc networks based on realistic vehicular traces. [Citation Graph (0, 0)][DBLP ] MobiHoc, 2006, pp:108-119 [Conf ] Valeriy Naoumov , Thomas R. Gross Simulation of large ad hoc networks. [Citation Graph (0, 0)][DBLP ] MSWiM, 2003, pp:50-57 [Conf ] Cristian Tuduce , Thomas R. Gross Organizing a Distributed Application in a Mobile Ad Hoc Network. [Citation Graph (0, 0)][DBLP ] NCA, 2003, pp:231-0 [Conf ] Roger Karrer , Thomas R. Gross Dynamic handoff of multimedia streams. [Citation Graph (0, 0)][DBLP ] NOSSDAV, 2001, pp:125-133 [Conf ] Ali-Reza Adl-Tabatabai , Thomas R. Gross , Guei-Yuan Lueh Code Reuse in an Optimizing Compiler. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1996, pp:51-68 [Conf ] Christoph von Praun , Thomas R. Gross Object Race Detection. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2001, pp:70-82 [Conf ] Dirk Riehle , Thomas R. Gross Role Model Based Framework Design and Integration. [Citation Graph (0, 0)][DBLP ] OOPSLA, 1998, pp:117-133 [Conf ] Bernd Bruegge , Thomas R. Gross A Program Debugger for a Systolic Array: Design and Implementation. [Citation Graph (0, 0)][DBLP ] Workshop on Parallel and Distributed Debugging, 1988, pp:174-182 [Conf ] Ali-Reza Adl-Tabatabai , Thomas R. Gross Detection and Recovery of Endangered Variables Caused by Instruction Scheduling. [Citation Graph (0, 0)][DBLP ] PLDI, 1993, pp:13-25 [Conf ] Ali-Reza Adl-Tabatabai , Thomas R. Gross Source-Level Debugging of Scalar Optimized Code. [Citation Graph (0, 0)][DBLP ] PLDI, 1996, pp:33-43 [Conf ] Thomas R. Gross , Angelika Zobel , Markus Zolg Parallel Compilation for a Parallel Machine. [Citation Graph (0, 0)][DBLP ] PLDI, 1989, pp:91-100 [Conf ] Guei-Yuan Lueh , Thomas R. Gross Call-Cost Directed Register Allocation. [Citation Graph (0, 0)][DBLP ] PLDI, 1997, pp:296-307 [Conf ] Christoph von Praun , Thomas R. Gross Static conflict analysis for multi-threaded object-oriented programs. [Citation Graph (0, 0)][DBLP ] PLDI, 2003, pp:115-128 [Conf ] Ali-Reza Adl-Tabatabai , Thomas R. Gross Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging. [Citation Graph (0, 0)][DBLP ] POPL, 1993, pp:371-383 [Conf ] John L. Hennessy , Thomas R. Gross Code Generation and Reorganization in the Presence of Pipeline Constraints. [Citation Graph (0, 0)][DBLP ] POPL, 1982, pp:120-127 [Conf ] Alex Scherer , Honghui Lu , Thomas R. Gross , Willy Zwaenepoel Transparent Adaptive Parallelism on NOWs using OpenMP. [Citation Graph (0, 0)][DBLP ] PPOPP, 1999, pp:96-106 [Conf ] Jaspal Subhlok , James M. Stichnoth , David R. O'Hallaron , Thomas R. Gross Programming Task and Data Parallelism on a Multicomputer. [Citation Graph (0, 0)][DBLP ] PPOPP, 1993, pp:13-22 [Conf ] Shekhar Borkar , Robert Cohn , George W. Cox , Sha Gleason , Thomas R. Gross Warp: an integrated solution of high-speed parallel computing. [Citation Graph (0, 0)][DBLP ] SC, 1988, pp:330-339 [Conf ] Jaspal Subhlok , David R. O'Hallaron , Thomas R. Gross , Peter A. Dinda , Jon A. Webb Communication and memory requirements as the basis for mapping task and data parallel programs. [Citation Graph (0, 0)][DBLP ] SC, 1994, pp:330-339 [Conf ] Bruce Lowekamp , David R. O'Hallaron , Thomas R. Gross Topology discovery for large ethernet networks. [Citation Graph (0, 0)][DBLP ] SIGCOMM, 2001, pp:237-248 [Conf ] Allan L. Fisher , Thomas R. Gross Teaching the programming of parallel computers. [Citation Graph (0, 0)][DBLP ] SIGCSE, 1991, pp:102-107 [Conf ] Allan L. Fisher , Thomas R. Gross Teaching empirical performance analysis of parallel programs. [Citation Graph (0, 0)][DBLP ] SIGCSE, 1992, pp:309-313 [Conf ] Etzard Stolte , Christoph von Praun , Gustavo Alonso , Thomas R. Gross Scientific Data Repositories: Designing for a Moving Target. [Citation Graph (0, 0)][DBLP ] SIGMOD Conference, 2003, pp:349-360 [Conf ] Thomas R. Gross , Monica S. Lam Compilation for a high-performance systolic array. [Citation Graph (0, 0)][DBLP ] SIGPLAN Symposium on Compiler Construction, 1986, pp:27-38 [Conf ] Thomas R. Gross , Susan Hinrichs , David R. O'Hallaron , James M. Stichnoth , Jaspal Subhlok Compiling Task and Data Parallel Programs for iWrap (Extended Abstract). [Citation Graph (0, 0)][DBLP ] SIGPLAN Workshop, 1992, pp:32-35 [Conf ] Anja Feldmann , Thomas R. Gross , David R. O'Hallaron , Thomas Stricker Subset Barrier Synchronization on a Private-Memory Parallel System. [Citation Graph (0, 0)][DBLP ] SPAA, 1992, pp:209-218 [Conf ] Irina Chihaia Tuduce , Thomas R. Gross Adaptive Main Memory Compression. [Citation Graph (0, 0)][DBLP ] USENIX Annual Technical Conference, General Track, 2005, pp:237-250 [Conf ] Irina Chihaia , Thomas R. Gross An analytical model for software-only main memory compression. [Citation Graph (0, 0)][DBLP ] WMPI, 2004, pp:107-113 [Conf ] Roger Karrer , Thomas R. Gross Location Selection for Active Services. [Citation Graph (0, 0)][DBLP ] Cluster Computing, 2002, v:5, n:3, pp:265-275 [Journal ] Bruce Lowekamp , Nancy Miller , Thomas R. Gross , Peter Steenkiste , Jaspal Subhlok , Dean Sutherland A resource query interface for network-aware applications. [Citation Graph (0, 0)][DBLP ] Cluster Computing, 1999, v:2, n:2, pp:139-151 [Journal ] Bruce Lowekamp , David R. O'Hallaron , Thomas R. Gross Direct queries for discovering network resource properties in a distributed environment. [Citation Graph (0, 0)][DBLP ] Cluster Computing, 2000, v:3, n:4, pp:281-291 [Journal ] Thomas R. Gross , Susan Hinrichs , David R. O'Hallaron , Thomas Stricker , Atsushi Hasegawa Communication Styles for Parallel Systems. [Citation Graph (0, 0)][DBLP ] IEEE Computer, 1994, v:27, n:12, pp:34-44 [Journal ] Takashi Suzuoka , Jaspal Subhlok , Thomas R. Gross A Performance Debugging Tool for High Performance Fortran Programs. [Citation Graph (0, 0)][DBLP ] Concurrency - Practice and Experience, 1997, v:9, n:10, pp:927-945 [Journal ] Dirk Riehle , Roger Brudermann , Thomas R. Gross , Kai-Uwe Mätzel Pattern density and role modeling of an object transport service. [Citation Graph (0, 0)][DBLP ] ACM Comput. Surv., 2000, v:32, n:1es, pp:10- [Journal ] Bruce Lowekamp , Nancy Miller , Roger Karrer , Thomas R. Gross , Peter Steenkiste Design, Implementation, and Evaluation of the Remos Network Monitoring System. [Citation Graph (0, 0)][DBLP ] J. Grid Comput., 2003, v:1, n:1, pp:75-93 [Journal ] Christoph von Praun , Thomas R. Gross Static Detection of Atomicity Violations in Object-Oriented Programs. [Citation Graph (0, 0)][DBLP ] Journal of Object Technology, 2004, v:3, n:6, pp:103-122 [Journal ] James M. Stichnoth , David R. O'Hallaron , Thomas R. Gross Generating Communication for Array Statement: Design, Implementation, and Evaluation. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 1994, v:21, n:1, pp:150-159 [Journal ] Michael Hemy , Peter Steenkiste , Thomas R. Gross Adaptive filtering of MPEG system streams in IP networks. [Citation Graph (0, 0)][DBLP ] Multimedia Tools Appl., 2006, v:30, n:1, pp:1-26 [Journal ] Valery Naumov , Thomas R. Gross Scalability of routing methods in ad hoc networks. [Citation Graph (0, 0)][DBLP ] Perform. Eval., 2005, v:62, n:1-4, pp:193-209 [Journal ] Thomas R. Gross , Peter Steenkiste Structured Dataflow Analysis for Arrays and its Use in an Optimizing Compiler. [Citation Graph (0, 0)][DBLP ] Softw., Pract. Exper., 1990, v:20, n:2, pp:133-155 [Journal ] Marco Annaratone , Emmanuel A. Arnould , Thomas R. Gross , H. T. Kung , Monica S. Lam , Onat Menzilcioglu , Jon A. Webb The Warp Computer: Architecture, Implementation, and Performance. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1987, v:36, n:12, pp:1523-1538 [Journal ] Thomas R. Gross , John L. Hennessy , Steven A. Przybylski , Christopher Rowen Measurement and Evaluation of the MIPS Architecture and Processor. [Citation Graph (0, 0)][DBLP ] ACM Trans. Comput. Syst., 1988, v:6, n:3, pp:229-257 [Journal ] Stefan Freudenberger , Thomas R. Gross , P. Geoffrey Lowney Avoidance and Supression of Compensation Code in a Trace Scheduling Compiler. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1994, v:16, n:4, pp:1156-1214 [Journal ] John L. Hennessy , Thomas R. Gross Postpass Code Optimization of Pipeline Constraints. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 1983, v:5, n:3, pp:422-448 [Journal ] Guei-Yuan Lueh , Thomas R. Gross , Ali-Reza Adl-Tabatabai Fusion-based register allocation. [Citation Graph (0, 0)][DBLP ] ACM Trans. Program. Lang. Syst., 2000, v:22, n:3, pp:431-470 [Journal ] Jürg Bolliger , Thomas R. Gross A Framework-Based Approach to the Development of Network-Aware Applications. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Software Eng., 1998, v:24, n:5, pp:376-390 [Journal ] Stephanie Balzer , Thomas R. Gross , Patrick Eugster A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships. [Citation Graph (0, 0)][DBLP ] ECOOP, 2007, pp:323-346 [Conf ] Valery Naumov , Thomas R. Gross Connectivity-Aware Routing (CAR) in Vehicular Ad-hoc Networks. [Citation Graph (0, 0)][DBLP ] INFOCOM, 2007, pp:1919-1927 [Conf ] Christoph Angerer , Thomas Gross Model and Architecture of a Timing Service for Adaptive Policy-Based Management Systems. [Citation Graph (0, 0)][DBLP ] INFOCOM, 2006, pp:- [Conf ] Florian Schneider , Mathias Payer , Thomas R. Gross Online optimizations driven by hardware performance monitoring. [Citation Graph (0, 0)][DBLP ] PLDI, 2007, pp:373-382 [Conf ] Variant-based competitive parallel execution of sequential programs. [Citation Graph (, )][DBLP ] A Case Study for Aspect Based Updating. [Citation Graph (, )][DBLP ] Annotations for Seamless Aspect Based SW Evolution. [Citation Graph (, )][DBLP ] Performance of TCP in Multi-Hop Access Networks. [Citation Graph (, )][DBLP ] Automatic Generation of Object Usage Specifications from Large Method Traces. [Citation Graph (, )][DBLP ] Thread Safety through Partitions and Effect Agreements. [Citation Graph (, )][DBLP ] Programming with Intervals. [Citation Graph (, )][DBLP ] Validation of a miniaturized wireless network testbed. [Citation Graph (, )][DBLP ] Modular reasoning about invariants over shared state with interposed data members. [Citation Graph (, )][DBLP ] Generating low-overhead dynamic binary translators. [Citation Graph (, )][DBLP ] Search in 0.105secs, Finished in 0.110secs