Sciweavers

31686 search results - page 68 / 6338
» Resource typing in Guru
Sort
View
PLPV
2012
ACM
12 years 3 months ago
LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs
Functional Reactive Programming (FRP) is a form of reactive programming whose model is pure functions over signals. FRP is often expressed in terms of arrows with loops, which is ...
Alan Jeffrey
ESOP
1999
Springer
13 years 12 months ago
Safe and Principled Language Interoperation
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
Valery Trifonov, Zhong Shao
COLING
2010
13 years 2 months ago
Ukwabelana - An open-source morphological Zulu corpus
Zulu is an indigenous language of South Africa, and one of the eleven official languages of that country. It is spoken by about 11 million speakers. Although it is similar in size...
Sebastian Spiegler, Andrew van der Spuy, Peter A. ...
KIVS
1999
Springer
13 years 12 months ago
Adaptive Scheduling of Multimedia Documents
Multimedia presentations are applicable in various domains such as advertising, commercial presentations or education. Multimedia presentations are described by multimedia documen...
Stefan Wirag
INFOCOM
2008
IEEE
14 years 2 months ago
Task Scheduling and Lightpath Establishment in Optical Grids
—Data-intensive Grid applications require huge data transferring between multiple geographically separated computing nodes where computing tasks are executed. For a future WDM ne...
Xin Liu, Wei Wei, Chunming Qiao, Ting Wang, Weishe...