4151 search results - page 684 / 831 » Language Driven System Design |
116
click to vote
EUROPAR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...
113
click to vote
FINTAL
2006
15 years 6 months ago
2006
The tool extract enables the automatic extraction of lemma-paradigm pairs from raw text data. The tool uses search patterns that consist of regular expressions and propositional lo...
117
Voted
APCSAC
2001
IEEE
15 years 6 months ago
2001
IEEE
A popular trend in current software technology is to gain program portability by compiling programs to an inte form based on an abstract machine definition. Such approaches date b...
117
Voted
PRICAI
2000
Springer
15 years 6 months ago
2000
Springer
As more information becomes available on the World Wide Web, it has become an acute problem to provide effective search tools for information access. Previous generations of search...
136
Voted
POPL
2010
ACM
15 years 4 months ago
2010
ACM
Computer science has served to insulate programs and programmers from knowledge of the underlying mechanisms used to manipulate information, however this fiction is increasingly h...