85 search results - page 16 / 17 » iWarp protocol kernel space software implementation |
122
Voted
SIGOPS
2010
15 years 5 days ago
2010
Today’s Rich Internet Application (RIA) technologies such as Ajax, Flex, or Silverlight, are designed around the client-server paradigm and cannot easily take advantage of repli...
117
click to vote
ICFEM
2010
Springer
15 years 10 days ago
2010
Springer
The correct behavior of a service composition depends on the appropriate coordination of its services. According to the idea of channelbased coordination, services exchange message...
152
click to vote
PASTE
2010
ACM
15 years 6 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
147
Voted
FMSD
2007
15 years 1 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
119
Voted
CCS
2009
ACM
15 years 5 months ago
2009
ACM
Device attestation is an essential feature in many security protocols and applications. The lack of dedicated hardware and the impossibility to physically access devices to be att...