174 search results - page 22 / 35 » Expression Templates in Ada |
142
click to vote
BPM
2009
Springer
16 years 17 days 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...
157
click to vote
VMCAI
2007
Springer
16 years 2 days 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...
159
click to vote
CCECE
2006
IEEE
16 years 20 hour 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...
130
click to vote
DATE
2006
IEEE
16 years 17 hour 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...
185
click to vote
AVBPA
2005
Springer
15 years 11 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 ...