2364 search results - page 206 / 473 » An Engine for Computing Well-Founded Models |
141
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
140
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
FCA has been successfully applied to software engineering tasks such as source code analysis and class hierarchy re-organization. Most notably, FCA hematics behind the mechanism of...
157
Voted
SENSYS
2010
ACM
15 years 2 months ago
2010
ACM
Understanding the dynamics of bodies of water and their impact on the global environment requires sensing information over the full volume of water. We develop a gradientbased dec...
151
Voted
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
156
click to vote
TC
2010
14 years 11 months ago
2010
We propose an execution model that orchestrates the fine-grained interaction of a conventional general-purpose processor (GPP) and a high-speed reconfigurable hardware accelerator ...