6155 search results - page 54 / 1231 » A language for multiple models of computation |
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
With the proliferation of consumer computing devices with varied display and input characteristics, it has become desirable to develop interactive systems that are usable across m...
100
click to vote
ICPP
2009
IEEE
15 years 4 months ago
2009
IEEE
—Sparse Matrix-Vector multiplication (SpMV) is a very challenging computational kernel, since its performance depends greatly on both the input matrix and the underlying architec...
LAWEB
2003
IEEE
15 years 3 months ago
2003
IEEE
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...
KR
2010
Springer
15 years 2 months ago
2010
Springer
We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear l...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Multiple inheritance has long been plagued with the “diamond” inheritance problem, leading to solutions that restrict expressiveness, such as mixins and traits. Instead, we ad...