


default search action
Computing, Volume 94
Volume 94, Number 1, January 2012
- Haifeng Shen, Gang Liu, Jun Guo:
Two-stage model-based feature compensation for robust speech recognition. 1-20 - Nils Fisher, Zhen He
, Mitzi McCarthy:
A hybrid filesystem for hard disk drives in tandem with flash memory. 21-68 - Yuhui Deng, Kai Li, Lingwei Zhang, Ming Fang, Xinyu Huang:
Evaluating disk idle behavior by leveraging disk schedulers. 69-93
Volume 94, Numbers 2-4, March 2012
- Nathalie Revol, Götz Alefeld:
Editorial. 95 - Jürgen Garloff:
Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations. 97-107 - Michael Zimmer, Walter Krämer, Evgenija D. Popova
:
Solvers for the verified solution of parametric linear systems. 109-123 - Andreas Griewank
, Kshitij Kulshreshtha, Andrea Walther
:
On the numerical stability of algorithmic differentiation. 125-149 - Mitsuhiro T. Nakao, Takehiko Kinoshita, Takuma Kimura
:
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems. 151-162 - Ekaterina Auer
, Andreas Rauh
:
VERICOMP: a system to compare and assess verified IVP solvers. 163-172 - Ignacio Araya
, Bertrand Neveu, Gilles Trombettoni:
An interval extension based on occurrence grouping. 173-188 - Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot:
A generalization of p-boxes to affine arithmetic. 189-201 - Stefan Siegel, Jürgen Wolff von Gudenberg:
A long accumulator like a carry-save adder. 203-213 - Marco Nehmeier:
Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard. 215-228 - Walter Krämer:
Multiple/arbitrary precision interval computations in C-XSC. 229-241 - Marco Nehmeier, Stefan Siegel, Jürgen Wolff von Gudenberg:
Specification of hardware for interval arithmetic. 243-255 - Bartlomiej Jacek Kubica
:
A class of problems that can be solved using interval algorithms. 271-280 - Eva Dyllong, Stefan Kiel:
A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure. 281-296 - Luc Jaulin:
Solving set-valued constraint satisfaction problems. 297-311 - Gabor Rebner, Ekaterina Auer
, Wolfram Luther:
A verified realization of a Dempster-Shafer based fault tree analysis. 313-324 - Bhagyesh V. Patil
, P. S. V. Nataraj, Sharad Bhartiya
:
Global optimization of mixed-integer nonlinear (polynomial) programming problems: the Bernstein polynomial approach. 325-343 - Andreas Rauh
, Ekaterina Auer
, Thomas Dötschel, Harald Aschemann:
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances. 345-356 - Andreas Rauh
, Julia Kersten
, Ekaterina Auer
, Harald Aschemann:
Sensitivity-based feedforward and feedback control for uncertain systems. 357-367 - Valérie Berthé:
Numeration and discrete dynamical systems. 369-387
Volume 94, Number 5, May 2012
- Asef Al-Khateeb, Nur'Aini Abdul Rashid, Rosni Abdullah:
An enhanced meta-scheduling system for grid computing that considers the job type and priority. 389-410 - Basel A. Mahafzah
, Azzam Sleit
, Nesreen A. Hamad
, Elham F. Ahmad, Tasneem M. Abu-Kabeer:
The OTIS hyper hexa-cell optoelectronic architecture. 411-432 - Gleb Beliakov
, Michael Johnstone
, Saeid Nahavandi:
Computing of high breakdown regression estimators without sorting on graphics processing units. 433-447 - Gabriel de Blasio
, Arminda Moreno-Díaz
, Roberto Moreno-Díaz:
Bioinspired computing nets for directionality in vision. 449-462
Volume 94, Number 6, June 2012
- Alexander Nowak, Tobias Binz, Christoph Fehling, Oliver Kopp
, Frank Leymann
, Sebastian Wagner:
Pattern-driven green adaptation of process-based applications and their runtime infrastructure. 463-487 - Fethi A. Rabhi, Lawrence Yao, Adnene Guabtni:
ADAGE: a framework for supporting user-driven ad-hoc data analysis processes. 489-519 - Victor Maojo, Martin Fritts, Fernando Martín-Sánchez
, Diana de la Iglesia, Raul E. Cachau, Miguel García-Remesal, José Crespo, Joyce A. Mitchell, Alberto Anguita
, Nathan A. Baker
, José María Barreiro, Sonia E. Benitez, Guillermo de la Calle
, Julio C. Facelli
, Peter Ghazal, Antoine Geissbühler, Fernando D. González Nilo
, Norbert M. Graf
, Pierre Grangeat
, Isabel Hermosilla
, Rada Hussein
, Josipa Kern
, Sabine Koch
, Yannick Legré, Victoria López-Alonso
, Guillermo López-Campos
, Luciano Milanesi
, Vassilis Moustakis, Cristian R. Munteanu
, Paula Otero
, Alejandro Pazos
, David Pérez-Rey, George Potamias, Ferran Sanz
, Casimir A. Kulikowski:
Nanoinformatics: developing new computing applications for nanomedicine. 521-539
Volume 94, Number 7, July 2012
- Monireh Sadat Mirtalaei, Morteza Saberi
, Omar Khadeer Hussain
, Behzad Ashjari, Farookh Khadeer Hussain:
A trust-based bio-inspired approach for credit lending decisions. 541-577 - Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto:
DSOL: a declarative approach to self-adaptive service orchestrations. 579-617
Volume 94, Numbers 8-10, September 2012
- Alberto Montresor
, Guszti Eiben, Maarten van Steen
:
Extreme distributed systems: from large scale to complexity. 619-620 - Amir Hossein Payberah, Jim Dowling, Fatemeh Rahimian, Seif Haridi:
Distributed optimization of P2P live streaming overlays. 621-647 - Ying Qiao, Gregor von Bochmann:
Load balancing in peer-to-peer systems using a diffusive approach. 649-678 - Mahathir Almashor
, Ibrahim Khalil
:
Fully peer-to-peer virtual environments with 3D Voronoi diagrams. 679-700 - Nicolò Maria Calcavecchia, Bogdan Alexandru Caprarescu, Elisabetta Di Nitto
, Daniel J. Dubois, Dana Petcu
:
DEPAS: a decentralized probabilistic algorithm for auto-scaling. 701-730 - George Tsatsanifos, Vasilis Samoladas:
A novel robust on-line protocol for load-balancing in structured peer-to-peer systems. 731-762 - J. A. M. Naranjo
, Leocadio G. Casado
, Márk Jelasity
:
Asynchronous privacy-preserving iterative computation on peer-to-peer networks. 763-782 - Anwitaman Datta
:
Merging ring-structured overlay indices: toward network-data transparency. 783-809 - Andrei Pruteanu, Stefan Dulman:
ASH: tackling node mobility in large-scale networks. 811-832
Volume 94, Number 11, November 2012
- Saeed Sedighian Kashi
, Mohsen Sharifi
:
Coverage rate calculation in wireless sensor networks. 833-856 - Michael Würsch, Giacomo Ghezzi, Matthias Hert, Gerald Reif, Harald C. Gall
:
SEON: a pyramid of ontologies for software evolution and its applications. 857-885 - Román Anselmo Mora Gutiérrez
, Javier Ramírez-Rodríguez, Eric Alfredo Rincón García, Antonin Ponsich, Oscar Herrera-Alcántara
:
An optimization algorithm inspired by social creativity systems. 887-914
Volume 94, Number 12, December 2012
- Zeeshan Pervez
, Asad Masood Khattak, Sungyoung Lee, Young-Koo Lee, Eui-Nam Huh:
Oblivious access control policies for cloud based data sharing systems. 915-938 - Efthymia Tsamoura, Anastasios Gounaris, Yannis Manolopoulos:
Optimization of decentralized multi-way join queries over pipelined filtering services. 939-972 - Junaid Shuja
, Sajjad Ahmad Madani
, Kashif Bilal, Khizar Hayat
, Samee Ullah Khan
, Shahzad Sarwar:
Energy-efficient data centers. 973-994

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.