4196 search results - page 381 / 840 » Supporting the development of network programs |
132
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
The management of modern distributed systems is complicated by scale and dynamics. Scalable, decoupled communication establishes flexible, loosely coupled component relationships,...
135
click to vote
IROS
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Tying suture knots is a time-consuming task performed frequently during Minimally Invasive Surgery (MIS). Automating this task could greatly reduce total surgery time f...
124
Voted
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
The design of ad hoc mobile applications often requires the availability of a consistent view of the application state among the participating hosts. Such views are important beca...
139
click to vote
NECO
2007
15 years 4 months ago
2007
In recent years, gradient-based LSTM recurrent neural networks (RNNs) solved many previously RNN-unlearnable tasks. Sometimes, however, gradient information is of little use for t...
242
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...