7404 search results - page 537 / 1481 » New Tools in Education |
304
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
We present PEAR (Protocol Extendable AnalyzeR), a tool automating the two static analyses for authentication protocols presented in [7, 8]. These analyses are based on a tagging s...
187
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
The recent past has seen a tremendous increase in the size of design circuits that can be implemented in a single FPGA. These large design sizes significantly impact cycle time du...
209
click to vote
ICTA
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we describe an interface to display texts in a fashion adapted to dyslexic readers. In order to help the reading task, we designed several tools geared towards the ...
167
click to vote
ICANNGA
2009
Springer
16 years 1 months ago
2009
Springer
Modern process and condition monitoring systems produce a huge amount of data which is hard to analyze manually. Previous analyzing techniques disregard time information and concen...
172
click to vote
CLUSTER
2008
IEEE
16 years 1 months ago
2008
IEEE
—Several performance analysis tools support hybrid applications. Most originated as MPI profiling or tracing tools and OpenMP capabilities were added to extend the performance a...