Sciweavers

7124 search results - page 211 / 1425
» Programming Languages and Operating Systems
Sort
View
CC
2003
Springer
15 years 11 months ago
Improving Data Locality by Chunking
Cache memories were invented to decouple fast processors from slow memories. However, this decoupling is only partial, and many researchers have attempted to improve cache use by p...
Cédric Bastoul, Paul Feautrier
APLAS
2005
ACM
16 years 3 days ago
Using Datalog with Binary Decision Diagrams for Program Analysis
Many problems in program analysis can be expressed naturally and concisely in a declarative language like Datalog. This makes it easy to specify new analyses or extend or compose e...
John Whaley, Dzintars Avots, Michael Carbin, Monic...
MATES
2009
Springer
16 years 1 months ago
GOAL as a Planning Formalism
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...
Koen V. Hindriks, Tijmen Roberti
CPHYSICS
2007
114views more  CPHYSICS 2007»
15 years 6 months ago
GDF v2.0, an enhanced version of GDF
An improved version of the function estimation program GDF is presented. The main enhancements of the new version include: multi-output function estimation, capability of definin...
Ioannis G. Tsoulos, Dimitris Gavrilis, Evangelos D...
HPCN
2000
Springer
15 years 10 months ago
Modelling Control Systems in an Event-Driven Coordination Language
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
Theophilos A. Limniotes, George A. Papadopoulos