Research Output per year
Research Output 1972 2020
- 150 - 200 out of 597 results
- Publication Year, Title (descending)
2008
Floodless in seattle: A scalable ethernet architecture for large enterprises
Kim, C., Caesar, M. & Rexford, J., Dec 1 2008, In : Computer Communication Review. 38, 4, p. 3-14 12 p.Research output: Contribution to journal › Conference article
Ethernet
Scalability
Industry
Network management
Network architecture
Granular segregation studies for retroreflector sensor development
Hill, K. M., Fan, Y., Zhang, J., Bernhard, J. T. & Hagness, S. C., Jun 2 2008, In : Proceedings of SPIE - The International Society for Optical Engineering. 6932, 693245.Research output: Contribution to journal › Conference article
retroreflectors
Segregation
radar targets
Sensor
sensors
Operational termination of membership equational programs: The order-sorted way
Lucas, S. & Meseguer, J., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 189-205 17 p.Research output: Contribution to journal › Conference article
Termination
Equational Logic
Rewriting
Logic Programs
Axioms
Reconfigurable control system design for future life support systems
Jiang, H., Rodriguez, L. F., Bell, S. & Kortenkamp, D., Jan 1 2008, In : SAE Technical Papers.Research output: Contribution to journal › Conference article
Systems analysis
Control systems
Flight control systems
Intelligent control
Automation
Reversible nanoscale local wettability modifications by thermochemical nanolithography
Wang, D., Okada, T., Szoszkiewicz, R., Jones, S. C., Lucas, M., Lee, J., King, W. P., Marder, S. R. & Riedo, E., Dec 1 2008, In : Materials Research Society Symposium Proceedings. 1059, p. 37-42 6 p.Research output: Contribution to journal › Conference article
Nanolithography
wettability
Wetting
Polymer films
polymers
Variant Narrowing and equational unification
Escobar, S., Meseguer, J. & Sasse, R., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 91-105 15 p.Research output: Contribution to journal › Conference article
Unification
Modulo
Union
Symbolic Analysis
Reachability Analysis
2007
Locality sensitive discriminant analysis
Cai, D., He, X., Zhou, K., Han, J. & Bao, H., Dec 1 2007, In : IJCAI International Joint Conference on Artificial Intelligence. p. 708-713 6 p.Research output: Contribution to journal › Conference article
Discriminant analysis
Labels
Experiments
Modeling stochastic performance and random failure
Jiang, H., Bhalerao, K., Rodríguez, L. F., Bell, S., Kortenkamp, D. & Soboyejo, A., Jan 1 2007, In : SAE Technical Papers.Research output: Contribution to journal › Conference article
NASA
Testing
Hardware
Chemical reactions
Repair
Regular strategies as proof tactics for CIRC
Lucanu, D., Rosu, G. & Grigoraş, G., Dec 1 2007, In : Electronic Notes in Theoretical Computer Science. p. 69-83 15 p.Research output: Contribution to journal › Conference article
Rewriting
Engines
Coinduction
Maude
Regular Expressions
Reliable on-demand management operations for large-scale distributed applications
Liang, J., Gupta, I. & Nahrstedt, K., Oct 1 2007, In : Operating Systems Review (ACM). 41, 5, p. 82-88 7 p.Research output: Contribution to journal › Conference article
Overlay networks
Bandwidth
Data storage equipment
Monitoring
Testing heuristic tools for life support system analysis
Rodríguez, L. F., Jiang, H., Bell, S. & Kortenkamp, D., Jan 1 2007, In : SAE Technical Papers.Research output: Contribution to journal › Conference article
Systems analysis
Testing
Genetic algorithms
Experiments
2006
Automotive vapor compression cycles: Validation of control-oriented models
Eldredge, B., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.Research output: Contribution to journal › Conference article
Vapors
Fluid dynamics
Air conditioning
Controllers
Improving energy efficiency in automotive vapor compression cycles through advanced control design
Keir, M., Rasmussen, B. & Alleyne, A. G., Jan 1 2006, In : SAE Technical Papers.Research output: Contribution to journal › Conference article
Energy efficiency
Vapors
Compressors
Evaporators
Air conditioning
Some observations on supervisory policies that enforce liveness in partially controlled Free-choice Petri nets
Sreenivas, R. S., Feb 24 2006, In : Mathematics and Computers in Simulation. 70, 5-6, p. 266-274 9 p.Research output: Contribution to journal › Conference article
Liveness
Petri nets
Petri Nets
Arc of a curve
Observation
Study of Error Vector Magnitude Patterns (EVRP) for a transmit/receive pair of microstrip patch antennas
Huff, G. H., Soldner, N., Palmer, W. D. & Bernhard, J. T., Dec 1 2006, In : IEEE Antennas and Propagation Society, AP-S International Symposium (Digest). p. 449-452 4 p., 1710555.Research output: Contribution to journal › Conference article
Microstrip antennas
Antennas
Availability
Bandwidth
Experiments
Supporting reconfigurable object distribution for customizable Web applications
Chang, P. H. & Agha, G., Jan 1 2006, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4277 LNCS - I, p. 32-33 2 p.Research output: Contribution to journal › Conference article
Web Application
Object
2005
A deterministic annealing approach to combinatorial library design for drug discovery
Sharma, P., Salapaka, S. & Beck, C., Sep 1 2005, In : Proceedings of the American Control Conference. 2, p. 979-984 6 p., WeB13.4.Research output: Contribution to journal › Conference article
Annealing
Lead compounds
Lead
Drug Discovery
An architectural framework for detecting process hangs/crashes
Nakka, N., Saggese, G. P., Kalbarczyk, Z. & Iyer, R. K., Sep 26 2005, In : Lecture Notes in Computer Science. 3463, p. 103-121 19 p.Research output: Contribution to journal › Conference article
Crash
Hardware
Instrumentation
Detectors
Error detection
Application of Perceptual Difference Model (PDM) on regularization techniques of parallel MR imaging
Huo, D., Xu, D., Ying, L., Liang, Z. P. & Wilson, D., Sep 19 2005, In : Progress in Biomedical Optics and Imaging - Proceedings of SPIE. 5749, p. 476-483 8 p., 52.Research output: Contribution to journal › Conference article
Image quality
Imaging techniques
sensitivity
ratings
Magnetic resonance
A sufficient completeness reasoning tool for partial specifications
Hendrix, J., Clavel, M. & Meseguer, J., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 165-174 10 p.Research output: Contribution to journal › Conference article
Completeness
Reasoning
Specification
Sufficient
Specifications
A survey and comparison of peer-to-peer group communication systems suitable for network-centric warfare
Anwar, Z., Yurcik, W. & Campbell, R. H., Nov 15 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5820, p. 33-44 12 p., 05.Research output: Contribution to journal › Conference article
warfare
Group Communication
Peer-to-peer Systems
Military operations
Peer to Peer
Automatic model-driven recovery in distributed systems
Joshi, K. R., Hiltunen, M. A., Sanders, W. H. & Schlichting, R. D., Dec 1 2005, In : Proceedings of the IEEE Symposium on Reliable Distributed Systems. p. 25-36 12 p., 1541182.Research output: Contribution to journal › Conference article
Distributed Systems
Recovery
Monitoring
Optimal Recovery
Fault Injection
AVPUC: Automatic video production with user customization
Yu, B. & Nahrstedt, K., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5680, p. 203-215 13 p., 21.Research output: Contribution to journal › Conference article
Customization
evaluation
Video cameras
Camera
cameras
Behavioral extensions of institutions
Popescu, A. & Rosu, G., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 331-347 17 p.Research output: Contribution to journal › Conference article
Logic
Equivalence
Concretes
Reasoning
Partial
BIBO stability of an adaptive time-frequency Iterative Learning Control with application to microscale robotic deposition
Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4518-4524 7 p., FrB17.3.Research output: Contribution to journal › Conference article
Ink
Robotics
Robots
Adaptive algorithms
Systems analysis
Centralized and decentralized powertrain controllers for an earthmoving vehicle
Gupta, P. & Alleyne, A., Sep 1 2005, In : Proceedings of the American Control Conference. 3, p. 1613-1618 6 p., WeC14.3.Research output: Contribution to journal › Conference article
Powertrains
Controllers
Scheduling
Complete symbolic reachability analysis using back-and-forth narrowing
Thati, P. & Meseguer, J., Oct 26 2005, In : Lecture Notes in Computer Science. 3629, p. 379-394 16 p.Research output: Contribution to journal › Conference article
Symbolic Analysis
Reachability Analysis
Concurrent Systems
Decision Procedures
Acoustic waves
Congruences for visibly pushdown languages
Alur, R., Kumar, V., Parthasarathy, M. & Viswanathan, M., Oct 19 2005, In : Lecture Notes in Computer Science. 3580, p. 1102-1114 13 p.Research output: Contribution to journal › Conference article
Context free languages
Formal languages
Syntactics
Congruence
Polynomials
Continuous optimization
Fahs, B., Rafacz, T., Patel, S. J. & Lumetta, S. S., Nov 10 2005, In : Proceedings - International Symposium on Computer Architecture. p. 86-97 12 p.Research output: Contribution to journal › Conference article
Hardware
Pipelines
Data storage equipment
Detecting errors in multithreaded programs by generalized predictive analysis of executions
Sen, K., Roşu, G. & Agha, G., Oct 17 2005, In : Lecture Notes in Computer Science. 3535, p. 211-226 16 p.Research output: Contribution to journal › Conference article
Concurrent Systems
Violate
Trace
Runtime Analysis
Specification
Distributed architectures and implementations of observer based controllers for performance optimization
Yadav, V., Voulgaris, P. G. & Salapaka, M. V., Sep 1 2005, In : Proceedings of the American Control Conference. 7, p. 4844-4849 6 p.Research output: Contribution to journal › Conference article
Controllers
Communication
Parameterization
Distributed optimal contention window control for elastic traffic in wireless LANs
Yang, Y., Wang, J. & Kravets, R. H., Oct 10 2005, In : Proceedings - IEEE INFOCOM. 1, p. 35-46 12 p.Research output: Contribution to journal › Conference article
Local area networks
Telecommunication traffic
Frequency allocation
Efficient monitoring of ω-languages
D'Amorim, M. & Rosu, G., Oct 19 2005, In : Lecture Notes in Computer Science. 3576, p. 364-378 15 p.Research output: Contribution to journal › Conference article
Formal languages
Regular Languages
Finite automata
State Machine
Monitoring
Estimation of corrosion damage in steel reinforced mortar using waveguides
Reis, H., Ervin, B. L., Kuchma, D. A. & Bernhard, J., Oct 7 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5767, p. 98-107 10 p., 13.Research output: Contribution to journal › Conference article
Mortar
Steel
Corrosion
Waveguide
corrosion
Experiences with starfield visualizations for analysis of library collections
Sánchez, J. A., Twidale, M. B., Nichols, D. M. & Silva, N. N., Jul 20 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5669, p. 215-225 11 p., 22.Research output: Contribution to journal › Conference article
Visualization
Visual Data Mining
Learnability
data mining
Digital libraries
Formally defining and verifying Master/Slave Speculative Parallelization
Salverda, P., Rosu, G. & Zilles, C., Oct 19 2005, In : Lecture Notes in Computer Science. 3582, p. 123-138 16 p.Research output: Contribution to journal › Conference article
Parallelization
Sequential machines
Correctness
Refining
Microprocessor chips
Foundations for the run-time monitoring of reactive systems fundamentals of the MaC language
Viswanathan, M. & Kim, M., Sep 19 2005, In : Lecture Notes in Computer Science. 3407, p. 543-556 14 p.Research output: Contribution to journal › Conference article
Reactive Systems
Monitoring
Automata
Language
Class
From conditional to unconditional rewriting
Roşu, G., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 218-233 16 p.Research output: Contribution to journal › Conference article
Rewriting
Engines
Experiments
Engine
Optimise
GraphMiner: A structural pattern-mining system for large disk-based graph databases and its applications
Wang, W., Wang, C., Zhu, Y., Shi, B., Pei, J., Yan, X. & Han, J., Dec 1 2005, In : Proceedings of the ACM SIGMOD International Conference on Management of Data. p. 879-881 3 p.Research output: Contribution to journal › Conference article
Java-MOP: A monitoring oriented programming environment for java
Chen, F. & Rosu, G., Sep 20 2005, In : Lecture Notes in Computer Science. 3440, p. 546-550 5 p.Research output: Contribution to journal › Conference article
Programming Environments
Java
Software engineering
Monitoring
Specifications
Localized fairness: A rewriting semantics
Meseguer, J., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 250-263 14 p.Research output: Contribution to journal › Conference article
Rewriting
Fairness
Semantics
Thread
Standard Model
Monotonic convergence of iterative learning control for uncertain systems using a time-varying Q-filter
Bristow, D. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 1, p. 171-177 7 p., WeA06.1.Research output: Contribution to journal › Conference article
Uncertain systems
Trajectories
Bandwidth
Natural narrowing for general term rewriting systems
Escobar, S., Meseguer, J. & Thati, P., Sep 26 2005, In : Lecture Notes in Computer Science. 3467, p. 279-293 15 p.Research output: Contribution to journal › Conference article
Term Rewriting Systems
Symbolic Model Checking
Functional programming
Theorem proving
Functional Programming
Natural rewriting for general term rewriting systems
Escobar, S., Meseguer, J. & Thati, P., Oct 18 2005, In : Lecture Notes in Computer Science. 3573, p. 101-116 16 p.Research output: Contribution to journal › Conference article
Term Rewriting Systems
Functional programming
Theorem proving
Logic programming
Rewriting
New sensitivity analysis attack
El Choubassi, M. & Moulin, P., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 734-745 12 p., 72.Research output: Contribution to journal › Conference article
sensitivity analysis
attack
Sensitivity analysis
Sensitivity Analysis
Attack
On achievable error exponents for watermarking
Moulin, P. & Wang, Y., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5681, p. 308-317 10 p., 31.Research output: Contribution to journal › Conference article
Error Exponent
Watermarking
attack
Attack
exponents
On computational complexity of counting fixed points in symmetric boolean graph automata
Tošić, P. T. & Agha, G. A., Oct 31 2005, In : Lecture Notes in Computer Science. 3699, p. 191-205 15 p.Research output: Contribution to journal › Conference article
Automata
Counting
Computational complexity
Dynamical systems
Computational Complexity
On statistical model checking of stochastic systems
Sen, K., Viswanathan, M. & Agha, G. A., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 266-280 15 p.Research output: Contribution to journal › Conference article
Stochastic systems
Model checking
Stochastic Systems
Model Checking
Statistical Model
On the complexity of error explanation
Kumar, N., Kumar, V. & Viswanathan, M., Sep 9 2005, In : Lecture Notes in Computer Science. 3385, p. 448-464 17 p.Research output: Contribution to journal › Conference article
Finite automata
State Machine
Trace
Counterexample
Pushdown Automata
On-the-fly reachability and cycle detection for recursive state machines
Alur, R., Chaudhuri, S., Etessami, K. & Madhusudan, P., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 61-76 16 p.Research output: Contribution to journal › Conference article
State Machine
Reachability
Cycle
Liveness
Model checking