Sciweavers

614 search results - page 17 / 123
» The Power of Methods With Parallel Semantics
Sort
View
128
Voted
LAWEB
2003
IEEE
15 years 8 months ago
Application Modeling for the Semantic Web
In this article we present a method for the design and implementation of Web Applications for the Semantic Web. Based on the "Object Oriented Hypermedia Design Method" a...
Fernanda Lima, Daniel Schwabe
188
Voted
SAS
2010
Springer
262views Formal Methods» more  SAS 2010»
15 years 1 months ago
Concurrent Separation Logic for Pipelined Parallelization
Recent innovations in automatic parallelizing compilers are showing impressive speedups on multicore processors using shared memory with asynchronous channels. We have formulated a...
Christian J. Bell, Andrew W. Appel, David Walker
127
Voted
VEE
2009
ACM
146views Virtualization» more  VEE 2009»
15 years 9 months ago
Demystifying magic: high-level low-level programming
r of high-level languages lies in their abstraction over hardware and software complexity, leading to greater security, better reliability, and lower development costs. However, o...
Daniel Frampton, Stephen M. Blackburn, Perry Cheng...
111
Voted
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
15 years 9 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
109
Voted
ICPP
1996
IEEE
15 years 7 months ago
Parallel Implementation of Cone Beam Tomography
Abstract - Three dimensional computed tomography is a computationally intensive procedure, requiring large amounts of R A M and processing power. Parallel methods for two dimension...
David A. Reimann, Vipin Chaudhary, Michael J. Flyn...