1170 search results - page 112 / 234 » How Fast Is Too Fast |
104
click to vote
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
The visualizations of the Whyline are presented, which focus on supporting the exploration a source code and how it executes. The visualization is concise, simple to navigate, and...
140
click to vote
DCC
2007
IEEE
16 years 2 months ago
2007
IEEE
Abstract. We present a general technique for the efficient computation of pairings on supersingular Abelian varieties. This formulation, which we call the eta pairing, generalises ...
116
click to vote
PADL
2010
Springer
16 years 2 days ago
2010
Springer
Abstract. We show how testing convertibility of two types in dependently typed systems can advantageously be implemented instead untyped normalization by evaluation, thereby reusin...
105
click to vote
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
Within the field of software security we have yet to find efficient ways on how to learn from past mistakes and integrate security as a natural part of software development. Th...
123
click to vote
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— This paper describes the system architecture and core algorithms for a quadrotor helicopter that uses vision data to navigate an unknown, indoor, GPS-denied environment. Withou...