3718 search results - page 501 / 744 » Programming by Integration in Robotics |
229
click to vote
SOSP
2009
ACM
16 years 4 months ago
2009
ACM
Data-intensive applications are increasingly designed to execute on large computing clusters. Grouped aggregation is a core primitive of many distributed programming models, and i...
221
click to vote
TLDI
2010
ACM
16 years 4 months ago
2010
ACM
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
174
click to vote
OZCHI
2009
ACM
16 years 1 months ago
2009
ACM
Millions of people in Canada have impairments that result in a loss of function and directly affect their ability to carry out activities of daily living. Many individuals with di...
167
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
174
click to vote
DSN
2005
IEEE
16 years 23 days ago
2005
IEEE
System call monitoring is a technique for detecting and controlling compromised applications by checking at runtime that each system call conforms to a policy that specifies the ...