binding-time analysis - researchr tag

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 72855

2012

SAFECOMP, Proceedings2012.

Steady state analysis of level dependent quasi-birth-and-death processes with catastrophesHendrik Baumann, Werner Sandmann. cor, 39(2):413-423, 2012. [doi]

Quantitative analysis of the hidden terminal problem in preamble sampling WSNsCristina Cano, Boris Bellalta, A. Cisneros, Miquel Oliver. adhoc, 10(1):19-36, 2012. [doi]

Synthesising graphics card programs from DSLsLuke Cartey, Rune Lyngso, Oege de Moor. In Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation. 2012: 121-132 [doi]

A nonparametric approach to weighted estimating equations for regression analysis with missing covariatesAn Creemers, Marc Aerts, Niel Hens, Geert Molenberghs. csda, 56(1):100-113, 2012. [doi]

A competing risks analysis of the duration of federal target funds ratesEster Gutiérrez, Sebastián Lozano. cor, 39(4):785-791, 2012. [doi]

Reliability analysis of waste clean-up manipulator using genetic algorithms and fuzzy methodologyNaveen Kumar, Jin-Hwan Borm, Ajay Kumar. cor, 39(2):310-319, 2012. [doi]

Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. Software and Systems Modeling (Preprint) 2012.

Embedding domain-specific modeling languages into Maude specificationsVlad Rusu. SoSyM, , 2012.

Bayesian multiscale analysis of images modeled as Gaussian Markov random fieldsKevin Thon, Håvard Rue, Stein Olav Skrøvseth, Fred Godtliebsen. csda, 56(1):49-61, 2012. [doi]

Analysis Strategies for Software Product LinesThomas Thüm, Sven Apel, Christian Kästner, Martin Kuhlemann, Ina Schaefer, Gunter Saake. Technical Report FIN-004-2012, 2012.

Model-Driven Performance Analysis of Rule-Based Domain Specific Visual ModelsJavier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler. Information and Software Technology, , 2012. [doi]

Malware Analysis with Multiple FeaturesMuhammad Najmi Ahmad Zabidi, Mohd Aizaini Maarof, Anazida Zainal. Computer Modeling and Simulation, International Conference on, 0:231-235, 2012. [doi]

2011

IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2011, 10-12 April, 2011, Austin, TX, USAIEEE Computer Society, 2011. [doi]

International Conference on Advances in Social Networks Analysis and Mining, ASONAM 2011, Kaohsiung, Taiwan, 25-27 July 2011IEEE Computer Society, 2011.

MASCOTS 2011, 19th Annual IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, Singapore, 25-27 July, 2011IEEE, 2011. [doi]

Wavelet Analysis for the Detection of Parametric and Catastrophic Faults in Mixed-Signal Circuits Spyronasios A.D., Michael Dimopoulos, Hatzopoulos A.A.. TIM, 60(6):2025-2038, june 2011. [doi]

Correlation between thermal conductivity and bond length alternation in carbon nanotubes: A combined reverse nonequilibrium molecular dynamics - Crystal orbital analysisMohammad Alaghemandi, Joachim Schulte, Frédéric Leroy, Florian Müller-Plathe, Michael C. Böhm. jcc, 32(1):121-133, 2011. [doi]

A comprehensive soft error analysis methodology for SoCs/ASICs memory instancesDan Alexandrescu. iolts 2011: 175-176 [doi]

PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis ToolMusab AlTurki, José Meseguer. calco 2011: 386-392 [doi]

Image Analysis for Calculation of the Toxicity Degree of Cells in Phase Contrast Microscopy ImagesMaria Athelogou, M. Eblenkamp, G. Schmidt, F. Novotny, E. Wintermantel, Gerd Karl Binnig. bildmed 2011: 134-138 [doi]

Improving the Confidence in Measurement-Based Timing AnalysisSven Bünte, Michael Zolda, Michael Tautschnig, Raimund Kirner. isorc 2011: 144-151 [doi]

