11022 search results - page 90 / 2205 » Programming Systems for Autonomy |
134
Voted
SIGMETRICS
2011
ACM
14 years 5 months ago
2011
ACM
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
96
Voted
CACM
1999
15 years 2 months ago
1999
centralized abstractions. The metaphor of a community of independent objects communicating by passing messages is misleading and dangerous when thinking in terms of a distributed s...
134
Voted
ENTCS
2007
15 years 2 months ago
2007
Program slicing is a method for decomposing programs by analyzing their data and control flow. Slicingbased techniques have many applications in the field of software engineerin...
101
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
115
click to vote
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
Early work on security-typed languages required that legal information flows be defined statically. More recently, techniques have been introduced that relax these assumptions a...