1145 search results - page 169 / 229 » The Correctness of an Optimized Code Generation |
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
107
click to vote
ICFP
2003
ACM
15 years 11 months ago
2003
ACM
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present proach based on the use of higher-order abstract syntax and...
107
click to vote
ECOWS
2009
Springer
15 years 6 months ago
2009
Springer
—Current Web service composition approaches and languages such as WS-BPEL do not allow to define temporal constraints in a declarative and separate way. Also it is not possible ...
104
click to vote
ICNP
2006
IEEE
15 years 5 months ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...
LCPC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...