新規登録 | ログイン | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

dabhishe library [31 articles]

最近 dabhishe さんのライブラリ .
  • Queueing Model Based Network Server Performance Control
    (2002)
    by Lui Sha, Xue Liu, Ying Lu, Tarek Abdelzaher
    posted to feedback-controller jitter real-time by dabhishe on 2007-05-07 17:56:45 as **
  • Schedulability analysis and utilization bounds for highly scalable real-time services
    (2001)
    by T Abdelzaher, C Lu
    posted to feedback-controller jitter real-time by dabhishe on 2007-05-04 21:34:47 as **
  • Using Simplicity to Control Complexity
    IEEE Softw., Vol. 18, No. 4. (July 2001), pp. 20-28.
    by Lui Sha
    posted to feedback-controller jitter real-time by dabhishe on 2007-05-04 21:31:37 as **
  • A Feedback-driven Proportion Allocator for Real-Rate Scheduling
    (1999), pp. 145-158.
    by David C Steere, Ashvin Goel, Joshua Gruenberg, Dylan Mcnamee, Calton Pu, Jonathan Walpole
    posted to feedback-controller jitter real-time by dabhishe on 2007-05-04 21:29:18 as **
  • Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms
    No. CS-2001-05. (JanuaryMay 2001)
    by Chenyang Lu, John A Stankovic, Gang Tao, Sang H Son
    posted to feedback-controller jitter real-time by dabhishe on 2007-05-04 21:28:19 as **
  • Feedback Performance Control in Software Services
    (2003)
    by T Abdelzaher, J Stankovic, C Lu, R Zhang, Y Lu
    posted to feedback-controller jitter real-time by dabhishe on 2007-05-04 21:27:19 as **
  • Performance Guarantees for Web Server End-Systems: A Control-Theoretical Approach
    IEEE Trans. Parallel Distrib. Syst., Vol. 13, No. 1. (January 2002), pp. 80-96.
    by Tarek F Abdelzaher, Kang G Shin, Nina Bhatti
    posted to feedback-controller jitter realtime by dabhishe on 2007-05-04 21:26:48 as **
  • Feedback Utilization Control in Distributed Real-Time Systems with End-to-End Tasks
    IEEE Trans. Parallel Distrib. Syst., Vol. 16, No. 6. (June 2005), pp. 550-561.
    by Xiaorui Wang
    posted to feedback-controller jitter real-time by dabhishe on 2007-05-04 21:25:57 as **
  • Towards a model-driven architecture for autonomic systems
    Engineering of Computer-Based Systems, 2004. Proceedings. 11th IEEE International Conference and Workshop on the (2004), pp. 500-505.
    by D Gracanin, SA Bohner, M Hinchey
    posted to autonomic cluster computing by dabhishe on 2007-03-16 18:02:51 as **
  • MPI/FT: Architecture and Taxonomies for Fault-Tolerant, Message-Passing Middleware for Performance-Portable Parallel Computing
    (2001)
    by Rajanikanth Batchu, Jothi P Neelamegam, Zhenqian Cui, Et
    posted to autonomic cluster by dabhishe on 2007-03-16 17:51:58 as **
  • Autonomic Management of Large Clusters and Their Integration into the Grid
    Journal of Grid Computing, Vol. 2, No. 3. (September 2004), pp. 247-260.
    by Thomas Roblitz, Florian Schintke, Alexander Reinefeld, Olof Barring, M Barroso, German Cancio, Sylvain Chapeland, Karim Chouikh, Lionel Cons, Piotr Poznanski, Philippe Defert, Jan Iven, Thorsten Kleinwort, Bernd Panzer-Steindel, Jaroslaw Polok, Catherine Rafflin, Alan Silverman, Tim Smith, Jan Eldik, David Front, Massimo Biasotto, Cristina Aiftimiei, Enrico Ferro, Gaetano Maron, Andrea Chierici, Luca Dell'agnello, Marco Serra, Michele Michelotto, Lord Hess, Volker Lindenstruth, Frank Pister, T Morten, David Groep, Martijn Steenbakkers, Oscar Koeroo, Wim Cerff, Gerben Venekamp, Paul Anderson, Tim Colles, Alexander Holt, Alastair Scobie, Michael George, Andrew Washbrook, Rafael Leiva
    posted to autonomic cluster by dabhishe on 2007-03-08 00:07:43 as read along with 2 people and 1 group ddawson schintke Rigi
  • An architectural approach to autonomic computing
    Autonomic Computing, 2004. Proceedings. International Conference on (2004), pp. 2-9.
    by SR White, JE Hanson, I Whalley, DM Chess, JO Kephart
    posted to architecture autonomic by dabhishe on 2007-03-06 23:00:09 as ** along with 12 people and 4 groups broussea fzou ddahlem marcia pverstra franco mzygmunt greatgator cybrpunk ingstrup slatre japarejo Rigi P2P-SeC macc dopsy
  • Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems
    Innovations in Systems and Software Engineering
    by Abhishek Dubey, Steve Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai
    posted to computing autonomic by dabhishe on 2007-01-30 18:12:13 as read
  • The RTES project - BTeV, and beyond
    Real Time Conference, 2005. 14th IEEE-NPSS (2005), pp. 143-146.
    by MJ Haney, S Ahuja, T Bapty, H Cheung, Z Kalbarczyk, A Khanna, J Kowalkowski, D Messie, D Mosse, S Neema, S Nordstrom, J Oh, P Sheldon, S Shetty, D Volper, L Wang, D Yao
    posted to rtes by dabhishe on 2006-09-11 22:29:57 as **
  • Modeling reflex-healing autonomy for large-scale embedded systems
    Systems, Man and Cybernetics, Part C, IEEE Transactions on, Vol. 36, No. 3. (2006), pp. 292-303.
    by SG Nordstrom, SS Shetty, SK Neema, TA Bapty
    posted to no-tag by dabhishe on 2006-08-14 15:46:34 as **
  • Autonomous and autonomic systems: a paradigm for future space exploration missions
    Systems, Man and Cybernetics, Part C, IEEE Transactions on, Vol. 36, No. 3. (2006), pp. 279-291.
    by WF Truszkowski, MG Hinchey, JL Rash, CA Rouff
    posted to exploration journal space by dabhishe on 2006-08-09 21:44:03 as ** along with 1 person scis0000001
  • The Sudbury Neutrino Observatory electronics chain
    Nuclear Science, IEEE Transactions on, Vol. 42, No. 4. (1995), pp. 925-932.
    by DF Cowen, T Ekenberg, JR Klein, FM Newcomer, R Van Berg, RG Van de Water, P Wittich, A Biman, RL Stevenson
    posted to aquisition data by dabhishe on 2006-08-09 15:02:41 as **
  • Effective synthesis of switching controllers for linear systems
    Proceedings of the IEEE, Vol. 88, No. 7. (2000), pp. 1011-1025.
    by E Asarin, O Bournez, T Dang, O Maler, A Pnueli
    posted to hybridsystems supervisory_control by dabhishe on 2006-04-16 17:14:26 as **
  • The synthesis of controllers for linear hybrid automata
    (1997)
    by Wong H Toi
    posted to supervisory_control by dabhishe on 2006-04-16 17:03:28 as **
  • Hybrid Systems: Modeling and Supervisory Control
    by Bruce H Krogh, Alongkrit Chutinan
    posted to supervisory_control by dabhishe on 2006-04-16 17:00:36 as **
  • Controller Synthesis for Timed Automata
    (1998)
    by A Pnueli, E Asarin, O Maler, J Sifakis
    posted to realtime supervisory_control by dabhishe on 2006-04-13 19:36:51 as ** along with 2 people astrivedi Benjii
  • Timed Control with Partial Observability
    Lecture Notes in Computer Science, Vol. 2725 (July 2003), pp. 180-192.
    by Patricia Bouyer, Deepak D'Souza, P Madhusudan, Antoine Petit
    posted to realtime supervisory_control by dabhishe on 2006-04-13 19:31:44 as **
  • Deciding properties of timed transition models
    Parallel and Distributed Systems, IEEE Transactions on, Vol. 1, No. 2. (1990), pp. 170-183.
    by JS Ostroff
    posted to realtime supervisory_control by dabhishe on 2006-04-10 18:31:49 as **
  • Supervisory Control of a Class of Discrete Event Processes
    Siam J. Control and Optimization, Vol. 25, No. 1. (1987)
    by P Ramadge, W Wonham
    posted to supervisory_control by dabhishe on 2006-04-10 18:02:47 as **
  • Discrete approximation and supervisory control of continuous systems
    Automatic Control, IEEE Transactions on, Vol. 43, No. 4. (1998), pp. 569-573.
    by J Raisch, SD O'Young
    posted to continuous discrete_abstraction supervisory_control by dabhishe on 2006-04-10 17:52:29 as **
  • Software Fault Tolerance: A Tutorial
    by Wilfredo T Pomales
    posted to software_fault_tolerance by dabhishe on 2006-04-06 02:46:32 as ***** along with 2 people and 1 group rahul andrewrmills SRL
  • Modal logics and mu-calculi: an introduction
    (2001)
    by J Bradfield, C Stirling
    posted to modelchecking mucalculus by dabhishe on 2006-04-04 20:39:35 as ***** along with 1 person and 1 group benoitstpierre CLIC
  • notes Increasing System Dependability through Architecture-based Self-repair
    Architecting Dependable Systems (2003)
    by David Garlan, Shang W Cheng, Bradley Schmerl
    edited by R de Lemos, C Gacek, A Romanovsky
    posted to counterexample modelchecking by dabhishe on 2006-04-04 19:22:31 as ***** along with 696 people and 131 groups fernand0 dperkel egh jyuh samth sora florine ladygoat hopm hellige parmentierf ssn mortimer tinkha V plaugg ansobol mjaz berthelemy eldan pdlug zephoria carloscabanillas Janos bkliethermes nazareno elsantosneto januadiaboli yaroslavvb jurijmlotman geomblog srl bigga treycausey CSG mcphee chandrashekar denns matzke sherrivokey sona cassj lijil hlovise coolger incites bigmagpie alicetiara yorgos johannsen cavlec smbrower viller jenmy mlzafron tymmail sedging davidr macowell eimaj42jdp Flit BenWillems agallet hawesie sngourlay jolilius rmagf acer ville garyfeng danifazzio willwade gantlord melanieramage mgregg cwb neteler carneym crispinb rdlong lillekatt davemack agarza carsonr imcdnzl tjimenez Tolik lna dmikurube szityu michmill P2324548 jpbenda Vaccine tadm mkwalker anar grzegorz japple planetoid okarsligil stormybriggs UWerplab nbr inbetweener pafmon stina pgastrein xiruela kutabar jfr xamde kliether mleis jshahin cmunson lfriedl sharonhoward ccots terraces czlamer brent_lance subhradeep jjray Jellyfish cmmorel bayesian benavides ghsalazar manuelpq sekulerlab jmaryott kristina chad_davis Ayest thens austin RMGraze e2holmes JAShapiro contradictoryben lrodero jamesfournie nybon hawkestein diegolino_veneziano rvosa Schmidtc lyongu ricmilne KarinaFigueroa jfmenudet cdmilligan great_apes brthz juliajumeau gloinf billwolff mrkrause halsnalle pintman yish mkcerusky cyph3r idm smithco ruudvanleeuwen BarrosH aelva harshpshah earnoux princessbritty Laki kupopo ryang eustatic daqing balicea stain matts ram frankgrimes Pfaff9 locatellimp seawidget ianli kate_waxlyrical rherring ThomasEtEckert cliona shaun gregnishihara harmonjt Happybene jklugman mwyarbro rburnett prabakaran nperrin tystl gugek NicolasNeubauer gytisc Nele pedagogicapprentice dlouzeck phillipkent emerson rafamayo arichar6 pasion sadsackmac gbae redcourgette sunilbajpai JJNonesuch heintz BuckeyePhysicist bretblosser charlesijones term duckysherwood madhadron ypeter cmm agraham yijisoo jberro peaksun balabu djsaab crumj garypearce rinelk plashkes PaulB charlescearl malkav30 p2p-sec langec tuaba os252 JonathanFeinberg jingliu dvoigt hywel tshr dgront isorhiza foistudy jenine donade kmcolo fisherp voiklis insilico fitzgeraldsteele junoda sumeetonweb familydoc craigtalbert dmitri83 dmboyer martint RalphPutnam atsu-kan hlwoodcock reta gogabr smmurphy rafabravo JennaW hisashim cjones chuggins Sulpicus ranb alikocho hiromark gane5h l-alex rdiaz pilho danzinde ueberweise wangsd echinotrix ak Odi bezbozhnik todchambers perceptron wasteland93 yizheng stephane-jean mahlow mbaric mtr anon_pl dir289 lanubile fcalefato dpeeler QFRMC xwenlong johncumbers kgronemyer keitokita hkl pervane mpennell kedmond mfisk brusilovsky gregflanders hgamboa pgeymueller last5laps jbrown nathanielvirgo rwm101 ChristianGraf marohn davetown101 barbz79it naturecure edgarbc muellerkind fugitive joshuashen kndiaye aviad_work EsepBib crusher lucbelanger lauragonzalez Manhal gagliol ashandanj lns cblock trungdong lechristophe ealloza s-adachi rsabouni dhingra corcoted Shii vrv fmiyamae livingthingdan kaz229 Haggan knowlengr aniak kungcc krzywy tg Rootfruit ricklillie gracev lrsantos babyone eenauk long pereicoco lieselot yeqiwei amcmorl redelings nojhan mkharito rocarvaj stoev tdpessem briansludwig ttsutsumi wenniehu elsiatcase perhapstoopink atbrew fsteeg digitaldust CDivin whshen andersok fpalm gkvas brembs ragha mgran thomaswuebben justaubrey macfreek lilalia azygmunt ddineen miguelbezerra jdiggans sjgaller huminfly thjt shenshei erikwdavis jsvoboda ceegrs2 jared jijkoun slafont mdifranc GregorSuhr jmurdoch mattlee Repton jvrantwijk ible fruminator mamadoudiao mkowa fellow tzmtzm samjlord abbyworld aozkan giorgis fluomouse Tellima RiccardoAlbertoni annmarie37 ciriol sstoerge gengh goingsomewhere ruddyconsult MichaelGaebler nco71 Vezhnick fabianhemmert shangnan Fahland lossius adriancooke baikanamako elisaformist jsanpedro oceanflynn imaginaryunit bobturner grahamc nascardaughter shariffdinah ibschwartz srfairclough joepickrell bouchard islandrru hohkhkh1 alchemyst mlewcio irwink henriksdal cychang padraic trshepherd tarjeiha josemblazquez pitzelberger hukkinen toppi sjc garancher_gougeon_reyotero nmaisonneuve powell digamberjuwekar cmcleod grieth isys1186 aartaki polyparadigm rodney portalqm tkravitz bangb cdm jeanfou CareyNadell teh zwang shivakmr prerona michaelmampaey mick39 dagmar gi0rgi0ne bellia akom kevin7 friveroll khm zetetic karipuf leechuck freddan hp2oo1 jenda_z ngrandy andreacapocci ghunter Maderlock shizhao dayadvham monientiedt rebeccamancy calamar c-gobert baniel wongmld jborn dmschneid tale chrisatcite mloewer hanxiansheng rlai jasonbobe ggorjan zeppe AlisonBabeu eprzekwa J_Raff fornstar yodha Akimasa technical Scis0000002 oilpalm spacely j0nes IanBrown TCgroup RalfMitschke ingedwar Oktoplus stonest kaniko cwr jladell rbmoura Leize adjih carpi omidf2 msampson olaf markusd paulschlesinger qwermish librain pkrrules nellapower thehajime PeterRabbit paulvb cvq peefeeyatko kinestetika lynleypage truongducthang metaspencer dodger042 jpassoth krokicki tibbitts brianlimyl vogmae doylem nkishan joni2am hayko gjhuang ashko buggle bemike cvarnam umurthy21 andregermanoregert Katje midshipman tgyork ivanois toivotuo jnz snyder84 idonaldson dandaman awc psique Thaverkamp mtugrul buchgeher fairy mebiel lectorespa bennettn waszak forestier claudiotubertini acastaner hkreysa AnneB christiankissig GimpyBee sgclendenon paj prdrieze cortex rschulz aklassen kenneth1ny nschaeff japarejo andreacastelletti schocol scarcelan hillarpoldmaa kcrawlik ipora yavanna Grobi s-fujii kdesmond bjbecerra LTrottier ziggy talkingpoints linxiang mllee monkare scottkb pantxorama petergun6666 iantunbridge farzanehs murb wartaalman christian_librarian jago jsenn mpisarenco blackm0k applebyb bluecricket mrosenki carterb BrianTomasik mfloris adamsi yungyuc schulz iup massimocencini natasjadenouden nickpitman genericg dmmarinlo jakobl nikko kericson makbot squirmelia ezaydens adenkabe ThomasKluge pdessus Neeperando hrwiltse vrich ranger amydash taenneken gvandyk1 giolakat sarahmccrum melody Corbasson skumagai nlauzier Langster mirweis Stepstep abdulpur tbolt427 jeanbean Axis ablam CGREL CMU-HCII NU-PRL UoY-CS-AIG Blog_and_Wiki_Research CompetitionLawAndPolicy Tectonics_and_geomorphology NeuronDynamics Context-driven-testers ReadingLab political_science_students kdl distance remote TUCS-ES_Lab Quantum_physics_Education WAND sims_phd_cohort_2005 ASR digital_youth Librarians biodiversity_conservation Global_biodiversity_model InformationRetrieval Wikipedia AssistiveTechnology Bioinformatics mathgamespatterns MACLab folksonomy Neuroscience VisionLab Personal-Information-Management CMS Stoc_Proc_Ecology_WG LanguageAndBrain BrainTheory dtl hdm id vds-arg ALF DPR EvolutionaryComputation STS infovis 2ndFloor fammed-publichealth AI eni Biofluid FAB-lab DSS NeuralNetworks mobilecomputing tmig_psycho RETA SITCRC CDG cliamte_change folk_epistemology instaar_graduate_students Projet_ENSIMAG climate_change BUiGEM social_navigation Macroelectronics ARC04 The_Truants QFRMC_ConsumerCredit Plant-Tissue-Simulation METRIK Metaheuristics Boydian_Society eLearning BioinfoCIPF Nutritional_Polymorphisms CaltechCMP SEGAL Optimization location SNE kickOffTUG-Robocup NanoMechanicsofMetals_MPIMF Georouting Child_Support Software-Architecture ParkinsonLab_at_MaRS moernerlab ilps livingthing HUCO-627-W07 elearning_research PLE-TEL-project Femtochemistry_LMU ediadem ENSSIBVeille memoir ILK ColDyn ImatiGESemantic AGH-IISG PRC_SEA TCD-NDS102-Project CAOS Adaptive-Web Microbial-Ecology Flexible_ICT-supported_learning Social_Software_ws_07-08 DialogueResearchGroup AM-VideoGames-Gender dIEMoSIRIS microbiology_nijmegen Europe_GPE ZnO_project ADMiRes Health_Sciences_Librarians feminist_technoscience Desgin-by-Contract MITCCI Kopelman_Group DarkMarkGroup VivesMinions PostureMobility compneur Philosophy of physics PsychStatsBanter Video based Animation for People Knowledge_Economy_Reform Global_patent_pools Social Informatics @ IU
  • A Behavioral Type System and Its Application in Ptolemy II
    Formal Aspects of Computing, Vol. 16, No. 3. (August 2004), pp. 210-237.
    by Edward A Lee, Yuhong Xiong
    posted to counterexample modelofcomputation by dabhishe on 2006-04-04 00:12:55 as **
  • Counterexample-guided abstraction refinement for symbolic model checking
    J. ACM, Vol. 50, No. 5. (September 2003), pp. 752-794.
    by Edmund Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
    posted to counterexample by dabhishe on 2006-04-03 22:17:36 as ** along with 1 person and 1 group pganty groupverif
  • Counterexample-Guided Abstraction Refinement
    (2000), pp. 154-169.
    by Edmund M Clarke, Orna Grumberg, Somesh Jha, Yuan Lu, Helmut Veith
    posted to counterexample by dabhishe on 2006-04-03 22:03:01 as *****
    • 注: このページを引用する時は次のURLでどうぞ: http://www.citeulike.org/user/dabhishe

    RIS BibTeX RSS
    CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.