Sciweavers

7452 search results - page 148 / 1491
» A Semantics for Multiprocessor Systems
Sort
View
ASWC
2008
Springer
15 years 5 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 7 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
142
Voted
HPCA
2006
IEEE
16 years 4 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 8 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 3 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