13271 search results - page 289 / 2655 » Computers, Programming, and People |
183
click to vote
RTSS
2007
IEEE
16 years 27 days ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...
173
click to vote
ISSTA
1998
ACM
15 years 11 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
179
click to vote
ICGA
2007
15 years 6 months ago
2007
Abstract. Move patterns are an essential method to incorporate domain knowledge into Go-playing programs. This paper presents a new Bayesian technique for supervised learning of su...
156
click to vote
CJ
2004
15 years 6 months ago
2004
In this paper, we present the design and implementation of Smart Messages, a distributed computing platform for networks of embedded systems based on execution migration. A Smart ...
287
click to vote
POPL
2001
ACM
16 years 7 months ago
2001
ACM
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...