1204 search results - page 85 / 241 » Parallel concurrent ML |
139
click to vote
HICSS
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...
138
click to vote
NETCOOP
2009
Springer
15 years 10 months ago
2009
Springer
The fundamental limits on channel capacity form a barrier to the sustained growth on the use of wireless networks. To cope with this, multi-path communication solutions provide a p...
109
click to vote
TACAS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Heap-Hop is a program prover for concurrent heap-manipulating programs that use Hoare monitors and message-passing synchronization. Programs are annotated with pre and po...
132
click to vote
DIGRA
2005
Springer
15 years 9 months ago
2005
Springer
This paper explores the idea that future game consoles and computers may no longer be single processor units, but instead symmetrical multiprocessor units. If this were to occur g...
148
click to vote
COORDINATION
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...