2607 search results - page 351 / 522 » Complete Functional Synthesis |
169
click to vote
EDBT
2006
ACM
16 years 7 months ago
2006
ACM
In modern databases, complex objects like multimedia data, proteins or text objects can be modeled in a variety of representations and can be decomposed into multiple instances of ...
140
Voted
SC
2009
ACM
16 years 1 months ago
2009
ACM
In this paper, we consider the problem of supporting fault tolerance for adaptive and time-critical applications in heterogeneous and unreliable grid computing environments. Our g...
203
Voted
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—To accommodate the growing number of applications integrated on a single chip, Networks on Chip (NoC) must offer scalability not only on the architectural, but also on t...
169
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
205
Voted
TLCA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...