Theodore S. Norvell

According to our database, Theodore S. Norvell authored at least 15 papers between 1989 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

AEIPA: Docker-based system for Automated Evaluation of Image Processing Algorithms.

Acil Abdel Naby, Mohamed S. Shehata, Theodore S. Norvell

Proceedings of the 30th IEEE Canadian Conference on Electrical and Computer Engineering, 2017

2011

Analysis of Inner-Loop Mapping onto Coarse-Grained Reconfigurable Architectures Using Hybrid Particle Swarm Optimization.

Rani Gnanaolivu, Theodore S. Norvell, Ramachandran Venkatesan

Int. J. Organ. Collect. Intell., 2011

2010

Mapping loops onto Coarse-Grained Reconfigurable Architectures using Particle Swarm Optimization.

Rani Gnanaolivu, Theodore S. Norvell, Ramachandran Venkatesan

Proceedings of the Second International Conference of Soft Computing and Pattern Recognition, 2010

2009

Adding Test Generation to the Teaching Machine.

Michael Bruce-Lockhart, Theodore S. Norvell, Pierluigi Crescenzi

ACM Trans. Comput. Educ., 2009

Rich content plug-ins for the teaching machine.

Theodore S. Norvell, Michael Bruce-Lockhart

Proceedings of the 14th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2009

A grainless semantics for the HARPO/L language.

Theodore S. Norvell

Proceedings of the 22nd Canadian Conference on Electrical and Computer Engineering, 2009

2008

Integrating test generation functionality into the Teaching Machine environment.

Michael Bruce-Lockhart, Pilu Crescenzi, Theodore S. Norvell

Proceedings of the Fifth Program Visualization Workshop, 2008

2006

Program and Algorithm Visualization in Engineering and Physics.

Michael Bruce-Lockhart, Theodore S. Norvell, Yiannis Cotronis

Proceedings of the Fourth Program Visualization Workshop, 2006

Interactive embedded examples: a demonstration.

Michael Bruce-Lockhart, Theodore S. Norvell

Proceedings of the 11th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2006

1997

Predicative semantics of loops.

Theodore S. Norvell

Proceedings of the Algorithmic Languages and Calculi, 1997

1994

A predicative theory of machine languages and its application to compiler correctness.

Theodore S. Norvell

PhD thesis, 1994

Machine Code Programs are Predicates Too.

Theodore S. Norvell

Proceedings of the 6th Refinement Workshop, 1994

1993

Induce-Statements and Induce-Expressions: Constructs for Inductive Programming.

Theodore S. Norvell

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

1992

Logical Specifications for Functional Programs.

Theodore S. Norvell, Eric C. R. Hehner

Proceedings of the Mathematics of Program Construction, Second International Conference, Oxford, UK, June 29, 1992

1989

Aggregative Closure: An Extension of Transitive Closure.

Isabel F. Cruz, Theodore S. Norvell

Proceedings of the Fifth International Conference on Data Engineering, 1989