10707 search results - page 52 / 2142 » Designing executable abstractions |
141
click to vote
WWW
2005
ACM
15 years 8 months ago
2005
ACM
We propose a technique for the automated synthesis of new comeb services. Given a set of abstract BPEL4WS descriptions of component services, and a composition requirement, we aut...
88
Voted
FMOODS
2007
15 years 4 months ago
2007
The Pict programming language is an implementation of the π-calculus in which executions of π-calculus terms are specified via an abstract machine. An important property of any ...
123
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Layout tools for FPGAs can typically be run in two different modes: non-timing-driven and timing-driven. Non-timing-driven mode produces a solution quickly, without consi...
CBSE
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Software components are deployed into an execution environment before runtime. The execution environment influences the runtime execution of a component. Therefore, it i...
DAC
2004
ACM
16 years 3 months ago
2004
ACM