Sciweavers

8196 search results - page 1331 / 1640
» Computational Modeling and Complexity Science
Sort
View
WMPI
2004
ACM
15 years 10 months ago
Compiler-optimized usage of partitioned memories
In order to meet the requirements concerning both performance and energy consumption in embedded systems, new memory architectures are being introduced. Beside the well-known use o...
Lars Wehmeyer, Urs Helmig, Peter Marwedel
ASIACRYPT
2004
Springer
15 years 10 months ago
Generic Homomorphic Undeniable Signatures
We introduce a new computational problem related to the interpolation of group homomorphisms which generalizes many famous cryptographic problems including discrete logarithm, Diļ¬...
Jean Monnerat, Serge Vaudenay
FMCO
2004
Springer
112views Formal Methods» more  FMCO 2004»
15 years 10 months ago
Probabilistic Linda-Based Coordination Languages
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
ISMS
2004
Springer
15 years 10 months ago
Real-Time Incision Simulation Using Discontinuous Free Form Deformation
Abstract. Surgical simulations with the aid of computers is a topic of increasingly extensive research. Realtime response and interactivity are crucial components of any such syste...
Guy Sela, Sagi Schein, Gershon Elber
ISOLA
2004
Springer
15 years 10 months ago
A Formal Analysis of Bluetooth Device Discovery
Abstract. This paper presents a formal analysis of the device discovery phase of the Bluetooth wireless communication protocol. The performance of this process is the result of a c...
Marie Duflot, Marta Z. Kwiatkowska, Gethin Norman,...
« Prev « First page 1331 / 1640 Last » Next »