Computer Science

College of Engineering

Works Published in 2003

copy embed code
Copy Embed Code Experiment

You can embed this resource into your own website. To do so, either use the code generated by us, or use the link and tweak the rest to your preferences. Copy the respective code or link below.

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

By: J. Doyle & M. McGeachie

Source: ORCID
Added: December 6, 2019

2003 article

SATbed User Documentation

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

By: M. Stallmann, F. Brglez & X. Li

Source: ORCID
Added: December 6, 2019

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.

By: F. Brglez, M. Stallmann & X. Li

Event: Citeseer

Source: ORCID
Added: December 6, 2019

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.

By: X. Li, M. Stallmann & F. Brglez

Source: ORCID
Added: December 6, 2019

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.

By: X. Li, M. Stallmann & F. Brglez

Event: Springer, Berlin, Heidelberg

Source: ORCID
Added: December 6, 2019

2003 article

Exercising Qualitative Control in Autonomous Adaptive Survivable Systems

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

Source: ORCID
Added: December 5, 2019

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).

By: W. Long*, J. Doyle, G. Burke* & P. Szolovits*

Ed(s): P. Willett & T. Kirubarajan

Source: ORCID
Added: December 5, 2019

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.

By: E. Gehringer

Event: 2003 ASEE Annual Conference and Exposition at Nashville, TN on June 22-25, 2003

Sources: NC State University Libraries, ORCID
Added: June 12, 2019

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.

By: E. Gehringer

Event: 2003 ASEE Annual Conference and Exposition at Nashville, TN on June 22-25, 2003

Sources: NC State University Libraries, ORCID
Added: June 12, 2019

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.

By: E. Gehringer

Event: 2003 ASEE Annual Conference and Exposition at Nashville, TN on June 22-25, 2003

Sources: NC State University Libraries, ORCID
Added: June 12, 2019

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.

By: E. Gehringer

Event: 2003 ASEE Annual Conference and Exposition at Nashville, TN on June 22-25, 2003

Sources: NC State University Libraries, ORCID
Added: June 12, 2019

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.

By: E. Gehringer

Event: the 2003 workshop

Sources: Crossref, ORCID
Added: March 30, 2019

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.

By: E. Gehringer

Event: Companion of the 18th annual ACM SIGPLAN conference

Sources: Crossref, ORCID
Added: March 30, 2019

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

Source: ORCID
Added: December 6, 2018

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

Source: ORCID
Added: December 6, 2018

2003 book

Computer algebra handbook foundations, applications, systems

Source: NC State University Libraries
Added: August 6, 2018

2003 patent

Gallium nitride materials and methods

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

Source: NC State University Libraries
Added: August 6, 2018

2003 patent

Gallium nitride material devices and methods including backside vias

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

By: T. Weeks, E. Piner, R. Borges & K. Linthicum

Source: NC State University Libraries
Added: August 6, 2018

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.

By: A. Anantaraman, K. Seth, K. Patil, E. Rotenberg & F. F. Mueller

Source: NC State University Libraries
Added: August 6, 2018

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.

Source: NC State University Libraries
Added: August 6, 2018