Sciweavers

3328 search results - page 282 / 666
» On Plateaued Functions and Their Constructions
Sort
View
ICCAD
2007
IEEE
115views Hardware» more  ICCAD 2007»
16 years 3 months ago
Timing optimization by restructuring long combinatorial paths
—We present an implementation of an algorithm for constructing provably fast circuits for a class of Boolean functions with input signals that have individual starting times. We ...
Jürgen Werber, Dieter Rautenbach, Christian S...
TCC
2010
Springer
166views Cryptology» more  TCC 2010»
16 years 3 months ago
Public-Key Encryption Schemes with Auxiliary Inputs
We construct public-key cryptosystems that remain secure even when the adversary is given any computationally uninvertible function of the secret key as auxiliary input (even one t...
Yevgeniy Dodis, Shafi Goldwasser, Yael Tauman Kala...
143
Voted
IROS
2009
IEEE
214views Robotics» more  IROS 2009»
16 years 1 months ago
Concept of a novel four-wheel-type mobile robot for rough terrain, RT-Mover
- In many fields employing robots, e.g., wheelchair robots, rescue robots, and construction robots, those which can move on rough terrain are desired. A robot with a simple mechani...
Shuro Nakajima
COSIT
2009
Springer
114views GIS» more  COSIT 2009»
16 years 1 months ago
Spatio-terminological Inference for the Design of Ambient Environments
We present an approach to assist the smart environment design process by means of automated validation of work-in-progress designs. The approach facilitates validation of not only ...
Mehul Bhatt, Frank Dylla, Joana Hois
HASKELL
2009
ACM
16 years 1 months ago
Type-safe observable sharing in Haskell
Haskell is a great language for writing and supporting embedded Domain Specific Languages (DSLs). Some form of observable sharing is often a critical capability for allowing so-c...
Andy Gill