Sciweavers

4743 search results - page 246 / 949
» The PlusCal Algorithm Language
Sort
View
122
Voted
FM
1999
Springer
111views Formal Methods» more  FM 1999»
15 years 7 months ago
Developing BON as an Industrial-Strength Formal Method
Abstract. The emerging Unified Modelling Language has been touted as merging the best features of existing modelling languages, and has been adopted by leading companies and vendo...
Richard F. Paige, Jonathan S. Ostroff
116
Voted
HIPS
1998
IEEE
15 years 7 months ago
ZPL's WYSIWYG Performance Model
ZPL is a parallel array language designed for high performance scientific and engineering computations. Unlike other parallel languages, ZPL is founded on a machine he CTA) that a...
Bradford L. Chamberlain, Sung-Eun Choi, E. Christo...
149
Voted
ERLANG
2007
ACM
15 years 7 months ago
An Erlang framework for autonomous mobile robots
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
Corrado Santoro
121
Voted
CSMR
2004
IEEE
15 years 7 months ago
Experimental Results on the Alignment of Multilingual Web Sites
Institutions and companies that are based in countries where the main language is not English typically publish Web sites that offer the same information at least in the local lan...
Filippo Ricca, Paolo Tonella, Emanuele Pianta, Chr...
119
Voted
ALT
2003
Springer
15 years 7 months ago
Can Learning in the Limit Be Done Efficiently?
Abstract. Inductive inference can be considered as one of the fundamental paradigms of algorithmic learning theory. We survey results recently obtained and show their impact to pot...
Thomas Zeugmann