Sciweavers

562 search results - page 78 / 113
» Teaching programming and language concepts using LEGOs
Sort
View
142
Voted
IPPS
2005
IEEE
15 years 9 months ago
Benchmark Measurements of Current UPC Platforms
UPC is a parallel programming language based on the concept of partitioned shared memory. There are now several UPC compilers available and several different parallel architecture...
Zhang Zhang, Steven Seidel
134
Voted
CSFW
2000
IEEE
15 years 8 months ago
Reasoning about Secrecy for Active Networks
In this paper we develop a language of mobile agents called uPLAN for describing the capabilities of active (programmable) networks. We use a formal semantics for uPLAN to demonst...
Pankaj Kakkar, Carl A. Gunter, Martín Abadi
ACL
1998
15 years 4 months ago
A Procedure for Multi-Class Discrimination and some Linguistic Applications
The paper describes a novel computational tool for multiple concept learning. Unlike previous approaches, whose major goal is prediction on unseen instances rather than the legibi...
Vladimir Pericliev, Raúl E. Valdés-P...
MSCS
2006
89views more  MSCS 2006»
15 years 3 months ago
Quantum weakest preconditions
We develop a notion of predicate transformer and, in particular, the weakest precondition, appropriate for quantum computation. We show that there is a Stone-type duality between ...
Ellie D'Hondt, Prakash Panangaden
123
Voted
ACL
2010
15 years 1 months ago
Untangling the Cross-Lingual Link Structure of Wikipedia
Wikipedia articles in different languages are connected by interwiki links that are increasingly being recognized as a valuable source of cross-lingual information. Unfortunately,...
Gerard de Melo, Gerhard Weikum