11234 search results - page 2083 / 2247 » A Microsurgery Simulation System |
93
Voted
EUROCAST
2007
Springer
15 years 2 months ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
118
Voted
SOUPS
2010
ACM
15 years 2 months ago
2010
ACM
Graphical password systems based on the recognition of photographs are candidates to alleviate current over-reliance on alphanumeric passwords and PINs. However, despite being bas...
86
Voted
HIPEAC
2007
Springer
15 years 2 months ago
2007
Springer
Fine-grained program power behavior is useful in both evaluating power optimizations and observing power optimization opportunities. Detailed power simulation is time consuming and...
NOSSDAV
2010
Springer
15 years 2 months ago
2010
Springer
Recent advance in scalable video coding (SVC) makes it possible for users to receive the same video with different qualities. To adopt SVC in P2P streaming, two key design questio...
BROADNETS
2004
IEEE
15 years 1 months ago
2004
IEEE
Channel-aware scheduling and link adaptation (LA) methods are widely considered to be crucial for realizing high data rates in wireless networks. Multi-carrier systems that spread...