174 search results - page 22 / 35 » Expression Templates in Ada |
BPM
2009
Springer
15 years 4 months ago
2009
Springer
Complex Event Processing (CEP) is a powerful technology for supporting advanced event-processing scenarios at a higher level of ion. Because of its expressiveness, CEP allows promp...
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
CCECE
2006
IEEE
15 years 3 months ago
2006
IEEE
Security design patterns have been proposed recently as a tool for the improvement of software security during the architecture and design phases. Since the apperance of this rese...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
Scheduling is an important step in high-level synthesis (HLS). In our tool, we perform scheduling in two steps: coarse-grain scheduling, in which we take into account the whole co...
AVBPA
2005
Springer
15 years 2 months ago
2005
Springer
Currently biometric system performance is evaluated in terms of its FAR and FRR. The accuracy expressed in such a manner depends on the characteristics of the dataset on which the ...