281 search results - page 28 / 57 » A formal framework for compositional compilation |
136
click to vote
ACSD
2006
IEEE
15 years 10 months ago
2006
IEEE
In the modern design environments, different modules, available in existent libraries, may obey different architectural styles and execution models. Reaching a well– behaved com...
114
click to vote
WWW
2003
ACM
16 years 5 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...
139
click to vote
ICCAD
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a new hardware synthesis methodology for guarded atomic actions (or rules), which satisfies performance-related scheduling specifications provided by the designer. The ...
167
click to vote
MBEES
2008
15 years 5 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
156
click to vote
PADL
2012
Springer
13 years 12 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...