3718 search results - page 227 / 744 » Programming by Integration in Robotics |
178
click to vote
SIGMETRICS
1996
ACM
15 years 10 months ago
1996
ACM
A large and increasing gap exists between processor and memory speeds in scalable cache-coherent multiprocessors. To cope with this situation, programmers and compiler writers mus...
168
click to vote
ASPLOS
2010
ACM
15 years 10 months ago
2010
ACM
This paper proposes an efficient hardware/software system that significantly enhances software security through diversified replication on multi-cores. Recent studies show that a ...
181
click to vote
WLP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
193
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Component recovery and remodularization is a means to get back control on large and complex legacy systems suffering from ad-hoc changes by recovering logical components and restr...
139
click to vote
SIAMDM
2010
15 years 1 months ago
2010
We show that maximal S-free convex sets are polyhedra when S is the set of integral points in some rational polyhedron of Rn . This result extends a theorem of Lov