1140 search results - page 149 / 228 » Generating compilers for generated datapaths |
115
click to vote
ICICS
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we analyse the security of two authenticated group key agreement schemes based on the group key agreement protocol of Burmester and Desmedt. One scheme was proposed ...
108
click to vote
CP
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...
134
click to vote
HOLOMAS
2009
Springer
15 years 7 months ago
2009
Springer
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
108
click to vote
CODES
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...
122
click to vote
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
Althoughthereisalargebodyofresearchonthetimeoverheadofobject oriented programs, there is little work on memory overhead. This paper takes an empirical approach to the study of this...