Computer Science

Exercising qualitative control in autonomous adaptive survivable systems

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2614, pp. 158–170). http://www.scopus.com/inward/record.url?eid=2-s2.0-35248852939&partnerID=MN8TOARS

SATbed User Documentation

https://people.engr.ncsu.edu/mfms/Publications/2003-SATbed-home-guide.pdf

SATbed: A Configurable Environment for Reliable Performance Experiments with SAT Instance Classes and Algorithms

Proc. 6th Int. Conf. on Theory and Applications of Satisfiability Testing, 5–8.

QingTing: a fast SAT solver using local search and efficient unit propagation

Sixth International Conference on Theory and Applications of Satisfiability Testing, 1.

A local search SAT solver using an effective switching strategy and an efficient unit propagation

International Conference on Theory and Applications of Satisfiability Testing, 53–68.

Exercising Qualitative Control in Autonomous Adaptive Survivable Systems

Self-Adaptive Software: Applications, pp. 158–170.

Detection of intrusion across multiple sensors

In P. K. Willett & T. Kirubarajan (Eds.), System Diagnosis and Prognosis: Security and Condition Monitoring Issues III (Vol. 5107, pp. 141–149).

A database and search engine for sharing fine-grained course materials over the Web

Proceedings of the 2003 ASEE Annual Conference and Exposition. Presented at the 2003 ASEE Annual Conference and Exposition, Nashville, TN.

Is pair programming an effective way to learn computer architecture?

Proceedings of the 2003 ASEE Annual Conference and Exposition. Presented at the 2003 ASEE Annual Conference and Exposition, Nashville, TN.

Electronic peer review builds resources for teaching computer architecture

Proceedings of the 2003 ASEE Annual Conference and Exposition. Presented at the 2003 ASEE Annual Conference and Exposition, Nashville, TN.

Why aren't course-management systems penetrating faster?

Proceedings of the 2003 ASEE Annual Conference and Exposition. Presented at the 2003 ASEE Annual Conference and Exposition, Nashville, TN.

Building resources for teaching computer architecture through electronic peer review

Proceedings of the 2003 workshop on Computer architecture education Held in conjunction with the 30th International Symposium on Computer Architecture - WCAE '03. Presented at the the 2003 workshop.

A pair-programming experiment in a non-programming course

Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications - OOPSLA '03. Presented at the Companion of the 18th annual ACM SIGPLAN conference.

New GA approaches for pipe support optimization

Proceedings of the Structures Congress and Exposition, 61–62. http://www.scopus.com/inward/record.url?eid=2-s2.0-22344433506&partnerID=MN8TOARS

Asynchronous genetic algorithms for heterogeneous networks using coarse-grained dataflow

In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 2723, pp. 730–741). http://www.scopus.com/inward/record.url?eid=2-s2.0-35248893482&partnerID=MN8TOARS

Computer algebra handbook foundations, applications, systems

Gallium nitride materials and methods

Washington, DC: U.S. Patent and Trademark Office.

Gallium nitride material devices and methods including backside vias

Washington, DC: U.S. Patent and Trademark Office.

Virtual Simple Architecture (VISA): Exceeding the complexity limit in safe real-time systems

Computers and their applications :|bproceedings of the ISCA 16th International Conference, Seattle, Washington, USA, March 28-30, 2001, 350–361. Cary, NC: ISCA.

FAST: Frequency-Aware Static Timing analysis

RTSS 2003: 24th IEEE International Real-Time Systems Symposium: 3-5 December, 2003, Cancun, Mexico, 40–51.