Similarity analysis of DNA sequences based on the EMD methodFenglan Bai, Jihong Zhang, Junsheng Zheng. appml, 24(2):232-237, 2011. [doi]

Supervised principal component analysis: Visualization, classification and regression on subspaces and submanifoldsElnaz Barshan, Ali Ghodsi, Zohreh Azimifar, Mansoor Zolghadri Jahromi. PR, 44(7):1357-1371, 2011. [doi]

A novel hybrid method for better evaluation: Evaluating university instructors teaching performance by combining conventional content analysis with fuzzy rule based systemsMurat Alper Basaran, Nurdan Kalayci, Mehmet Tarik Atay. eswa, 38(10):12565-12568, 2011. [doi]

Combining Specification-based and Code-based Coverage for Model Transformation ChainsEduard Bauer, Jochen Kuester. ICMT 2011: 78-92

Intermodulation Distortion in Multicarrier Satellite Systems: Analysis and Turbo Volterra EqualizationBassel F. Beidas. tcom, 59(6):1580-1590, 2011. [doi]

Anne-Wil Harzing: The publish or perish book: Your guide to effective and responsible citation analysis - Tarma Software Research Pty Ltd, Melbourne, Australia, c2010, ISBN 978-0-9808485-1-9, US49.95 (::::paperback::::, ::::black:::: ::::and:::: ::::whiteStephen J. Bensman. scientometrics, 88(1):339-342, 2011. [doi]

WCET Analysis of Component-Based Systems Using Timing TracesAdam Betts, Amine Marref. ICECCS 2011: 13-22 [doi]

Introduction of evidential contribution measures for the input variables used in a CaRBS based analysis: An application in strategic consensusMalcolm J. Beynon, Rhys Andrews. eswa, 38(1):47-57, 2011. [doi]

ABV - A Verifier for the Architecture Analysis and Design Language (AADL)Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson. ICECCS 2011: 355-360 [doi]

Analysis of the Decision-Directed SNR Estimator for Speech Enhancement With Respect to Low-SNR and Transient ConditionsColin Breithaupt, Rainer Martin. taslp, 19(2):277-289, 2011. [doi]

Exact and approximate algorithms for variable selection in linear discriminant analysisMichael J. Brusco, Douglas Steinley. csda, 55(1):123-131, 2011. [doi]

From screening to quantitative sensitivity analysis. A unified approachFrancesca Campolongo, Andrea Saltelli, Jessica Cariboni. cphysics, 182(4):978-988, 2011. [doi]

The Interaction Analysis of Web Collaborative Exploration Learning in Two Scenarios: Shared-Computer and One-to-One ComputerChia-Jung Chang, Cheng-Chung Liu, Kuo-Ping Liu. icalt 2011: 516-520 [doi]

A modified super-efficiency measure based on simultaneous input-output projection in data envelopment analysisJin-Xiao Chen, Mingrong Deng, Sylvain Gingras. cor, 38(2):496-504, 2011. [doi]

Inno-Qual efficiency of higher education: Empirical testing using data envelopment analysisJui-Kuei Chen, I-Shuo Chen. eswa, 38(3):1823-1834, 2011. [doi]

Developing Organisational Stories Through Grounded Theory Data Analysis: A Case Example for Studying IS PhenomenaElayne W. Coakes, Anthony D. Elliman. ijskd, 3(2):26-41, 2011. [doi]

Technical efficiency estimation with multiple inputs and multiple outputs using regression analysisTrevor Collier, Andrew L. Johnson, John Ruggiero. eor, 208(2):153-160, 2011. [doi]

EM-ICP strategies for joint mean shape and correspondences estimation: Applications to statistical analysis of shape and of asymmetryBenoît Combès, Marc Fournier, David N. Kennedy, Jose Braga, Neil Roberts, Sylvain Prima. isbi 2011: 1257-1263 [doi]

Automated ECG diagnostic P-wave analysis using waveletsA. Diery, D. Rowlands, Tim R. H. Cutmore, D. James. cmpb, 101(1):33-43, 2011. [doi]

Motion tracking with fixed-lag smoothing: Algorithm and consistency analysisTue-Cuong Dong-Si, Anastasios I. Mourikis. icra 2011: 5655-5662 [doi]

Condition monitoring of speed controlled induction motors using wavelet packets and discriminant analysisDogan Gökhan Ece, Murat Alper Basaran. eswa, 38(7):8079-8086, 2011. [doi]

Special Issue: European Symposium on Algorithms, Design and AnalysisAmos Fiat. algorithmica, 61(1):1-2, 2011. [doi]

Independent component analysis for multiple-input multiple-output wireless communication systemsJ. Gao, X. Zhu, A. K. Nandi. sigpro, 91(4):607-623, 2011. [doi]

Stochastic lot-sizing with backlogging: computational complexity analysisYongpei Guan. jgo, 49(4):651-678, 2011. [doi]

Analysis of Sensors Coverage through Application-Specific WSN Provisioning ToolSami J. Habib. ijmcmc, 3(1):51-62, 2011. [doi]

Robust kernel discriminant analysis using fuzzy membershipsGyeongyong Heo, Paul D. Gader. PR, 44(3):716-723, 2011. [doi]

Performance analysis of IEEE 802.11 ad hoc based broadcastYi-Hung Huang, Chao-Yu Kuo. SAC 2011: 72-73 [doi]

Antecedents and Outcomes of Boundary Objects in Knowledge Interaction in the Context of Software Systems AnalysisEugenia Y. Huang, Travis K. Huang. hicss 2011: 1-9 [doi]

linkcomm: an R package for the generation, visualization, and analysis of link communities in networks of arbitrary size and typeAlex T. Kalinka, Pavel Tomancak. bioinformatics, 27(14):2011-2012, 2011. [doi]

Image Analysis and Recognition - 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part IMohamed Kamel, Aurélio C. Campilho, editors, Volume 6753 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Image Analysis and Recognition - 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part IIMohamed Kamel, Aurélio C. Campilho, editors, Volume 6754 of Lecture Notes in Computer Science, Springer, 2011. [doi]

Image Segmentation and Shape Analysis for Road-Sign DetectionJesmin F. Khan, Sharif M. A. Bhuiyan, Reza R. Adhami. tits, 12(1):83-96, 2011. [doi]

Reducing Combinatorics in Testing Product LinesKim, Chang Hwan Peter, Batory, Don S., Khurshid, Sarfraz. In Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD). 2011: 57-68 [doi]

