1926 search results - page 263 / 386 » Modeling and Model Checking Software Product Lines |
180
click to vote
TROB
2010
14 years 11 months ago
2010
The robot hand applying force on a deformable object will result in a changing wrench space due to the varying shape and normal of the contact area. Design and analysis of a manipu...
137
click to vote
EGH
2003
Springer
15 years 9 months ago
2003
Springer
Current graphics hardware can render procedurally shaded objects in real-time. However, due to resource and performance limitations, interactive shaders can not yet approach the c...
267
Voted
FM
1997
Springer
15 years 8 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
190
click to vote
PPOPP
2012
ACM
13 years 11 months ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...
130
Voted
CONEXT
2006
ACM
15 years 10 months ago
2006
ACM
In First Person Shooter (FPS) games the Round Trip Time (RTT), i.e., the sum of the network delay from client to server and the network delay from server to client, impacts the ga...