11214 search results - page 226 / 2243 » Programming Multi-agent Systems |
204
click to vote
SIGCSE
2012
ACM
14 years 2 months ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
142
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
252
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
In software for embedded systems, the frequent use of interrupts for timing, sensing, and I/O processing can cause concurrency faults to occur due to interactions between applicat...
203
click to vote
TOOLS
1998
IEEE
15 years 10 months ago
1998
IEEE
There are a number of programmable macro systems such as Lisp's. While they can handle complex program transformation, they still have difficulty in handling some kinds of tr...