Sciweavers

7452 search results - page 148 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
ASWC
2008
Springer
15 years 8 months ago
Understanding Semantic Web Applications
Ten years have passed since the concept of the semantic web was proposed by Tim Berners-Lee. For these years, basic technologies for them such as RDF(S) and OWL were published. As ...
Kouji Kozaki, Yusuke Hayashi, Munehiko Sasajima, S...
APLAS
2007
ACM
15 years 10 months ago
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer
We rationally reconstruct the core of the Coccinelle system, used for automating and documenting collateral evolutions in Linux device drivers. A denotational semantics of the syst...
Neil D. Jones, René Rydhof Hansen
HPCA
2006
IEEE
16 years 6 months ago
Completely verifying memory consistency of test program executions
An important means of validating the design of commercial-grade shared memory multiprocessors is to run a large number of pseudo-random test programs on them. However, when intent...
Chaiyasit Manovit, Sudheendra Hangal
ISCA
2010
IEEE
176views Hardware» more  ISCA 2010»
15 years 10 months ago
Forwardflow: a scalable core for power-constrained CMPs
Chip Multiprocessors (CMPs) are now commodity hardware, but commoditization of parallel software remains elusive. In the near term, the current trend of increased coreper-socket c...
Dan Gibson, David A. Wood
EWSN
2006
Springer
16 years 6 months ago
Semantic Streams: A Framework for Composable Semantic Interpretation of Sensor Data
We present a framework called Semantic Streams that allows users to pose declarative queries over semantic interpretations of sensor data. For example, instead of querying raw magn...
Kamin Whitehouse, Feng Zhao, Jie Liu