3706 search results - page 35 / 742 » System Description: H-PILoT |
110
Voted
LCTRTS
2010
Springer
15 years 7 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
88
Voted
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there is a lack of sufficient support for architectural specifications across HW/SW boundaries. S...
106
click to vote
DLOG
2007
15 years 2 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...
116
Voted
DCC
2004
IEEE
16 years 14 hour ago
2004
IEEE
The public key cryptosystems MST1 and MST2 make use of certain kinds of factorizations of finite groups. We show that generalizing such factorizations to infinite groups allows a ...
81
Voted
ACSD
2009
IEEE
15 years 7 months ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...