7124 search results - page 887 / 1425 » Programming Languages and Operating Systems |
216
Voted
HYBRID
2007
Springer
16 years 25 days ago
2007
Springer
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
144
click to vote
ISCIS
2004
Springer
16 years 1 days ago
2004
Springer
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
149
click to vote
NAACL
2003
15 years 8 months ago
2003
The JAVELIN system integrates a flexible, planning-based architecture with a variety of language processing modules to provide an open-domain question answering capability on fre...
143
click to vote
LCPC
2004
Springer
16 years 22 hour ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
142
click to vote
EUROGP
2007
Springer
16 years 25 days ago
2007
Springer
We explore a homeostatic approach to program execution in computer systems: the “concentration” of computation services is regulated according to their fitness. The goal is to...