850 search results - page 32 / 170 » Simultaneous Communication of Data and State |
CAV
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
ETS
2002
IEEE
13 years 10 months ago
2002
IEEE
Advances in communication technologies generate new opportunities for collaboration. With each technological innovation, we acquire a greater capacity to share information, resour...
PCI
2001
Springer
14 years 3 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
CLUSTER
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Since the advent of multi-core processors, the physionomy of typical clusters has dramatically evolved. This new massively multi-core era is a major change in architectu...
IPSN
2007
Springer
14 years 5 months ago
2007
Springer
Secure sensor network communication protocols need to provide three basic properties: data secrecy, authentication, and replay protection. Secure sensor network link layer protoco...