College of Engineering
Displaying works 41 - 60 of 115 in total
Sorted by most recent date added to the index first, which may not be the same as publication date order.
2003 book
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
2003 article
SATbed User Documentation
https://people.engr.ncsu.edu/mfms/Publications/2003-SATbed-home-guide.pdf
2003 conference paper
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.
Event: Citeseer
2003 conference paper
QingTing: a fast SAT solver using local search and efficient unit propagation
Sixth International Conference on Theory and Applications of Satisfiability Testing, 1.
2003 conference paper
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.
Event: Springer, Berlin, Heidelberg
2003 article
Exercising Qualitative Control in Autonomous Adaptive Survivable Systems
Self-Adaptive Software: Applications, pp. 158–170.
2003 conference paper
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).
Ed(s): P. Willett & T. Kirubarajan
2003 conference paper
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.
Event: 2003 ASEE Annual Conference and Exposition at Nashville, TN on June 22-25, 2003
2003 conference paper
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.
Event: 2003 ASEE Annual Conference and Exposition at Nashville, TN on June 22-25, 2003
2003 conference paper
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.
Event: 2003 ASEE Annual Conference and Exposition at Nashville, TN on June 22-25, 2003
2003 conference paper
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.
Event: 2003 ASEE Annual Conference and Exposition at Nashville, TN on June 22-25, 2003
2003 conference paper
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.
Event: the 2003 workshop
2003 conference paper
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.
Event: Companion of the 18th annual ACM SIGPLAN conference
2003 conference paper
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
2003 book
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
2003 book
Computer algebra handbook foundations, applications, systems
2003 patent
Gallium nitride materials and methods
Washington, DC: U.S. Patent and Trademark Office.
2003 patent
Gallium nitride material devices and methods including backside vias
Washington, DC: U.S. Patent and Trademark Office.
2003 conference paper
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.
2003 conference paper
FAST: Frequency-Aware Static Timing analysis
RTSS 2003: 24th IEEE International Real-Time Systems Symposium: 3-5 December, 2003, Cancun, Mexico, 40–51.