2613 search results - page 463 / 523 » Proposal for Tools Supporting Component Based Programming |
132
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
149
click to vote
IWVF
2001
Springer
15 years 7 months ago
2001
Springer
Volumetric images of small mortar samples under load are acquired by X-ray microtomography. The images are binarized at many different threshold values, and over a million connecte...
148
Voted
KAIS
2006
15 years 2 months ago
2006
XML has already become the de facto standard for specifying and exchanging data on the Web. However, XML is by nature verbose and thus XML documents are usually large in size, a fa...
118
Voted
ICFP
2007
ACM
15 years 6 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
126
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...