9581 search results - page 1425 / 1917 » On Ubiquitous Integrated Computing |
192
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
With the ever-increasing transistor variability in CMOS technology, it is essential to integrate variation-aware performance analysis into the task allocation and scheduling proce...
196
click to vote
EICS
2010
ACM
15 years 11 months ago
2010
ACM
Language Technology (LT) based applications become more popular as technology improves. Prototyping early in the design process is critical for the development of high quality app...
201
click to vote
IEEESCC
2010
IEEE
15 years 11 months ago
2010
IEEE
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...
223
click to vote
ESCIENCE
2007
IEEE
15 years 11 months ago
2007
IEEE
Provenance management has become increasingly important to support scientific discovery reproducibility, result interpretation, and problem diagnosis in scientific workflow enviro...
207
click to vote
RTA
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper we present our formalization of two important termination techniques for term rewrite systems: the subterm criterion and the reduction pair processor in com...