Sciweavers

5387 search results - page 406 / 1078
» Generating generic functions
Sort
View
HASKELL
2009
ACM
16 years 1 months ago
Roll your own test bed for embedded real-time protocols: a haskell experience
We present by example a new application domain for functional languages: emulators for embedded real-time protocols. As a casestudy, we implement a simple emulator for the Biphase...
Lee Pike, Geoffrey M. Brown, Alwyn Goodloe
CDC
2008
IEEE
117views Control Systems» more  CDC 2008»
16 years 1 months ago
Simulation-aided reachability and local gain analysis for nonlinear dynamical systems
Abstract— We analyze reachability properties and local input/output gains of systems with polynomial vector fields. Upper bounds for the reachable set and nonlinear system gains...
Weehong Tan, Ufuk Topcu, Peter Seiler, Gary J. Bal...
CISC
2007
Springer
111views Cryptology» more  CISC 2007»
16 years 29 days ago
Multivariates Polynomials for Hashing
We propose the idea of building a secure hash using quadratic or higher degree multivariate polynomials over a finite field as the compression function. We analyze some security ...
Jintai Ding, Bo-Yin Yang
144
Voted
FSE
2007
Springer
101views Cryptology» more  FSE 2007»
16 years 29 days ago
Producing Collisions for Panama, Instantaneously
We present a practical attack on the Panama hash function that generates a collision in 26 evaluations of the state updating function. Our attack improves that of Rijmen and cowork...
Joan Daemen, Gilles Van Assche
UIST
2005
ACM
16 years 10 days ago
Preference elicitation for interface optimization
Decision-theoretic optimization is becoming a popular tool in the user interface community, but creating accurate cost (or utility) functions has become a bottleneck — in most c...
Krzysztof Gajos, Daniel S. Weld