Sciweavers

3689 search results - page 171 / 738
» A Language with Distributed Scope
Sort
View
ICFP
2007
ACM
16 years 3 months ago
Type-safe higher-order channels in ML-like languages
As a means of transmitting not only data but also code encapsulated within functions, higher-order channels provide an advanced form of task parallelism in parallel computations. ...
Sungwoo Park
119
Voted
EDOC
2007
IEEE
15 years 9 months ago
Business Process Integration by Using General Rule Markup Language
A business process usually includes multiple business partners that use systems with their business logics represented in different rule (or policy) languages. The integration of ...
Milan Milanovic, Nima Kaviani, Dragan Gasevic, Adr...
LCPC
2007
Springer
15 years 9 months ago
Language Extensions in Support of Compiler Parallelization
Abstract. In this paper, we propose an approach to automatic compiler parallelization based on language extensions that is applicable to a broader range of program structures and a...
Jun Shirako, Hironori Kasahara, Vivek Sarkar
CONCUR
2003
Springer
15 years 8 months ago
A Process-Algebraic Language for Probabilistic I/O Automata
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
126
Voted
ERCIMDL
2003
Springer
148views Education» more  ERCIMDL 2003»
15 years 8 months ago
Managing Change in a Digital Library System with Many Interface Languages
Managing the organizational and software complexity of a comprehensive open source digital library system presents a significant challenge. The challenge becomes even more imposin...
David Bainbridge, Katrina D. Edgar, John R. McPher...