Skip to Content
Toggle navigation
Inicio
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Iniciar sesión
Explore, Discover, Share
Ir
Advanced search
Buscar
Borrar filtros
Filtrado por:
Advisor
Fisler, Kathryn
Eliminar la restricciónAdvisor: Fisler, Kathryn
« Anterior |
1
-
10
de
45
|
Siguiente »
Ordenar por relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
El número de resultados a mostrar por página
10 por página
10
por página
20
por página
50
por página
100
por página
Ver Resultados por:
Lista
Gallery
Masonry
Slideshow
Download search results to .CSV file
Resultados de la búsqueda
Add to Category
Remove From Category
Verification techniques of feature-oriented Java
Creador:
Gerratana, Frank Louis
,
Maddock, Jordan Alfred
, and
Wallace, Scott Thomas
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2003-01-01
Resource Type:
Major Qualifying Project
Timing diagram to Buchi automation translation
Creador:
Schudy, Warren J.
and
Cooper, Peter Sidney
Advisor:
Dougherty, Daniel J.
and
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2003-01-01
Resource Type:
Major Qualifying Project
Random finite-state automata for model checking
Creador:
Haley, Alexander Gregory
and
Vaillancourt, Dale
Advisor:
Fisler, Kathryn
and
Selkow, Stanley M.
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2002-01-01
Resource Type:
Major Qualifying Project
Mining state machine simulations
Creador:
Cole, Christopher David.
Advisor:
Fisler, Kathryn
and
Ruiz, Carolina
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2001-01-01
Resource Type:
Major Qualifying Project
Generating header files for hardware simulators
Creador:
Benoit, Tyler Paul
,
Donovan, Sean P.
, and
Kilgore, Brandon M.
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2006-01-01
Resource Type:
Major Qualifying Project
FSATS -- a case study of computer-aided verification for large systems
Creador:
Landry, Brian R.
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2004-01-01
Resource Type:
Major Qualifying Project
Extensible timing diagram editor
Creador:
Ramshaw, David Ian
,
Kapadia, Zaheer Abbas
, and
Klos, Michal
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2002-01-01
Resource Type:
Major Qualifying Project
Emergency response simulation
Creador:
Gagnon, Timothy Scott
and
Kissinger, Michael A.
Advisor:
Fisler, Kathryn
and
Weaver, Elise A.
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2006-01-01
Resource Type:
Major Qualifying Project
Development of cross-disciplinary course material
Creador:
Bogdanova, Natasha
Advisor:
Trimbur, John
and
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2004-01-01
Resource Type:
Major Qualifying Project
Comparing algorithms for symbolic cycle detection
Creador:
Dow, Benjamin Scott
Advisor:
Fisler, Kathryn
Editor:
Worcester Polytechnic Institute
Fecha de Creacion:
2001-01-01
Resource Type:
Major Qualifying Project
« Anterior
Siguiente »
1
2
3
4
5
Toggle facets
Limite su búsqueda
Collections
Interactive Qualifying Projects
21
Major Qualifying Projects
14
Masters Theses
7
PhD Dissertations
3
Year
Year range begin
–
Year range end
Current results range from
2001
to
2020
View distribution
Creador
Bartlett, Michael Charles
1
Benoit, Tyler Paul
1
Beski, Richard Alex
1
Bogdanova, Natasha
1
Bonci, Timothy Daniel
1
más
Creadors
»
Advisor
Camesano, Terri Anne
3
Claypool, Mark L.
1
Davis, Paul W.
3
DiMassa, Daniel
6
Dougherty, Daniel J.
2
más
Advisors
»
Contributor
Dorn, Brian
1
Dougherty, Daniel J.
2
Fisler, Kathryn
10
Guttman, Joshua
2
Krishnamurthi, Shriram
1
más
Contributors
»
Project Center
London, England Project Center - IQP
6
Worcester Community Project Center (Massachusetts) - IQP
1
Zurich, Switzerland Project Center - IQP
6
Major
Computer Science
14
Electrical & Computer Engineering
1
Interactive Media & Game Development
1
Physics
1
Unit (Department)
Computer Science
10
Editor
Worcester Polytechnic Institute
45
Tema
Community
13
Computing
10
Culture
8
Energy
2
Environment
1
más
Temas
»
Tipo de recurso
Interactive Qualifying Project
21
Major Qualifying Project
14
Thesis
7
Dissertation
3