Sciweavers

10575 search results - page 1992 / 2115
» Programming Languages
Sort
View
SBCCI
2004
ACM
127views VLSI» more  SBCCI 2004»
15 years 3 months ago
A formal software synthesis approach for embedded hard real-time systems
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
Raimundo S. Barreto, Marília Neves, Meuse N...
LREC
2010
143views Education» more  LREC 2010»
14 years 11 months ago
Evaluation of Document Citations in Phase 2 Gale Distillation
The focus of information retrieval evaluations, such as NIST's TREC evaluations (e.g. Voorhees 2003), is on evaluation of the information content of system responses. On the ...
Olga Babko-Malaya, Dan Hunter, Connie Fournelle, J...
IJNSEC
2006
94views more  IJNSEC 2006»
14 years 10 months ago
A Binary Redundant Scalar Point Multiplication in Secure Elliptic Curve Cryptosystems
The main back-bone operation in elliptic curve cryptosystems is scalar point multiplication. The most frequently used method implementing the scalar point multiplication which is ...
Sangook Moon
JCC
2008
105views more  JCC 2008»
14 years 10 months ago
Retrieval of spectral and dynamic properties from two-dimensional infrared pump-probe experiments
Abstract: We have developed a fitting algorithm able to extract spectral and dynamic properties of a three level oscillator from a two-dimensional infrared spectrum (2D-IR) detecte...
Riccardo Chelli, Victor V. Volkov, Roberto Righini
CORR
2007
Springer
132views Education» more  CORR 2007»
14 years 10 months ago
A Generic Deployment Framework for Grid Computing and Distributed Applications
Deployment of distributed applications on large systems, and especially on grid infrastructures, becomes a more and more complex task. Grid users spend a lot of time to prepare, in...
Areski Flissi, Philippe Merle
« Prev « First page 1992 / 2115 Last » Next »