3507 search results - page 151 / 702 » Specialized execution environments |
117
click to vote
RV
2007
Springer
15 years 10 months ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
137
click to vote
MODELS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
134
Voted
DAIS
2006
15 years 5 months ago
2006
Abstract. In this paper, a model is presented which allows the composition of web services by means of a special web service, named WSInterConnect. Such a service might be used in ...
136
click to vote
DATE
2008
IEEE
15 years 10 months ago
2008
IEEE
One of the upcoming challenges in embedded processing is to incorporate an increasing amount of adaptivity in order to respond to the multifarious constraints induced by today’s...
114
click to vote
AADEBUG
1997
Springer
15 years 8 months ago
1997
Springer
Previously the debugging of optimised code has not been possible without recompiling the executable code and preventing the use of code optimisation techniques. Although current r...