Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code (English)
Free access
- New search for: Breuer, Peter T.
- New search for: Pickin, Simon
- New search for: Breuer, Peter T.
- New search for: Pickin, Simon
In:
Computational Science – ICCS 2006
10
;
765-772
;
2006
- Article/Chapter (Book) / Electronic Resource
-
Title:Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source Code
-
Contributors:Breuer, Peter T. ( author ) / Pickin, Simon ( author )
-
Published in:Computational Science – ICCS 2006 , 10 ; 765-772Lecture Notes in Computer Science ; 3994, 10 ; 765-772
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2006-01-01
-
Size:8 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
A New Energy Efficient Target Detection Scheme for Pervasive ComputingTrinh, Thanh Hai / Youn, Hee Yong et al. | 2006
- 9
-
A Load Balance Based On-Demand Routing Protocol for Mobile Ad-Hoc NetworksZhao, Liqiang / Wang, Xin / Lim, Azman Osman / Xue, Xiangyang et al. | 2006
- 17
-
Handover Control Function Based Handover for Mobile IPv6Wei, Guozhi / Wei, Anne / Xu, Ke / Deng, Hui et al. | 2006
- 25
-
Unified Error Control Framework with Cross-Layer Interactions for Efficient H.264 Video Transmission over IEEE 802.11e Wireless LANChoi, Jeong-Yong / Shin, Jitae et al. | 2006
- 33
-
A Novel Control Plane Model of Extensible RoutersWu, Kun / Wu, Jianping / Xu, Ke et al. | 2006
- 41
-
AM-Trie: A High-Speed Parallel Packet Classification Algorithm for Network ProcessorZheng, Bo / Lin, Chuang et al. | 2006
- 49
-
Speedup Requirements for Output Queuing Emulation with a Sliding-Window Parallel Packet SwitchLiu, Chia-Lung / Lin, Woei / Wu, Chin-Chi et al. | 2006
- 57
-
Combining Cross-Correlation and Fuzzy Classification to Detect Distributed Denial-of-Service AttacksWei, Wei / Dong, Yabo / Lu, Dongming / Jin, Guang et al. | 2006
- 65
-
Convergence of the Fixed Point Algorithm of Analytical Models of Reliable Internet Protocols (TCP)Fesehaye Kassa, Debessay / Wittevrongel, Sabine et al. | 2006
- 73
-
A Peer-to-Peer Approach to Semantic Web Services DiscoveryLi, Yong / Su, Sen / Yang, Fangchun et al. | 2006
- 81
-
Multicast Routing Protocol with Heterogeneous and Dynamic ReceiversLu, Huimei / Hu, Hongyu / Xiang, Quanshuang / Cao, Yuanda et al. | 2006
- 87
-
Using Case-Based Reasoning to Support Web Service CompositionCheng, Ruixing / Su, Sen / Yang, Fangchun / Li, Yong et al. | 2006
- 95
-
Secure OWL QueryXu, Baowen / Li, Yanhui / Lu, Jianjiang / Kang, Dazhou et al. | 2006
- 104
-
Efficient Population Diversity Handling Genetic Algorithm for QoS-Aware Web Services SelectionZhang, Chengwen / Su, Sen / Chen, Junliang et al. | 2006
- 112
-
A New Algorithm for Long Flows Statistics—MGCBFMingzhong, Zhou / Jian, Gong / Wei, Ding et al. | 2006
- 120
-
Estimating Original Flow Length from Sampled Flow StatisticsLiu, Weijiang / Gong, Jian / Ding, Wei / Peng, Yanbing et al. | 2006
- 128
-
Easily-Implemented Adaptive Packet Sampling for High Speed Networks Flow MeasurementWang, Hongbo / Lin, Yu / Jin, Yuehui / Cheng, Shiduan et al. | 2006
- 136
-
Multi-layer Network Recovery: Avoiding Traffic Disruptions Against Fiber FailuresUrra, Anna / Calle, Eusebi / Marzo, Jose L. et al. | 2006
- 144
-
An Algorithm for Estimation of Flow Length Distributions Using Heavy-Tailed FeatureLiu, Weijiang / Gong, Jian / Ding, Wei / Cheng, Guang et al. | 2006
- 152
-
Performance Evaluation of Novel MAC Protocol for WDM/Ethernet-PONJung, Bokrae / Yun, Hyunho / Kim, Jaegwan / Kim, Mingon / Kang, Minho et al. | 2006
- 156
-
An Efficient Mobility Management Scheme for Two-Level HMIPv6 NetworksPan, Xuezeng / Wan, Zheng / Ping, Lingdi / Su, Fanjun et al. | 2006
- 160
-
Analysis of Packet Transmission Delay Under the Proportional Fair Scheduling PolicyChoi, Jin-Hee / Choi, Jin-Ghoo / Yoo, Chuck et al. | 2006
- 164
-
Precise Matching of Semantic Web ServicesYao, Yonglei / Su, Sen / Yang, Fangchun et al. | 2006
- 168
-
Evolving Toward Next Generation Wireless Broadband InternetLee, Seung-Que / Park, Namhun / Cho, Choongho / Lee, Hyongwoo / Ryu, Seungwan et al. | 2006
- 172
-
A Decision Maker for Transport Protocol ConfigurationHwang, Jae-Hyun / Choi, Jin-Hee / Yoo, Chuck et al. | 2006
- 176
-
On the Generation of Fast Verifiable IPv6 AddressesZhang, Qianli / Li, Xing et al. | 2006
- 180
-
A MAC Protocol to Reduce Sleep Latency and Collisions in Wireless Sensor NetworkPak, Jinsuk / Son, Jeongho / Han, Kijun et al. | 2006
- 184
-
IC Design of IPv6 Routing Lookup for High Speed NetworksChu, Yuan-Sun / Su, Hui-Kai / Lin, Po-Feng / Chen, Ming-Jen et al. | 2006
- 188
-
GPU Accelerated Smith-WatermanLiu, Yang / Huang, Wayne / Johnson, John / Vaidya, Sheila et al. | 2006
- 196
-
A Graphics Hardware Accelerated Algorithm for Nearest Neighbor SearchBustos, Benjamin / Deussen, Oliver / Hiller, Stefan / Keim, Daniel et al. | 2006
- 200
-
The Development of the Data-Parallel GPU Programming Language CGiSLucas, Philipp / Fritz, Nicolas / Wilhelm, Reinhard et al. | 2006
- 204
-
Spline Surface Intersections Optimized for GPUsBriseid, Sverre / Dokken, Tor / Hagen, Trond Runar / Nygaard, Jens Olav et al. | 2006
- 212
-
A GPU Implementation of Level Set Multiview StereoLabatut, Patrick / Keriven, Renaud / Pons, Jean-Philippe et al. | 2006
- 220
-
Solving the Euler Equations on Graphics Processing UnitsHagen, Trond Runar / Lie, Knut-Andreas / Natvig, Jostein R. et al. | 2006
- 228
-
Particle-Based Fluid Simulation on the GPUHegeman, Kyle / Carr, Nathan A. / Miller, Gavin S. P. et al. | 2006
- 236
-
Spiking Neurons on GPUsBernhard, Fabrice / Keriven, Renaud et al. | 2006
- 244
-
SONA: An On-Chip Network for Scalable Interconnection of AMBA-Based IPsJung, Eui Bong / Cho, Han Wook / Park, Neungsoo / Song, Yong Ho et al. | 2006
- 252
-
Semi-automatic Creation of Adapters for Legacy Application Migration to Integration Platform Using KnowledgePieczykolan, Jan / Kryza, Bartosz / Kitowski, Jacek et al. | 2006
- 260
-
A Self-configuration Mechanism for High-Availability ClustersSung, Hocheol / Han, Sunyoung / Joo, Bok-Gyu / Ang, Chee-Wei / Cheng, Wang-Cho / Wong, Kim-Sing et al. | 2006
- 264
-
Development of Integrated Framework for the High Temperature Furnace DesignJin, Yu Xuan / Lee, Jae-Woo / Jeong, Karp Joo / Kim, Jong Hwa / Hwang, Ho-Yon et al. | 2006
- 272
-
A Distributed Real-Time Tele-operation System Based on the TMO ModelingLee, Hanku / Jeon, Segil et al. | 2006
- 280
-
A Sharing and Delivery Scheme for Monitoring TMO-Based Real-Time SystemsJeong, Yoon-Seok / Kim, Tae-Wan / Chang, Chun-Hyon et al. | 2006
- 289
-
An Algorithm for the Generalized k-Keyword Proximity Problem and Finding Longest Repetitive Substring in a Set of StringsLee, Inbok / Kim, Sung-Ryul et al. | 2006
- 293
-
A Grid-Based Flavonoid Informatics PortalXu, HaiGuo / Jeong, Karpjoo / Jung, Seunho / Lee, Hanku / Jeon, Segil / Cho, KumWon / Kim, Hyunmyung et al. | 2006
- 301
-
Computer Construction of Quasi Optimal Portfolio for Stochastic Models with Jumps of Financial MarketsJanicki, Aleksander et al. | 2006
- 308
-
A New Computational Method of Input Selection for Stock Market Forecasting with Neural NetworksHuang, Wei / Wang, Shouyang / Yu, Lean / Bao, Yukun / Wang, Lin et al. | 2006
- 316
-
Short-Term Investment Risk Measurement Using VaR and CVaRSakalauskas, Virgilijus / Kriksciuniene, Dalia et al. | 2006
- 324
-
Computational Asset Allocation Using One-Sided and Two-Sided Variability MeasuresFarinelli, Simone / Rossello, Damiano / Tibiletti, Luisa et al. | 2006
- 332
-
Stock Trading System Based on Formalized Technical Analysis and Ranking TechniqueMasteika, Saulius / Simutis, Rimvydas et al. | 2006
- 340
-
Deriving the Dependence Structure of Portfolio Credit Derivatives Using Evolutionary AlgorithmsHager, Svenja / Schöbel, Rainer et al. | 2006
- 348
-
Stochastic Volatility Models and Option PricesValaitytė, Akvilina / Valakevičius, Eimutis et al. | 2006
- 356
-
Extraction of Interesting Financial Information from Heterogeneous XML-Based DataPaik, Juryon / Eom, Young Ik / Kim, Ung Mo et al. | 2006
- 364
-
A Hybrid SOM-Altman Model for Bankruptcy PredictionMerkevicius, Egidijus / Garšva, Gintautas / Girdzijauskas, Stasys et al. | 2006
- 372
-
Learning and Inference in Mixed-State Conditionally Heteroskedastic Factor Models Using Viterbi ApproximationSaidane, Mohamed / Lavergne, Christian et al. | 2006
- 380
-
Constructing a P2P-Based High Performance Computing PlatformJin, Hai / Luo, Fei / Liao, Xiaofei / Zhang, Qin / Zhang, Hao et al. | 2006
- 388
-
LDMA: Load Balancing Using Decentralized Decision Making Mobile AgentsAramudhan, M. / Uthariaraj, V. Rhymend et al. | 2006
- 396
-
A Hybrid Scheme for Object Allocation in a Distributed Object-Storage SystemWang, Fang / Zhang, Shunda / Feng, Dan / Jiang, Hong / Zeng, Lingfang / Lv, Song et al. | 2006
- 404
-
Survive Under High Churn in Structured P2P Systems: Evaluation and StrategyLiu, Zhiyu / Yuan, Ruifeng / Li, Zhenhua / Li, Hongxing / Chen, Guihai et al. | 2006
- 412
-
Analyzing Peer-to-Peer Traffic’s Impact on Large Scale NetworksYang, Mao / Dai, Yafei / Tian, Jing et al. | 2006
- 420
-
Analyzing the Dynamics and Resource Usage of P2P File Sharing by a Spatio-temporal ModelSusitaival, Riikka / Aalto, Samuli / Virtamo, Jorma et al. | 2006
- 428
-
Understanding the Session Durability in Peer-to-Peer Storage SystemTian, Jing / Dai, Yafei / Wang, Hao / Yang, Mao et al. | 2006
- 436
-
Popularity-Based Content Replication in Peer-to-Peer NetworksKawasaki, Yohei / Matsumoto, Noriko / Yoshida, Norihiko et al. | 2006
- 444
-
A New Method for Crude Oil Price Forecasting Based on Support Vector MachinesXie, Wen / Yu, Lean / Xu, Shanying / Wang, Shouyang et al. | 2006
- 452
-
Credit Risk Evaluation Based on LINMAPMou, Tai-yong / Zhou, Zong-fang / Shi, Yong et al. | 2006
- 460
-
Logic Mining for Financial DataFelici, G. / Galante, M. A. / Torosantucci, L. et al. | 2006
- 468
-
Mining Both Associated and Correlated PatternsZhou, Zhongmei / Wu, Zhaohui / Wang, Chunshan / Feng, Yi et al. | 2006
- 476
-
A New Multi-criteria Convex Quadratic Programming Model for Credit AnalysisKou, Gang / Peng, Yi / Shi, Yong / Chen, Zhengxin et al. | 2006
- 485
-
Multiclass Credit Cardholders’ Behaviors Classification MethodsKou, Gang / Peng, Yi / Shi, Yong / Chen, Zhengxin et al. | 2006
- 493
-
Hybridizing Exponential Smoothing and Neural Network for Financial Time Series PredicationLai, Kin Keung / Yu, Lean / Wang, Shouyang / Huang, Wei et al. | 2006
- 501
-
Assessment the Operational Risk for Chinese Commercial BanksGao, Lijun / Li, Jianping / Chen, Jianming / Xu, Weixuan et al. | 2006
- 509
-
Pattern Recognition for MCNs Using Fuzzy Linear ProgrammingHe, Jing / Yue, Wuyi / Shi, Yong et al. | 2006
- 517
-
Comparisons of the Different Frequencies of Input Data for Neural Networks in Foreign Exchange Rates ForecastingHuang, Wei / Yu, Lean / Wang, Shouyang / Bao, Yukun / Wang, Lin et al. | 2006
- 525
-
Automatic Differentiation of C++ Codes for Large-Scale Scientific ComputingBartlett, Roscoe A. / Gay, David M. / Phipps, Eric T. et al. | 2006
- 533
-
A Sensitivity-Enhanced Simulation Approach for Community Climate System ModelKim, Jong G. / Hunke, Elizabeth C. / Lipscomb, William H. et al. | 2006
- 541
-
Optimal Checkpointing for Time-Stepping Procedures in ADOL-CKowarz, Andreas / Walther, Andrea et al. | 2006
- 550
-
On the Properties of Runge-Kutta Discrete AdjointsSandu, Adrian et al. | 2006
- 558
-
Source Transformation for MATLAB Automatic DifferentiationKharche, Rahul V. / Forth, Shaun A. et al. | 2006
- 566
-
The Data-Flow Equations of Checkpointing in Reverse Automatic DifferentiationDauvergne, Benjamin / Hascoët, Laurent et al. | 2006
- 574
-
Linearity Analysis for Automatic DifferentiationStrout, Michelle Mills / Hovland, Paul et al. | 2006
- 582
-
Hybrid Static/Dynamic Activity AnalysisKreaseck, Barbara / Ramos, Luis / Easterday, Scott / Strout, Michelle / Hovland, Paul et al. | 2006
- 591
-
Automatic Sparsity Detection Implemented as a Source-to-Source TransformationGiering, Ralf / Kaminski, Thomas et al. | 2006
- 599
-
Lattice Properties of Two-Dimensional Charge-Stabilized Colloidal CrystalsDyshlovenko, Pavel / Li, Yiming et al. | 2006
- 607
-
Self-consistent 2D Compact Model for Nanoscale Double Gate MOSFETsKolberg, S. / Fjeldly, T. A. / Iñiguez, B. et al. | 2006
- 615
-
Neural Network Based MOS Transistor Geometry Decision for TSMC 0.18μ Process TechnologyAvci, Mutlu / Yildirim, Tulay et al. | 2006
- 623
-
Vlasov-Maxwell Simulations in Singular GeometriesAssous, Franck / Ciarlet, Patrick Jr. et al. | 2006
- 631
-
Fast Rigorous Analysis of Rectangular Waveguides by Optimized 2D-TLMAkbal, Ayhan / Balik, Hasan H. et al. | 2006
- 638
-
A New Approach to Spectral Domain Method: Functional ProgrammingBalik, Hasan H. / Sevinc, Bahadir / Akbal, Ayhan et al. | 2006
- 645
-
Optimized Design of Interconnected Bus on Chip for Low PowerLi, Donghai / Ma, Guangsheng / Feng, Gang et al. | 2006
- 653
-
A Conservative Approach to SystemC ParallelizationChopard, B. / Combes, P. / Zory, J. et al. | 2006
- 661
-
Modular Divider for Elliptic Curve Cryptographic Hardware Based on Programmable CAJeon, Jun-Cheol / Kim, Kee-Won / Oh, Jai-Boo / Yoo, Kee-Young et al. | 2006
- 669
-
A General Data Grid: Framework and ImplementationZhang, Wu / Mei, Jian / Xie, Jiang et al. | 2006
- 677
-
Path Following by SVDDieci, Luca / Gasparo, Maria Grazia / Papini, Alessandra et al. | 2006
- 685
-
Comparing Leja and Krylov Approximations of Large Scale Matrix ExponentialsBergamaschi, L. / Caliari, M. / Martínez, A. / Vianello, M. et al. | 2006
- 693
-
Combined Method for Nonlinear Systems of EquationsJiang, Peng / Yang, Geng / Rong, Chunming et al. | 2006
- 700
-
A General Family of Two Step Runge-Kutta-Nyström Methods for y ″ = f(x,y) Based on Algebraic PolynomialsPaternoster, Beatrice et al. | 2006
- 708
-
Schur Decomposition Methods for the Computation of Rational Matrix FunctionsPoliti, T. / Popolizio, M. et al. | 2006
- 716
-
Piecewise Constant Perturbation Methods for the Multichannel Schrödinger EquationLedoux, Veerle / Daele, Marnix / Berghe, Guido Vanden et al. | 2006
- 724
-
State Dependent Symplecticity of Symmetric MethodsIavernaro, Felice / Pace, Brigida et al. | 2006
- 732
-
On the Solution of Skew-Symmetric Shifted Linear SystemsPoliti, T. / Pugliese, A. et al. | 2006
- 740
-
Search Based Software EngineeringHarman, Mark et al. | 2006
- 748
-
Modular Monadic Slicing in the Presence of PointersWu, Zhongqiang / Zhang, Yingzhou / Xu, Baowen et al. | 2006
- 757
-
Modified Adaptive Resonance Theory Network for Mixed Data Based on Distance HierarchyHsu, Chung-Chian / Huang, Yan-Ping / Hsiao, Chieh-Ming et al. | 2006
- 765
-
Checking for Deadlock, Double-Free and Other Abuses in the Linux Kernel Source CodeBreuer, Peter T. / Pickin, Simon et al. | 2006
- 773
-
Generating Test Data for Specification-Based Tests Via Quasirandom SequencesChi, Hongmei / Jones, Edward L. / Evans, Deidre W. / Brown, Martin et al. | 2006
- 781
-
Support Vector Machines for Regression and Applications to Software Quality PredictionJin, Xin / Liu, Zhaodong / Bie, Rongfang / Zhao, Guoxing / Ma, Jixin et al. | 2006
- 789
-
Segmentation of Software Engineering Datasets Using the M5 AlgorithmRodríguez, D. / Cuadrado, J. J. / Sicilia, M. A. / Ruiz, R. et al. | 2006
- 797
-
A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408Horie, Daisuke / Morimoto, Shoichi / Cheng, Jingde et al. | 2006
- 805
-
Domain Requirements Elicitation and Analysis - An Ontology-Based ApproachLee, Yuqin / Zhao, Wenyun et al. | 2006
- 814
-
Integrative Computational Frameworks for Multiscale Digital Human Modeling and SimulationWard, Richard C. / Pouchard, Line C. / Nutaro, James J. et al. | 2006
- 822
-
Multi-scale Modeling of Trauma InjuryImielinska, Celina / Przekwas, Andrzej / Tan, X. G. et al. | 2006
- 831
-
Investigation of the Biomechanic Function of Cruciate Ligaments Using Kinematics and Geometries from a Living Subject During Step Up/Down Motor TaskBertozzi, Luigi / Stagni, Rita / Fantozzi, Silvia / Cappello, Angelo et al. | 2006
- 839
-
Optimization Technique and FE Simulation for Lag Screw Placement in Anterior Column of the AcetabulumTong, Ruo-feng / Liao, Sheng-hui / Dong, Jin-xiang et al. | 2006
- 847
-
Model of Mechanical Interaction of Mesenchyme and Epithelium in Living TissuesKroc, Jiří et al. | 2006
- 855
-
Three-Dimensional Virtual Anatomic Fit Study for an Implantable Pediatric Ventricular Assist DeviceDrummond, Arielle / Bachman, Timothy / Antaki, James et al. | 2006
- 862
-
Soft Computing Based Range Facial Recognition Using EigenfaceLee, Yeung-Hak / Han, Chang-Wook / Kim, Tae-Sun et al. | 2006
- 870
-
A Privacy Algorithm for 3D Human Body ScansLaws, Joseph / Cai, Yang et al. | 2006
- 878
-
The Study of the Detection and Tracking of Moving Pedestrian Using Monocular-VisionHao-li, Chang / Zhong-ke, Shi / Qing-hua, Fu et al. | 2006
- 886
-
An Implementation of Real Time-Sentential KSSL Recognition System Based on the Post Wearable PCKim, Jung-Hyun / Roh, Yong-Wan / Hong, Kwang-Seok et al. | 2006
- 894
-
Patient Modeling Using Mind Mapping Representation as a part of Nursing Care PlanAhn, Hye-Young / Yeon, Eunja / Ham, Eunmi / Paik, Woojin et al. | 2006
- 902
-
A Technique for Code Generation of USN Applications Based on Nano-QplusLee, Kwangyong / Lee, Woojin / Kim, Juil / Chong, Kiwon et al. | 2006
- 910
-
A Study on the Indoor Real-Time Tracking System to Reduce the Interference ProblemLee, Hyung Su / Song, Byunghun / Youn, Hee Yong et al. | 2006
- 918
-
A Task Generation Method for the Development of Embedded SoftwareGao, Zhigang / Wu, Zhaohui / Li, Hong et al. | 2006
- 922
-
Active Shape Model-Based Object Tracking in Panoramic VideoKim, Daehee / Maik, Vivek / Lee, Dongeun / Shin, Jeongho / Paik, Joonki et al. | 2006
- 930
-
Interworking of Self-organizing Hierarchical Ad Hoc Networks and the InternetLee, Hyukjoon / Rhee, Seung Hyong / Raychaudhuri, Dipankar / Trappe, Wade et al. | 2006
- 938
-
A Dependable Communication Network for e-TextilesZheng, Nenggan / Wu, Zhaohui / Chen, Lei / Zhou, Yanmiao / Wang, Qijia et al. | 2006
- 946
-
EAR-RT: Energy Aware Routing with Real-Time Guarantee for Wireless Sensor NetworksHeo, Junyoung / Yi, Sangho / Park, Geunyoung / Cho, Yookun / Hong, Jiman et al. | 2006
- 954
-
A Design of Energy-Efficient Receivers for Cluster-Head Nodes in Wireless Sensor NetworksLee, Hyungkeun / Kim, Hwa-sung et al. | 2006
- 962
-
An Error Control Scheme for Multicast Video Streaming on the Last Hop Wireless LANsLee, Junghoon / Kang, Mikyung / Park, Gyungleen / Kim, Hanil / Kim, Choelmin / Kim, Seongbaeg et al. | 2006
- 970
-
Design of a Fast Handoff Scheme for Real-Time Media Application on the IEEE 802.11 Wireless LANKang, Mikyung / Lee, Junghoon / Hong, Jiman / Kim, Jinhwan et al. | 2006
- 979
-
Accuracy Enhancement by Selective Use of Branch History in Embedded ProcessorKwak, Jong Wook / Jhang, Seong Tae / Jhon, Chu Shik et al. | 2006
- 987
-
A Novel Method of Adaptive Repetitive Control for Optical Disk DriversChang, Kyungbae / Park, Gwitae et al. | 2006
- 991
-
A Real Time Radio Link Monitoring Using CSIOh, Hyukjun / Hong, Jiman et al. | 2006
- 999
-
Adaptive Encoding of Multimedia Streams on MPSoCBernard, Julien / Roch, Jean-Louis / Paoli, Serge / Santana, Miguel et al. | 2006
- 1007
-
A Mechanism to Make Authorization Decisions in Open Distributed Environments Without Complete Policy InformationYu, Chiu-Man / Ng, Kam-Wing et al. | 2006
- 1015
-
A Reputation-Based Grid Information ServiceAbawajy, J. H. / Goscinski, A. M. et al. | 2006
- 1023
-
Transparent Resource Management with Java RM APIJanik, Arkadiusz / Zieliński, Krzysztof et al. | 2006
- 1031
-
Resource Discovery in Ad-Hoc GridsMoreno-Vozmediano, Rafael et al. | 2006
- 1039
-
JIMS Extensions for Resource Monitoring and Management of Solaris 10Zieliński, Krzysztof / Jarząb, Marcin / Wieczorek, Damian / Balos, Kazimierz et al. | 2006
- 1047
-
An Agent Based Semi-informed Protocol for Resource Discovery in GridsForestiero, Agostino / Mastroianni, Carlo / Spezzano, Giandomenico et al. | 2006
- 1055
-
Replica Based Distributed Metadata Management in Grid EnvironmentJin, Hai / Xiong, Muzhou / Wu, Song / Zou, Deqing et al. | 2006
- 1063
-
Data Replication Techniques for Data-Intensive ApplicationsNo, Jaechun / Park, Chang Won / Park, Sung Soon et al. | 2006
- 1071
-
Managing Data Using Neighbor Replication on Triangular-Grid StructureMamat, Ali / Deris, M. Mat / Abawajy, J. H. / Ismail, Suhaila et al. | 2006