Sciweavers

77 search results - page 16 / 16
» Illustrating how mechanical assemblies work
Sort
View
COMCOM
2006
121views more  COMCOM 2006»
13 years 5 months ago
Interactive Transparent Networking: Protocol meta modeling based on EFSM
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
Javed I. Khan, Raid Zaghal
PLDI
2012
ACM
11 years 7 months ago
Speculative linearizability
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
Rachid Guerraoui, Viktor Kuncak, Giuliano Losa