Platform Independent, Higher-Order, Statically Checked Mobile ApplicationsDean Kramer, Tony Clark, Samia Oussena. International Journal of Design, Analysis and Tools for Circuits and Systems, 2(1):14-29, August 2011.

Analysis of self-similar data by artificial neural networksSergio Ledesma, Jose Ruiz, Guadalupe García, Gabriel Aviña, Donato Hernández. icnsc 2011: 480-485 [doi]

Analysis of zero-inflated clustered count data: A marginalized model approachKeunbaik Lee, Yongsung Joo, Joon Jin Song, Dee Wood Harper. csda, 55(1):824-837, 2011. [doi]

Measurement and Analysis of the Direct Train to Train Propagation Channel in the 70 cm UHF-BandAndreas Lehner, Cristina Rico Garcia, Thomas Strang, Oliver Heirich. nets4cars 2011: 45-57 [doi]

Optimization of Visitor Performance by Reflection-Based AnalysisMarkus Lepper, Baltasar Trancón-y-Widemann. ICMT 2011: 15-30

Stability analysis for Cohen-Grossberg neural networks with time-varying delays via LMI approachChang-Hua Lien, Ker-Wei Yu, Yen-Feng Lin, Hao-Chin Chang, Yeong-Jay Chung. eswa, 38(5):6360-6367, 2011. [doi]

