9049 search results - page 39 / 1810 » The New C Standard |
MMS
2007
14 years 11 months ago
2007
: The integration of information systems is not a new challenge. As one instrument, standards provide interfaces for integrated information systems. With regard to the recent adven...
CORR
2008
Springer
14 years 9 months ago
2008
Springer
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of nonorthomodular and thus non-distributive lattices that properly...
104
click to vote
POST
2012
13 years 5 months ago
2012
Abstract. We formally analyze the family of entity authentication protocols defined by the ISO/IEC 9798 standard and find numerous weaknesses, both old and new, including some th...
MEMOCODE
2010
IEEE
14 years 7 months ago
2010
IEEE
Monitoring temporal SystemC properties is crucial for the validation of functional and transaction-level models, yet the current SystemC standard provides no support for temporal s...
FDL
2003
IEEE
15 years 3 months ago
2003
IEEE
This contribution proposes a synchronization technique for solvers able to handle analogue extensions to SystemC, for modelling of general, mixed-mode systems with digital and non...