Sciweavers

11022 search results - page 233 / 2205
» Programming Systems for Autonomy
Sort
View
LCR
2000
Springer
121views System Software» more  LCR 2000»
15 years 10 months ago
Optimizing Mutual Exclusion Synchronization in Explicitly Parallel Programs
Abstract. We present two new compiler optimizations for explicitly parallel programs based on the CSSAME form: Lock-Independent Code Motion (LICM) and Mutex Body Localization (MBL)...
Diego Novillo, Ronald C. Unrau, Jonathan Schaeffer
BNCOD
2004
106views Database» more  BNCOD 2004»
15 years 7 months ago
Language Bindings for Spatio-Temporal Database Programming in Tripod
While there are many proposals for spatio-temporal data models and query languages, there is a lack of research into application development using spatio-temporal database systems....
Tony Griffiths, Norman W. Paton, Alvaro A. A. Fern...
145
Voted
KES
2008
Springer
15 years 6 months ago
Developmental evaluation in Genetic Programming: The TAG-based frame work
We build on our previous feasibility studies [18,20], which demonstrated the impact of evaluation during development in the DEVTAG system, and here present a fullfledged developmen...
Tuan Hao Hoang, Daryl Essam, Robert I. McKay, Nguy...
ATAL
2008
Springer
15 years 8 months ago
A flexible framework for verifying agent programs
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini...
ML
2006
ACM
143views Machine Learning» more  ML 2006»
15 years 6 months ago
Mathematical applications of inductive logic programming
The application of Inductive Logic Programming to scientific datasets has been highly successful. Such applications have led to breakthroughs in the domain of interest and have dri...
Simon Colton, Stephen Muggleton