2757 search results - page 96 / 552 » On separating systems |
153
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Anisotropic decompositions using representation systems such as curvelets, contourlet, or shearlets have recently attracted significantly increased attention due to the fact that...
133
click to vote
HPCA
2005
IEEE
16 years 4 months ago
2005
IEEE
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
113
click to vote
ICFP
2005
ACM
16 years 4 months ago
2005
ACM
We propose an aspect-oriented programming (AOP) language called Aspectual Caml based on a strongly-typed functional language Objective Caml. Aspectual Caml offers two AOP mechanis...
108
click to vote
ESOP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Rely-guarantee is a well-established approach to reasoning about concurrent programs that use parallel composition. However, parallel composition is not how concurrency i...
126
click to vote
ICWL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...