Tuning PID control parameters for micro-piezo-stage by using grey relational analysisJ. Lin, H. Chiang, C. C. Lin. eswa, 38(11):13924-13932, 2011. [doi]

Theoretical analysis of the lifetime and energy hole in cluster based wireless sensor networksAn-Feng Liu, Peng-Hui Zhang, Zhi-Gang Chen. jpdc, 71(10):1327-1355, 2011. [doi]

Brain-computer interface analysis of a dynamic visuo-motor taskVito Logar, Ales Belic. artmed, 51(1):43-51, 2011. [doi]

Large scale empirical analysis of cooperative coevolutionSean Luke, Keith Sullivan, Faisal Abidi. gecco 2011: 151-152 [doi]

Analysis and Elimination of Dangerous Wave Propagation as Intelligent Adaptive TechniqueZdenek Machacek. aciids 2011: 482-491 [doi]

Accurate Measurement-Based WCET Analysis in the Absence of Source and Binary CodeAmine Marref, Adam Betts. isorc 2011: 127-135 [doi]

Experiences in Visualizing the Analysis of Blended-Learning Interactions to Support TeachersMaite Martín, Ainhoa Alvarez, Isabel Fernández-Castro, David Reina, Maite Urretavizcaya. icalt 2011: 265-266 [doi]

Implementation processes: a Boolean analysisC. Martin, M. Metcalfe. jors, 62(1):21-28, 2011. [doi]

Application of texture analysis to ventilation SPECT/CT dataArndt Meier, Catherine Farrow, Benjamin E. Harris, Gregory G. King, Allan Jones. cmig, 35(6):438-450, 2011. [doi]

Dremel: interactive analysis of web-scale datasetsSergey Melnik, Andrey Gubarev, Jing Jing Long, Geoffrey Romer, Shiva Shivakumar, Matt Tolton, Theo Vassilakis. CACM, 54(6):114-123, 2011. [doi]

Reducing the Overhead of Direct Application Instrumentation Using Prior Static AnalysisJan Mußler, Daniel Lorenz, Felix Wolf. europar 2011: 65-76 [doi]

Faster Alias Set Analysis Using SummariesNomair A. Naeem, Ondrej Lhoták. CC 2011: 82-103 [doi]

Singular perturbation analysis of a flexible beam used in underwater explorationD. Subbaram Naidu. ijsysc, 42(1):183-194, 2011. [doi]

Similarity analysis in Bayesian random partition modelsCarlos A. Navarrete, Fernando A. Quintana. csda, 55(1):97-109, 2011. [doi]

SC:::2:::ATmd: a tool for integration of the figure of merit with cluster analysis for gene expression dataAmy L. Olex, Jacquelyn S. Fetrow. bioinformatics, 27(9):1330-1331, 2011. [doi]

Fine grain thermal modeling and experimental validation of 3D-ICsOprins, H., Adi Srinivasan, Cupak, M., Cherman, V., Torregiani, C., Stucchi, M., {Van der Plas}, G., Marchal, P., Vandevelde, B., Cheng, E.. mj, 42(4):572-578, April 2011. [doi]

Static Livelock Analysis in CSPJoël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell. concur 2011: 389-403 [doi]

A Conjoint Analysis of Attributes Affecting the Likelihood of Technology UseAnna Elisabeth Pohlmeyer, Lucienne T. M. Blessing. hci 2011: 303-312 [doi]

Bias analysis of the forced choice detection test for Rayleigh/Rician statisticsGraham W. Pulford. icassp 2011: 4184-4187 [doi]

Finite-difference analysis of natural convection flow of a viscous fluid in a porous channel with constant heat sourcesM. A. Rana, Rashid Qamar, A. A. Farooq, A. M. Siddiqui. appml, 24(12):2087-2092, 2011. [doi]

Functional experiment design for the analysis of colour changes in granite using new L*a*b* functional colour coordinatesT. Rivas, José M. Matías, Javier Taboada, C. Ordóñez Galán. jcam, 235(16):4701-4716, 2011. [doi]

