7404 search results - page 119 / 1481 » New Tools in Education |
131
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...
149
click to vote
SOCRATES
2008
15 years 7 months ago
2008
Recently, many efforts have been devoted to the implementation of web based learning tools, that have found widespread diffusion in high schools, graduate and undergraduate univer...
195
click to vote
VISUALIZATION
1992
IEEE
15 years 10 months ago
1992
IEEE
The generation of smooth surfaces from a mesh of three-dimensional data points is an important problem in geometric modeling. Apart from the pure construction of these curves and ...
212
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
It is valuable to identify and catalog design patterns for reconfigurable computing. These design patterns are canonical solutions to common and recurring design challenges which ...
151
click to vote
SIGUCCS
2003
ACM
15 years 11 months ago
2003
ACM
In 2002, Harvard University's Division of Continuing Education (DCE) expanded its computer lab facility. This expansion allowed DCE to change its previous policy of restricti...