Recently, modeling has received a lot of attention in the design of embedded computing systems. StateCharts is one of the modeling specifications which has been successfully imple...
Stephan Schulz II, T. C. Ewing, Jerzy W. Rozenblit
We present a typed calculus IL ("intermediate language") which supports the embedding of ML-like (strict, eager) and Haskell-like (non-strict, lazy) languages, without fa...
Ben Rudiak-Gould, Alan Mycroft, Simon L. Peyton Jo...
Combinatorial auctions, where bidders can submit bids on bundles of items, are economically efļ¬cient mechanisms for selling items to bidders, and are attractive when the biddersā...
Abstract. The resource limited nature of WSNs require that protocols implemented on these networks be energy-eļ¬cient, scalable and distributed. This paper presents an analysis of...
In this paper, we present a semi-automated method for converting conventional 2D images to stereoscopic 3D. User-deļ¬ned strokes that correspond to a rough estimate of the depth ...
Raymond Phan, Richard Rzeszutek, Dimitrios Androut...