1147 search results - page 125 / 230 » Termination in language-based systems |
119
click to vote
PVM
2007
Springer
15 years 6 months ago
2007
Springer
llc is a language based on C where parallelism is expressed using compiler directives. The llc compiler produces MPI code which can be ported to both shared and distributed memory ...
105
Voted
SAC
2006
ACM
15 years 6 months ago
2006
ACM
This paper describes and evaluates various general stemming approaches for the French, Portuguese (Brazilian), German and Hungarian languages. Based on the CLEF test-collections, ...
111
click to vote
POPL
2005
ACM
15 years 6 months ago
2005
ACM
Cross-realm authentication is a useful and interesting component of Kerberos aimed at enabling secure access to services astride organizational boundaries. We present a formalizat...
98
Voted
ICTCS
2005
Springer
15 years 6 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
94
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...