Sciweavers

2452 search results - page 313 / 491
» The Case for Precision Sharing
Sort
View
180
Voted
GIS
2009
ACM
15 years 10 months ago
Dynamic network data exploration through semi-supervised functional embedding
The paper presents a framework for semi-supervised nonlinear embedding methods useful for exploratory analysis and visualization of spatio-temporal network data. The method provid...
Alexei Pozdnoukhov
ICECCS
2007
IEEE
120views Hardware» more  ICECCS 2007»
15 years 10 months ago
Verifying the CICS File Control API with Z/Eves: An Experiment in the Verified Software Repository
Parts of the CICS transaction processing system were modelled formally in the 1980s in a collaborative project between IBM Hursley Park and Oxford University Computing Laboratory....
Leo Freitas, Konstantinos Mokos, Jim Woodcock
CODES
2004
IEEE
15 years 10 months ago
Tuning SoC platforms for multimedia processing: identifying limits and tradeoffs
We present a analytical framework to identify the tradeoffs and performance impacts associated with different SoC platform configurations in the specific context of implementing m...
Alexander Maxiaguine, Yongxin Zhu, Samarjit Chakra...
CAISE
2006
Springer
15 years 10 months ago
Personalisation of Next Generation Mobile Services
Abstract. As communication technologies are becoming more and more advanced, the opportunities to deliver improved, user friendly services using these technologies are increasing. ...
Ivar Jørstad, Do Van Thanh, Schahram Dustda...
ECRTS
2004
IEEE
15 years 10 months ago
Energy-Efficient Policies for Request-Driven Soft Real-Time Systems
Computing systems, ranging from small battery-operated embedded systems to more complex general purpose systems, are designed to satisfy various computation demands in some accept...
Cosmin Rusu, Ruibin Xu, Rami G. Melhem, Daniel Mos...