Sciweavers

2208 search results - page 188 / 442
» Memory Practices in the Sciences
Sort
View
ICRA
1998
IEEE
101views Robotics» more  ICRA 1998»
15 years 2 months ago
An Approach to Reduction of Hysteresis in Smart Materials
This paper addresses the problem of reducing the hysteresis found in the actuation of most smart materials. They are divided in two groups: systems with no saturation (e.g. piezoe...
Juan Manuel Cruz-Hernández, Vincent Hayward
ESA
1998
Springer
154views Algorithms» more  ESA 1998»
15 years 2 months ago
A Functional Approach to External Graph Algorithms
We present a new approach for designing external graph algorithms and use it to design simple, deterministic and randomized external algorithms for computing connected components, ...
James Abello, Adam L. Buchsbaum, Jeffery Westbrook
CARDIS
2006
Springer
114views Hardware» more  CARDIS 2006»
15 years 2 months ago
A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
Alexandre Courbot, Mariela Pavlova, Gilles Grimaud...
FSE
2006
Springer
99views Cryptology» more  FSE 2006»
15 years 2 months ago
Reducing the Space Complexity of BDD-Based Attacks on Keystream Generators
The main application of stream ciphers is online-encryption of arbitrarily long data, for example when transmitting speech data between a Bluetooth headset and a mobile GSM phone o...
Matthias Krause, Dirk Stegemann
CODES
2001
IEEE
15 years 2 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung