2520 search results - page 372 / 504 » Model-checking behavioral programs |
143
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...
141
click to vote
RECONFIG
2009
IEEE
15 years 11 months ago
2009
IEEE
—We envision that future FPGA will use a hardwired network on chip (HWNoC) [14] as a unified interconnect for functional communications (data and control) as well as configurat...
142
click to vote
ERSHOV
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
139
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
122
click to vote
IVA
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Basic communication and coordination mechanisms of human social interaction are assumed to be mediated by perception-action links. These links ground the observation and ...