11066 search results - page 2038 / 2214 » Linearity in Process Languages |
145
click to vote
ICWE
2007
Springer
15 years 10 months ago
2007
Springer
In recent years, innovation in technologies such as web services, business process automation, etc., have motivated a new paradigm in the application development field to appear, k...
129
click to vote
IESS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract This paper presents an embedded system design toolchain for automatic generation of parallel code runnable on symmetric multiprocessor systems from an initial sequential s...
137
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
133
click to vote
IFL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Parser combinators, often monadic, are a venerable and widelyused solution to read data from some external format. However, the capability to return a partial parse has, ...
141
click to vote
IWIC
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The long-term historical development and broad geographical variation of Chinese character (Hanzi/Kanji) has made it a crosscultural information sharing platform in East ...