2296 search results - page 39 / 460 » The Expressive Power of Synchronizations |
160
click to vote
RWEB
2010
Springer
15 years 2 months ago
2010
Springer
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
100
click to vote
ICANN
2005
Springer
15 years 9 months ago
2005
Springer
Multidimensional Scaling (MDS) is a powerful dimension reduction technique for embedding high-dimensional data into a lowdimensional target space. Thereby, the distance relationshi...
139
click to vote
FTRTFT
1998
Springer
15 years 8 months ago
1998
Springer
We present a compositional semantics of synchronous systems that captures both safety and progress properties of such systems. The fair synchronous transitions systems (fsts) mode...
171
click to vote
HOTI
2011
IEEE
14 years 3 months ago
2011
IEEE
Abstract—Network-on-Chips (NoCs) paradigm is fast becoming a defacto standard for designing communication infrastructure for multicores with the dual goals of reducing power cons...
141
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
The fact that graphics processors (GPUs) are today’s most powerful computational hardware for the dollar has motivated researchers to utilize the ubiquitous and powerful GPUs fo...