470 search results - page 90 / 94 » From evidence-based policy making to policy analytics |
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
114
Voted
PLDI
2003
ACM
15 years 3 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a program’s user community. Several example applications illustrat...
88
Voted
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
Despite the success of the BDI approach to agent teamwork, initial role allocation (i.e. deciding which agents to allocate to key roles in the team) and role reallocation upon fai...
62
Voted
CCGRID
2002
IEEE
15 years 3 months ago
2002
IEEE
More and more parallel applications are running in a distributed environment to take advantage of easily available and inexpensive commodity resources. For data intensive applicat...
96
Voted
GECCO
2010
Springer
15 years 3 months ago
2010
Springer
An important goal for the generative and developmental systems (GDS) community is to show that GDS approaches can compete with more mainstream approaches in machine learning (ML)....