Research Output

Filter
Conference article

ACLA: A framework for Access Control List (ACL) analysis and optimization

Qian, J., Hinrichs, S. & Nahrstedt, K., Jan 1 2001, In : IFIP Advances in Information and Communication Technology. 64, p. 197-211 15 p.

Research output: Contribution to journalConference article

Achieving nonvanishing stability regions with high-gain cheap control using H techniques: The second order case

Toussaint, G. J. & Basar, T., 1999, In : Proceedings of the American Control Conference. 2, p. 1279-1283 5 p.

Research output: Contribution to journalConference article

Achieving high instruction cache performance with an optimizing compiler.

Hwu, W-M. W. & Chang, P. P., May 1 1989, In : Conference Proceedings - Annual Symposium on Computer Architecture. 16, p. 242-251 10 p.

Research output: Contribution to journalConference article

Achievable bounds on signal transition activity

Ramprasad, S., Shanbhag, N. R. & Hajj, I. N., Dec 1 1997, In : IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers. p. 126-129 4 p.

Research output: Contribution to journalConference article

Accurate and efficient predicate analysis with binary decision diagrams

Sias, J. W., Hwu, W. M. W. & August, D. I., Jan 1 2000, In : Proceedings of the Annual International Symposium on Microarchitecture. p. 112-123 12 p.

Research output: Contribution to journalConference article

AccMon: Automatically detecting memory-related bugs via program counter-based invariants

Zhou, P., Liu, W., Fei, L., Lu, S., Qin, F., Zhou, Y., Midkiff, S. & Torrellas, J., Dec 1 2004, In : Proceedings of the Annual International Symposium on Microarchitecture, MICRO. p. 269-280 12 p.

Research output: Contribution to journalConference article

A categorical approach to simulations

Palomino, M., Meseguer, J. & Martí-Oliet, N., 2005, In : Lecture Notes in Computer Science. 3629, p. 313-330 18 p.

Research output: Contribution to journalConference article

A Bluetooth loop scatternet formation algorithm

Zhang, H., Hou, J. C. & Sha, L., Jul 18 2003, In : IEEE International Conference on Communications. 2, p. 1174-1180 7 p.

Research output: Contribution to journalConference article

A BGP attack against traffic engineering

Kim, J., Ko, S. Y., Nicol, D. M., Dimitropoulos, X. A. & Riley, G. F., Dec 1 2004, In : Proceedings - Winter Simulation Conference. 1, p. 318-326 9 p.

Research output: Contribution to journalConference article

A 3D path-following approach for a multirotor UAV on SO(3)

Cichella, V., Choe, R., Mehdi, S. B., Xargay, E., Hovakimyan, N., Kaminer, I. & Dobrokhodov, V., Jan 1 2013, In : IFAC Proceedings Volumes (IFAC-PapersOnline). 2, PART 1, p. 13-18 6 p.

Research output: Contribution to journalConference article

100 nanometer scale resistive heater-thermometer on a silicon cantilever

Dai, Z., Park, K. & King, W. P., Jun 1 2009, In : Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS). p. 543-546 4 p., 4805439.

Research output: Contribution to journalConference article