Research Output 1972 2020

Filter
Conference article
2005

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

Local area networks
Telecommunication traffic
Frequency allocation

Efficient constructions for one-way hash chains

Hu, Y. C., Jakobsson, M. & Perrig, A., Oct 17 2005, In : Lecture Notes in Computer Science. 3531, p. 423-441 19 p.

Research output: Contribution to journalConference article

Hash Chain
Network protocols
Sensor networks
Data storage equipment
Electronic document identification systems

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

State Machine
Reachability
Cycle
Liveness
Model checking

On the use of SoS methods for analysis of connection-level stability in the internet

Lakshmikantha, A., Beck, C. L. & Srikant, R., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2705-2708 4 p., ThB13.4.

Research output: Contribution to journalConference article

Lyapunov functions
Internet

Optimizations for compiling declarative models into boolean formulas

Marinov, D., Khurshid, S., Bugrara, S., Zhang, L. & Rinard, M., Oct 17 2005, In : Lecture Notes in Computer Science. 3569, p. 187-202 16 p.

Research output: Contribution to journalConference article

Optimization
Reasoning
Model
Optimizing Compilers
First-order Logic

Perturbed timed automata

Alur, R., La Torre, S. & Madhusudan, P., Sep 14 2005, In : Lecture Notes in Computer Science. 3414, p. 70-85 16 p.

Research output: Contribution to journalConference article

Timed Automata
Clocks
Imperfect
Automata
Inclusion
Real time systems
Embedded systems
Response time (computer systems)
Recovery
Pendulums

Robust identification over networks

Ishii, H. & Başar, T., Sep 1 2005, In : Proceedings of the American Control Conference. 2, p. 1233-1238 6 p.

Research output: Contribution to journalConference article

Stabilization
Feedback
Bandwidth
Communication

Searching for related objects in relational databases

Yin, X., Han, J. & Yang, J., Dec 1 2005, In : Proceedings of the International Conference on Scientific and Statistical Database Management, SSDBM. p. 227-236 10 p.

Research output: Contribution to journalConference article

Scalability
Semantics
Experiments

Service composition for advanced multimedia applications

Liang, J. & Nahrstedt, K., Jul 21 2005, In : Proceedings of SPIE - The International Society for Optical Engineering. 5680, p. 228-240 13 p., 23.

Research output: Contribution to journalConference article

Multimedia Applications
Service Composition
multimedia
Data Flow
Chemical analysis

Stability and feedback control of wireless networked systems

Kawka, P. A. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 4, p. 2953-2959 7 p., ThC03.5.

Research output: Contribution to journalConference article

Feedback control
System stability
Hardware
Communication
Linear systems

Stable gain-scheduling on endogenous signals

Rasmussen, B. P. & Alleyne, A. G., Sep 1 2005, In : Proceedings of the American Control Conference. 3, p. 1895-1900 6 p.

Research output: Contribution to journalConference article

Scheduling
Controllers
Industry

Supporting dynamically changing authorizations in pervasive communication systems

Lee, A. J., Boyer, J. P., Drexelius, C., Naldurg, P., Hill, R. L. & Campbell, R. H., Sep 19 2005, In : Lecture Notes in Computer Science. 3450, p. 134-150 17 p.

Research output: Contribution to journalConference article

Authorization
Ubiquitous computing
Access control
Communication Systems
Communication systems

Symbolic compositional verification by learning assumptions

Alur, R., Madhusudan, P. & Nam, W., Oct 18 2005, In : Lecture Notes in Computer Science. 3576, p. 548-562 15 p.

Research output: Contribution to journalConference article

Compositional Verification
Formal languages
Model checking
Learning algorithms
Reasoning

Symstra: A framework for generating object-oriented unit tests using symbolic execution

Xie, T., Marinov, D., Schulte, W. & Notkin, D., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 365-381 17 p.

Research output: Contribution to journalConference article

Symbolic Execution
Object-oriented
Unit
Test Generation
Framework

The Java memory model

Manson, J., Pugh, W. & Adve, S. V., Dec 27 2005, In : Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 378-391 14 p.

Research output: Contribution to journalConference article

Data storage equipment
Computer programming languages
Semantics
Hardware

The LLVM compiler framework and infrastructure tutorial

Lattner, C. & Adve, V. S., Oct 19 2005, In : Lecture Notes in Computer Science. 3602, p. 15-16 2 p.

Research output: Contribution to journalConference article

Compiler
Infrastructure
Research and Development
Framework

Theoroidal maps as algebraic simulations

Martí-Oliet, N., Meseguer, J. & Palomino, M., Sep 14 2005, In : Lecture Notes in Computer Science. 3423, p. 126-143 18 p.

Research output: Contribution to journalConference article

Rewriting Logic
Simulation
Mathematical models
Fairness
Categorical

Trimaran: An infrastructure for research in instruction-level parallelism

Chakrapani, L. N., Gyllenhaal, J., Hwu, W-M. W., Mahlke, S. A., Palem, K. V. & Rabbah, R. M., Oct 19 2005, In : Lecture Notes in Computer Science. 3602, p. 32-41 10 p.

Research output: Contribution to journalConference article

Instruction Level Parallelism
Performance Monitoring
Infrastructure
Compiler Optimization
Module

Using language inference to verify omega-regular properties

Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., Sep 19 2005, In : Lecture Notes in Computer Science. 3440, p. 45-60 16 p.

Research output: Contribution to journalConference article

Fixpoint
Verify
Learning systems
Transducers
Transducer
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 journalConference 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 journalConference article

Energy efficiency
Vapors
Compressors
Evaporators
Air conditioning
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 journalConference article

Microstrip antennas
Antennas
Availability
Bandwidth
Experiments
Web Application
Object
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 journalConference 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 journalConference 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 journalConference 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 journalConference 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 journalConference article

Systems analysis
Testing
Genetic algorithms
Experiments
2008

A Rewriting semantics for Maude strategies

Martí-Oliet, N., Meseguer, J. & Verdejo, A., Dec 1 2008, In : Electronic Notes in Theoretical Computer Science. p. 207-226 20 p.

Research output: Contribution to journalConference article

Maude
Rewriting
Semantics
Requirements
Nondeterminism

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

Ethernet
Scalability
Industry
Network management
Network architecture