Multi-Dimensional Variability ModelingMarko Rosenmüller, Norbert Siegmund, Thomas Thüm, Gunter Saake. In Proceedings of the Workshop on Variability Modelling of Software-intensive Systems (VaMoS). 2011: 11-20

Analysis of Convertible Bond Value Based on Integration of Support Vector Machine and Copula FunctionChuanhe Shen, Xiangrong Wang. cssc, 40(10):1563-1575, 2011. [doi]

Statistical analysis and modeling of the temperature-dependent sleep behavior of drosophilaChi-Tin Shih, Hsuan-Wen Lin, Ann-Shyn Chiang. cphysics, 182(1):195-197, 2011. [doi]

A locality analysis on purchasing helper at e-commerce webpage - The example in TW, CN, MO and HKJenn Tang. eswa, 38(1):371-378, 2011. [doi]

Proof Composition for Deductive Verification of Software Product LinesThomas Thüm, Ina Schaefer, Martin Kuhlemann, Sven Apel. In Proceedings of the International Workshop on Variability-intensive Systems Testing, Validation & Verification (VAST). 2011:

A Cognitive Approach to IS Requirement Analysis: Mental Model Building from Case StudyChien-Chung Tu, Kwoting Fang, Chwen-Yea Lin. jsw, 6(4):643-650, 2011. [doi]

Genetic evolving ant direction HDE for OPF with non-smooth cost functions and statistical analysisK. Vaisakh, L. R. Srinivas. eswa, 38(3):2046-2062, 2011. [doi]

Improving Differential Power Analysis by Elastic AlignmentJasper G. J. van Woudenberg, Marc F. Witteman, Bram Bakker. ctrsa 2011: 104-119 [doi]

Pattern Recognition and Image Analysis - 5th Iberian Conference, IbPRIA 2011, Las Palmas de Gran Canaria, Spain, June 8-10, 2011. ProceedingsJordi Vitrià, João Miguel Raposo Sanches, Mario Hernández, editors, Volume 6669 of Lecture Notes in Computer Science, Springer, 2011. [doi]

A self-adaptive data analysis for fault diagnosis of an automotive air-conditioner blowerJian-Da Wu, Shu-Yi Liao. eswa, 38(1):545-552, 2011. [doi]

A Three-Dimension Analysis of Driving Factors for Mobile Application Stores: Implications of Open Mobile Business EngineeringToshihiko Yamakami. aina 2011: 885-889 [doi]

Performance analysis of lattice-reduction algorithms for a novel LR-compatible K-Best MIMO detectorAmeer Youssef, Mahdi Shabany, P. Glenn Gulak. iscas 2011: 701-704 [doi]

An Efficient Grid Data Access with StoRMZappi, R., Elisabetta Ronchieri, Forti, A., Ghiselli, A.. In Data Driven e-Science, ISBN 978-1-4419-8013-7.~Springer Science+Business Media, LLC, 2011, p.~239. 2011. [doi]

Risk prioritization in failure mode and effects analysis under uncertaintyZaifang Zhang, Xuening Chu. eswa, 38(1):206-214, 2011. [doi]

Spatio-chromatic Image Content Descriptors and Their Analysis Using Extreme Value TheoryVasileios Zografos, Reiner Lenz. scia 2011: 579-591 [doi]

An Efficient Grid Data Access with StoRM{Zappi}, R., {Ronchieri}, E., {Forti}, A., {Ghiselli}, A.. In Data Driven e-Science. ISBN 978-1-4419-8013-7, Springer Science+Business Media, LLC, 2011. [doi]

Assessment of Power System Reliability - Methods and ApplicationsMarko Čepin. Springer Verlag, 2011.

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Tag: binding-time analysis

Viewing Publication 1 - 100 from 72855

2012

2011

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Tag: binding-time analysis

Viewing Publication 1 - 100 from 72855

2012

2011

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1