1005 search results - page 15 / 201 » A Language for Manipulating Arrays |
SAS
2000
Springer
15 years 1 months ago
2000
Springer
UM
2005
Springer
15 years 3 months ago
2005
Springer
ICRA
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract: This paper considers the global exponential stability of planar distributed manipulation control schemes. The “programmable vector field” approach is a commonly prop...
163
click to vote
POPL
2002
ACM
15 years 10 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
PLDI
2010
ACM
15 years 2 months ago
2010
ACM
Arrays are the ubiquitous organization for indexed data. Throughout programming language evolution, implementations have laid out arrays contiguously in memory. This layout is pro...