Repository Home
Grey Literature
Technical Reports
Department of Computer Science Technical Reports
Browsing Department of Computer Science Technical Reports by Title

Browsing Department of Computer Science Technical Reports by Title

Now showing items 21-40 of 441

A process algebra with distributed priorities

Cleaveland, W. Rance, II; Luettgen, Gerald; Natarajan, V. (North Carolina State University. Dept. of Computer Science, 1996)
A refined production rule model for aiding in regulatory compliance

Maxwell, Jeremy C.; Anton, Ana I. (North Carolina State University. Dept. of Computer Science, 2010)
A scenario management case study: Measuring scenario similarity in the EMS

Bode, Laura J. (North Carolina State University. Dept. of Computer Science, 2002)
A sequence of bounds for the problem of minimizing electronic routing in wavelength routed optical rings

Dutta, Rudra; Rouskas, George N. (North Carolina State University. Dept. of Computer Science, 2000)
A social semantics for agent communication languages

Singh, Munindar P. (North Carolina State University. Dept. of Computer Science, 1999)
A software framework for efficient preemptive scheduling on GPU

Shen, Xipeng; Zhou, Huiyang; Chen, G. (North Carolina State University. Dept. of Computer Science, 2016)
A Strategy-Aware Technique for Learning Behaviors from Discrete Human Feedback

Loftin, Robert; MacGlashan, James; Littman, Michael L.; Taylor, Matthew E.; Roberts, David L. (North Carolina State University. Dept. of Computer Science, 2014)
A study of a formal model for view selection for aggregate queries

Talebi, Zohreh Asgharzadeh; Chirkova, Rada Y.; Fathi, Yahya (North Carolina State University. Dept. of Computer Science, 2006)
A study of a formal model for view selection for aggregate queries

Asgharzadeh Talebi, Z.; Chirkova, Rada Y.; Fathi, Yahya (North Carolina State University. Dept. of Computer Science, 2007)
A study of static analysis for fault detection in software

Zheng, Jiang; Williams, Laurie Ann; Nagappan, Nachiappan; Snipes, Will; Hudepohl, John; Vouk, Mladen A. (North Carolina State University. Dept. of Computer Science, 2005)
A survery of preference elicitation

Dennis, Brent M.; Healey, Christopher G. (North Carolina State University. Dept. of Computer Science, 2005)
A survey of display device properties and visual acuity for visualization

Sawant, Amit P.; Healey, Christopher G. (North Carolina State University. Dept. of Computer Science, 2005)
A survey of methods for computing large sparse matrix exponentials arising in Markov modelling

Sidje, Roger B.; Stewart, William J. (North Carolina State University. Dept. of Computer Science, 1996)
A survey of virtual topology design algorithms for wavelength routed optical networks

Dutta, Rudra; Rouskas, George N. (North Carolina State University. Dept. of Computer Science, 1999)
A survey on code coverage as a stopping criterion for unit testing

Smith, Ben; Williams, Laurie Ann (North Carolina State University. Dept. of Computer Science, 2008)
A Systematic Examination of Inter-App Conflicts Detections in Open IoT Systems

Shen, Xipeng; Zhang, Lei; Li, Xinyi (North Carolina State University. Dept. of Computer Science, 2017)
A systematic literature review of actionable alert identification techniques for automated static code analysis

Heckman, Sarah Smith; Williams, Laurie Ann (North Carolina State University. Dept. of Computer Science, 2010)
A test generation for pairwise testing

Lei, Yu; Tai, K. C. (North Carolina State University. Dept. of Computer Science, 2001)
A two-stage stochastic view selection problem in database management systems

Huang, Rong; Chirkova, Rada Y.; Fathi, Yahya (North Carolina State University. Dept. of Computer Science, 2011)
Accessing queries using views

Afrati, F.; Chirkova, Rada Y.; Mitra, Prasenjit (North Carolina State University. Dept. of Computer Science, 2005)

Now showing items 21-40 of 441