4311 search results - page 143 / 863 » Code Generation for Distributed Systems |
118
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
The layered architecture of middleware platforms (such as CORBA, SOAP, J2EE) is a mixed blessing. On the one hand, layers provide services such as demarshaling, session management...
122
click to vote
EUROPAR
2007
Springer
15 years 8 months ago
2007
Springer
An optimizing compiler has a hard time to generate a code which will perform at top speed for an arbitrary data set size. In general, the low level optimization process must take i...
ATAL
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Companies in today’s automotive industry are under immense competitive pressure to reduce the length of their product development cycle from initial concept to begin of...
116
click to vote
SPIN
2000
Springer
15 years 5 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
108
click to vote
WISA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Reverse engineering of executable programs, by disassembling them and then using program analyses to recover high level semantic information, plays an important role in a...