31387 search results - page 371 / 6278 » Abstracts |
145
click to vote
DATE
2006
IEEE
16 years 28 days ago
2006
IEEE
Concurrent programs are difficult to write, reason about, re-use, and maintain. In particular, for system-level ions that use a shared memory abstraction for thread or process syn...
160
click to vote
ESOP
2005
Springer
16 years 11 days ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
163
click to vote
AI
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. In this abstract, we present a complex multiagent environment, the RoboCupRescue simulation, and show some of the learning opportunities for the coordination of agents in...
153
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract Howard A. Blair EECSDept., 2-177 SciTech Syracuse University Syracuse, NY13210 USA
203
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...