2813 search results - page 207 / 563 » Formalizing Architectural Connection |
202
click to vote
POPL
2009
ACM
16 years 1 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
233
click to vote
IFGIS
2009
Springer
16 years 1 months ago
2009
Springer
Self-Organizing Maps (SOMs), or Kohonen networks, are widely used neural network architecture. This paper starts with a brief overview of how SOMs can be used in different types of...
404
click to vote
SYNASC
2008
IEEE
16 years 26 days ago
2008
IEEE
Service Oriented Architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a ...
142
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
Proof animation is a way of executing proofs to nd errors in the formalization of proofs. It is intended to be \testing in proof engineering". Although the realizability inter...
168
click to vote
IFL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...