Sciweavers

2233 search results - page 39 / 447
» Modular type classes
Sort
View
PLPV
2012
ACM
13 years 7 months ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey
POPL
2006
ACM
16 years 4 days ago
A virtual class calculus
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
Erik Ernst, Klaus Ostermann, William R. Cook
ICRA
2003
IEEE
146views Robotics» more  ICRA 2003»
15 years 5 months ago
Automatic locomotion pattern generation for modular robots
Locomotion is considered as most basic function of robots. In the case of ordinary robots, they are not needed to change locomotion pattern because their configurations are consta...
Akiya Kamimura, Haruhisa Kurokawa, Eiichi Yoshida,...
MOC
2000
113views more  MOC 2000»
14 years 11 months ago
A finite element approximation for a class of degenerate elliptic equations
In this paper we exhibit a finite element method fitting a suitable geometry naturally associated with a class of degenerate elliptic equations (usually called Grushin type equatio...
Bruno Franchi, Maria Carla Tesi
CHES
1999
Springer
140views Cryptology» more  CHES 1999»
15 years 4 months ago
Power Analysis Attacks of Modular Exponentiation in Smartcards
Abstract. Three new types of power analysis attacks against smartcard implementations of modular exponentiation algorithms are described. The first attack requires an adversary to ...
Thomas S. Messerges, Ezzy A. Dabbish, Robert H. Sl...