,
- Akella, Prithvi (2023) Reliable
Controller Synthesis: Guarantees for Safety-Critical System Testing and
Verification; 10.7907/jej3-4444
- Cai, Karena Xin (2021) Safe
and Interpretable Autonomous Systems Design: Behavioral Contracts and
Semantic-Based Perception; 10.7907/w3m8-es32
- Phan-Minh, Tung (2021) Contract-Based
Design: Theories and Applications; 10.7907/8vp7-kd82
- Dathathri, Sumanth (2020) Scalable
Synthesis and Verification: Towards Reliable Autonomy; 10.7907/4j39-v857
- Filippidis, Ioannis (2019) Decomposing
Formal Specifications Into Assume-Guarantee Contracts for Hierarchical
System Design; 10.7907/Z9Q52MTD
- Ren, Xiaoqi (2018) Optimizing
Resource Management in Cloud Analytics Services; 10.7907/K62Y-FV39
- Peng, Qiuyu (2016) Distributed
Control and Optimization for Communication and Power Systems; 10.7907/Z99C6VBW
- Cai, Wuhan Desmond (2016) Electricity
Markets for the Smart Grid: Networks, Timescales, and Integration with
Control; 10.7907/Z9BG2KZG
- Asimakopoulos, Aristotelis (2015) Macroscopically
Dissipative Systems with Underlying Microscopic Dynamics : Properties
and Limits of Measurement; 10.7907/Z9V40S4N
- Gan, Lingwen (2015) Distributed
Load Control in Multiphase Radial Networks; 10.7907/Z9FQ9TJ0
- Wolff, Eric McKenzie (2014) Control
of Dynamical Systems with Temporal Logic Specifications; 10.7907/TGFR-SS39
- Olson, Michael James (2014) Cloud
Computing Services for Seismic Networks; 10.7907/5D60-FG88
- Liu, Zhenhua (2014) Sustainable
IT and IT for Sustainability; 10.7907/296T-HR79
- Florian, Mihai (2014) Analysis-Aware
Design of Embedded Systems Software; 10.7907/VB1N-Y042
- Faulkner, Matthew Nicholas (2014) Community
Sense and Response Systems; 10.7907/QFM5-FH06
- Bose, Subhonmesh (2014) An
Integrated Design Approach to Power Systems: From Power Flows to
Electricity Markets; 10.7907/FRGW-AF26
- Cheng, Ming Hei (2014) New
Applications that Come from Extending Seismic Networks into
Buildings; 10.7907/STB2-XR07
- DeLorimier, Michael John (2013) GRAph
Parallel Actor Language: A Programming Language for Parallel Graph
Algorithms; 10.7907/M3TW-7Y53
- Xu, Huan (2013) Design,
Specification, and Synthesis of Aircraft Electric Power Systems Control
Logic; 10.7907/QDJN-BB72
- Liu, Annie Hsin-Wen (2013) Sensor
Networks for Geospatial Event Detection - Theory and Applications;
10.7907/MZWJ-T222
- Lin, Minghong (2013) Algorithmic
Challenges in Green Data Centers; 10.7907/NRXJ-JB76
- Sojoudi, Somayeh (2013) Mathematical
Study of Complex Networks: Brain, Internet, and Power Grid; 10.7907/E750-2M74
- Gopalakrishnan, Ragavendran (2013) Characterizing
Distribution Rules for Cost Sharing Games; 10.7907/AWE2-H976
- Bakshi, Mayank (2012) Network
Coding and Distributed Compression over Large Networks: Some Basic
Principles; 10.7907/GWDW-5H78
- Nair, Jayakrishnan U. (2012) Scheduling
for Heavy-Tailed and Light-Tailed Workloads in Queueing Systems; 10.7907/AAXJ-EX10
- Bakshi, Mayank (2012) Network
Coding and Distributed Compression over Large Networks: Some Basic
Principles; 10.7907/GWDW-5H78
- Pilotto, Concetta (2011) Systematic
Design and Formal Verification of Multi-Agent Systems; 10.7907/SCQF-VP66
- White, Jerome S. (2011) Applying
Formal Methods to Distributed Algorithms Using Local-Global
Relations; 10.7907/8FRW-ZF17
- Lavaei, Javad (2011) Large-Scale
Complex Systems: From Antenna Circuits to Power Grids; 10.7907/CM46-5R54
- Wongpiromsarn, Tichakorn (2010) Formal
Methods for Design and Verification of Embedded Control Systems:
Application to an Autonomous Vehicle; 10.7907/XZ3X-7V51
- Capponi, Agostino (2009) Credit
Risk and Nonlinear Filtering: Computational Aspects and Empirical
Evidence; 10.7907/7XV3-9Q45
- Shi, Ling (2009) Resource
Optimization for Networked Estimator with Guaranteed Estimation
Quality; 10.7907/DTCJ-BN07
- Kalyanaraman, Shankar (2009) Limited
Randomness in Games, and Computational Perspectives in Revealed
Preference; 10.7907/KH85-HJ73
- Braman, Julia Marie Badger (2009) Safety
Verification and Failure Analysis of Goal-Based Hybrid Control
Systems; 10.7907/3H42-BF56
- Jang, Wonjin (2008) Soft-Error
Tolerant Quasi Delay-insensitive Circuits; 10.7907/ZVFF-WE07
- Jang, Wonjin (2008) Soft-Error
Tolerant Quasi Delay-insensitive Circuits; 10.7907/ZVFF-WE07
- Prakash, Piyush (2008) Throughput
Optimization of Quasi Delay Insensitive Circuits via Slack Matching;
10.7907/9HMY-RR92
- Epstein, Michael Steven (2008) Managing
Information in Networked and Multi-Agent Control Systems; 10.7907/84NT-9N46
- Mehyar, Mortada (2007) Distributed
Averaging and Efficient File Sharing on Peer-to-Peer Networks; 10.7907/Q9EV-S167
- Liu, Xin (2007) Robustness,
Complexity, Validation and Risk; 10.7907/JZX4-QN41
- Wei, Xiaoliang (David) (2007) Microscopic
Behavior of Internet Congestion Control; 10.7907/W5E3-9N04
- Martinez Estrada, Alfredo (2007) A
Treatise on Econometric Forecasting; 10.7907/WXN5-9A47
- Wang, Jiantao (2006) A
Theoretical Study of Internet Congestion Control: Equilibrium and
Dynamics; 10.7907/4DQ0-GA49
- Tang, Ao (Kevin) (2006) Heterogeneous
Congestion Control Protocols; 10.7907/eh43-pa83
- Țăpuș, Cristian (2006) Distributed
Speculations: Providing Fault-Tolerance and Improving Performance;
10.7907/YZCK-4T29
- Papadantonakis, Karl Spyros (2006) Rigorous
Analog Verification of Asynchronous Circuits; 10.7907/4R8F-WF03
- Prajna, Stephen (2005) Optimization-Based
Methods for Nonlinear and Hybrid Systems Verification; 10.7907/S3BJ-4M47
- Wong, Catherine Grace (2004) High-Level
Synthesis and Rapid Prototyping of Asynchronous VLSI Systems; 10.7907/5N2N-0W58
- Jiang, Anxiao (Andrew) (2004) Optimized
Network Data Storage and Topology Control; 10.7907/91R7-MH71
- Mauch, Sean Patrick (2003) Efficient
Algorithms for Solving Static Hamilton-Jacobi Equations; 10.7907/5R5P-Y603
- Zimmerman, Daniel Marc (2002) Dynamic
UNITY; 10.7907/AC6E-WE21
- Kiniry, Joseph Roland (2002) Kind
Theory; 10.7907/TVTD-E826
- Ginis, Roman (2002) Automating
Resource Management for Distributed Business Processes; 10.7907/9GXT-BD03
- Schooler, Eve Meryl (2001) Why
multicast protocols (don't) scale: an analysis of multipoint algorithms
for scalable group communication; 10.7907/44QZ-R465
- Zhu, Xiaoyun (2000) Hard
vs. soft bounds in probablilistic robustness analysis and generalized
source coding and optimal web layout design; 10.7907/1f3r-va82
- Parrilo, Pablo A. (2000) Structured
semidefinite programs and semialgebraic geometry methods in robustness
and optimization; 10.7907/2K6Y-CH43
- Manohar, Rajit (1999) The
impact of asynchrony on computer architecture; 10.7907/xzwa-p598
- Xu, Lihao (1999) Highly
available distributed storage systems; 10.7907/EQK9-8C84
- Primbs, James A. (1999) Nonlinear
optimal control: a receding horizon appoach; 10.7907/4AD2-0T48
- Sivilotti, Paolo A. G. (1998) A
method for the specification, composition, and testing of distributed
object systems; 10.7907/z89g-gm27
- Massingill, Berna Linda (1998) A
structured approach to parallel programming; 10.7907/5ma9-h225
- Watts, Jerrell R. (1998) Dynamic
load balancing and granularity control on heterogeneous and hybrid
architectures; 10.7907/gvgq-3d11
- Heirich, Alan Bryant (1998) Analysis
of scalable algorithms for dynamic load balancing and mapping with
application to photo-realistic rendering; 10.7907/ZVYW-H876
- Rieffel, Marc A. (1998) Performance
modeling for concurrent particle simulations; 10.7907/sx57-5d89
- Maskit, Daniel (1997) Software
register synchronization for super-scalar processors with partitioned
register files; 10.7907/tyap-ea69
- Cheng, Jung-Fu (1997) Iterative
decoding; 10.7907/ydj9-zq05
- Dabdub, Donald (1996) Mathematical
modeling of air pollution dynamics by parallel computation; 10.7907/k1ap-np35
- Thornley, John William (1996) A
parallel programming model with sequential semantics; 10.7907/mytw-er77
- Lee, Tak Kwan (1995) A
General Approach to Performance Analysis and Optimization of
Asynchronous Circuits; 10.7907/ehzs-y537
- Van der Goot, Marcel Rene (1995) Semantics
of VLSI synthesis; 10.7907/SR5V-KT18
- Hofstee, H. Peter (1995) Synchronizing
processes; 10.7907/G620-GG65
- Leino, K. Rustan M. (1995) Toward
reliable modular programs; 10.7907/ynt2-nn65
- Seizovic, Jakov N. (1994) The
architecture and programming of a fine-grain multicomputer; 10.7907/53vc-hs15
- Mouchtaris, Petros N. (1993) Analysis
of an interactive video architecture; 10.7907/A9Z4-N267
- Steele, Craig S. (1992) Affinity
: a concurrent programming system for multicomputers; 10.7907/syrm-sx30
- Barzel, Ronen (1992) A
structured approach to physically-based modeling for computer
graphics; 10.7907/tbgd-g285
- Gupta, Rajiv (1991) Compiler
Optimization of Data Storage; 10.7907/E8DD-VG68
- Burns, Steven Morgan (1991) Performance
analysis and optimization of asynchronous circuits; 10.7907/kez1-7q52
- Su, Wen-King (1990) Reactive-Process
Programming and Distributed Discrete-Event Simulation; 10.7907/9qzd-kv20
- Ngai, John Yee-Keung (1989) A
Framework for Adaptive Routing in Multicomputer Networks; 10.7907/a01h-0z81