Sciweavers

353 search results - page 41 / 71
» Advanced prototyping with fritzing
Sort
View
125
Voted
ISMS
2004
Springer
15 years 3 months ago
Design, Development, and Testing of an Automated Laparoscopic Grasper with 3-D Force Measurement Capability
Advancements in robotics have led to significant improvements in robot-assisted minimally invasive surgery. The use of these robotic systems has improved surgeon dexterity, reduced...
Gregory Tholey, Anand Pillarisetti, William Green,...
71
Voted
ISPA
2004
Springer
15 years 3 months ago
VIOLIN: Virtual Internetworking on Overlay Infrastructure
We propose a novel alternative to application-level overlays called VIOLIN, or Virtual Internetworking on OverLay INfrastructure. Inspired by recent advances in virtual machines, ...
Xuxian Jiang, Dongyan Xu
OOPSLA
2004
Springer
15 years 3 months ago
Example centric programming
Programmers tend to understand programs by thinking of concrete examples. Example Centric Programming seeks to add IDE support for examples throughout the process of programming. ...
Jonathan Edwards
87
Voted
PARA
2004
Springer
15 years 3 months ago
Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory
It is our belief that the ultimate automatic system for deriving linear algebra libraries should be able to generate a set of algorithms starting from the mathematical specificati...
Paolo Bientinesi, Sergey Kolos, Robert A. van de G...
89
Voted
PEPM
2004
ACM
15 years 3 months ago
Proving termination of membership equational programs
Advanced typing, matching, and evaluation strategy features, as well as very general conditional rules, are routinely used in equational programming languages such as, for example...
Francisco Durán, Salvador Lucas, José...