Theodore S. Norvell

15 papers A* 1B 3Journal 2Unranked 8
YearRankTypeTitle / Venue / Authors
2017 — conf
AEIPA: Docker-based system for Automated Evaluation of Image Processing Algorithms.
CCECE
Acil Abdel Naby, Mohamed S. Shehata, Theodore S. Norvell
2011 J jnl
Analysis of Inner-Loop Mapping onto Coarse-Grained Reconfigurable Architectures Using Hybrid Particle Swarm Optimization.
Int. J. Organ. Collect. Intell.
Rani Gnanaolivu, Theodore S. Norvell, Ramachandran Venkatesan
2010 — conf
Mapping loops onto Coarse-Grained Reconfigurable Architectures using Particle Swarm Optimization.
SoCPaR
Rani Gnanaolivu, Theodore S. Norvell, Ramachandran Venkatesan
2009 — conf
A grainless semantics for the HARPO/L language.
CCECE
Theodore S. Norvell
2009 J jnl
Adding Test Generation to the Teaching Machine.
ACM Trans. Comput. Educ.
Michael Bruce-Lockhart, Theodore S. Norvell, Pierluigi Crescenzi
2009 B conf
Rich content plug-ins for the teaching machine.
ITiCSE
Theodore S. Norvell, Michael Bruce-Lockhart
2008 — conf
Integrating test generation functionality into the Teaching Machine environment.
PVW
Michael Bruce-Lockhart, Pilu Crescenzi, Theodore S. Norvell
2006 B conf
Interactive embedded examples: a demonstration.
ITiCSE
Michael Bruce-Lockhart, Theodore S. Norvell
2006 — conf
Program and Algorithm Visualization in Engineering and Physics.
PVW
Michael Bruce-Lockhart, Theodore S. Norvell, Yiannis Cotronis
1997 — conf
Predicative semantics of loops.
Algorithmic Languages and Calculi
Theodore S. Norvell
1994 — —
A predicative theory of machine languages and its application to compiler correctness.
Theodore S. Norvell
1994 — conf
Machine Code Programs are Predicates Too.
Refine
Theodore S. Norvell
1993 — conf
Induce-Statements and Induce-Expressions: Constructs for Inductive Programming.
FSTTCS
Theodore S. Norvell
1992 B conf
Logical Specifications for Functional Programs.
MPC
Theodore S. Norvell, Eric C. R. Hehner
1989 A* conf
Aggregative Closure: An Extension of Transitive Closure.
ICDE
Isabel F. Cruz, Theodore S. Norvell