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.