218 search results - page 14 / 44 » Consistency without concurrency control in large, dynamic sy... |
133
click to vote
SASO
2007
IEEE
15 years 7 months ago
2007
IEEE
Grid and ubiquitous computing systems generally consist of a large number of networked nodes with applications implemented as distributed services or processes, respectively. A cr...
117
click to vote
APLAS
2005
ACM
15 years 7 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
101
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract— This paper presents a within-stride feedback controller that achieves an exponentially stable, periodic, and fast walking gait for a 3D bipedal robot consisting of a to...
112
click to vote
IROS
2007
IEEE
15 years 7 months ago
2007
IEEE
— While underactuated robotic systems are capable of energy efficient and rapid dynamic behavior, we still do not fully understand how body dynamics can be actively used for ada...
132
click to vote
ICFP
2003
ACM
16 years 1 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...