1658 search results - page 125 / 332 » Implementing Bit-addressing with Specialization |
IAT
2009
IEEE
14 years 3 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
MKM
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Formal verification of numerical programs is notoriously difficult. On the one hand, there exist automatic tools specialized in floatingpoint arithmetic, such as Gappa...
SEMWEB
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. TaxoMap is an alignment tool which aims to discover rich correspondences between concepts. It performs an oriented alignment (from a source to a target ontology) and take...
MOBILWARE
2009
ACM
14 years 3 months ago
2009
ACM
Sub-Nyquist sampling techniques for Wireless Sensor Networks (WSN) are gaining increasing attention as an alternative method to capture natural events with desired quality while mi...
CODES
2008
IEEE
14 years 3 months ago
2008
IEEE
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...