801 search results - page 78 / 161 » The Core Language of Aldwych |
151
click to vote
ASPLOS
2008
ACM
15 years 8 months ago
2008
ACM
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...
153
click to vote
ICWS
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper, we propose a method for automated web service composition by applying Linear Logic (LL) theorem proving. We distinguish value-added web services and core service by ...
198
click to vote
PASTE
2010
ACM
15 years 11 months ago
2010
ACM
Multicore is now the dominant processor trend, and the number of cores is rapidly increasing. The paradigm shift to multicore forces the redesign of the software stack, which incl...
169
click to vote
CAISE
1998
Springer
15 years 10 months ago
1998
Springer
We show how model extensibility of object-oriented data management systems can be achieved through the combination of a highlevel core object data model and an architecture designe...
147
Voted
FPL
2006
Springer
15 years 9 months ago
2006
Springer
Multi-processor architectures have gained interest recently because of their ability to exploit programmable silicon parallelism at acceptable power-efficiency figures. Despite th...