Sciweavers

5377 search results - page 220 / 1076
» Programming Languages For Interactive Computing
Sort
View
85
Voted
CSCWD
2001
Springer
15 years 5 months ago
Verification of XRL: An XML-based Workflow Language
XRL (eXchangeable Routing Language) is an instancebased workflow language that uses XML for the representation of process definitions and Petri nets for its semantics. Since XRL i...
Wil M. P. van der Aalst, H. M. W. Verbeek, A. Kuma...
123
Voted
ICCHP
2010
Springer
14 years 11 months ago
SportSign: A Service to Make Sports News Accessible to Deaf Persons in Sign Languages
Sports are important in the life of deaf, as well as hearing persons, on physical, social and mental levels. However, despite that there exist many deaf sports organization in the ...
Achraf Othman, Oussama El Ghoul, Mohamed Jemni
111
Voted
LCPC
2007
Springer
15 years 7 months ago
Revisiting SIMD Programming
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
Anton Lokhmotov, Benedict R. Gaster, Alan Mycroft,...
ENTCS
2007
112views more  ENTCS 2007»
15 years 24 days ago
Structure and Properties of Traces for Functional Programs
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support pr...
Olaf Chitil, Yong Luo
POPL
2009
ACM
15 years 7 months ago
Declarative aspects of memory management in the concurrent collections parallel programming model
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...
Zoran Budimlic, Aparna Chandramowlishwaran, Kathle...