Sciweavers

4306 search results - page 678 / 862
» Timed Testing with TorX
Sort
View
ASIACRYPT
2000
Springer
15 years 7 months ago
Construction of Hyperelliptic Curves with CM and Its Application to Cryptosystems
Abstract. Construction of secure hyperelliptic curves is of most important yet most difficult problem in design of cryptosystems based on the discrete logarithm problems on hyperel...
Jinhui Chao, Kazuto Matsuo, Hiroto Kawashiro, Shig...
AGP
1999
IEEE
15 years 7 months ago
ACI1 constraints
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
Agostino Dovier, Carla Piazza, Enrico Pontelli, Gi...
ECRTS
1999
IEEE
15 years 7 months ago
Handling sporadic tasks in off-line scheduled distributed real-time systems
Many industrial applications mandate the use of a timetriggered paradigm and consequently the use of off-line scheduling for reasons such as predictability, certification, cost, o...
Damir Isovic, Gerhard Fohler
PAMI
2002
174views more  PAMI 2002»
15 years 2 months ago
Generalized Mosaicing: Wide Field of View Multispectral Imaging
We present an approach to significantly enhance the spectral resolution of imaging systems by generalizing image mosaicing. A filter transmitting spatially varying spectral bands i...
Yoav Y. Schechner, Shree K. Nayar
PUC
2002
91views more  PUC 2002»
15 years 2 months ago
Designing Leisure Applications for the Mundane Car-Commute
: Commuting by car from home to work can be very time consuming. We have conducted a study to explore what people are doing, and want to do, while commuting. People use their time ...
Karl-Petter Ðkesson, Andreas Nilsson