„Operating Systems.“

Suchergebnisse

10.000+ Treffer

• Type-Driven Automated Program Transformations and Cost Modelling for Optimising Streaming Programs on FPGAs
  Vanderbauwhede, Wim ; Nabi, Syed Waqar ; Urlea, Cristian
• Finding better active learners for faster literature reviews
  Yu, Zhe ; Kraft, Nicholas A. ; Menzies, Tim
• Switch hierarchical provider (SHP) networks for data network virtualization
  Kakulapati, Vijayalakshmi ; Pentapati, Vijaykrishna
• Large language models as an “operating” system for software and systems modeling
  Combemale, Benoit ; Gray, Jeff ; Rumpe, Bernhard
• Energy-Shaping Controllers for Soft Robot Manipulators Through Port-Hamiltonian Cosserat Models
  Caasenbrood, Brandon ; Pogromsky, Alexander ; Nijmeijer, Hendrik
• Verification of the Futurebus+ cache coherence protocol
  Clarke, Edmund M. ; Grumberg, Orna ; Hiraishi, Hiromi ; Jha, Somesh ; Long, David E. ; McMillan, Kenneth L. ; Ness, Linda A.
• Programmierunterricht von Kindergarten bis zur Matura in einem Spiralcurriculum
  Staub, Jacqueline ; Barnett, Michelle ; Trachsler, Nicole
• AC-Motoren mit verteilter Zahnspulenwicklung
  Huth, Gerhard ; Krotsch, Jens
• Countering targeted cyber-physical attacks using anomaly detection in self-adaptive Industry 4.0 Systems
  Settanni, Giuseppe ; Skopik, Florian ; Wurzenberger, Markus ; Fiedler, Roman
• Neuro fuzzy—COCOMO II model for software cost estimation
  Kaur, Ishleen ; Narula, Gagandeep Singh ; Wason, Ritika ; Jain, Vishal ; Baliyan, Anupam
• Stateless model checking for TSO and PSO
  Abdulla, Parosh Aziz ; Aronis, Stavros ; Atig, Mohamed Faouzi ; Jonsson, Bengt ; Leonardsson, Carl ; Sagonas, Kostis
• Tight bounds for shared memory systems accessed by Byzantine processes
  Alon, Noga ; Merritt, Michael ; Reingold, Omer ; Taubenfeld, Gadi ; Wright, Rebecca N.
• Experimental and computational insights into the synthesis and characterization of a novel Schiff base ligand 2, 2′-[(1z, 14e)-2, 5, 8,11,14-pentaazapentadeca-1, 14-diene-diyl] diphenol
  Nivetha, V. ; Ragavendran, V. ; Santhanam, V. ; Logeswaran, B. ; Kaleeswaran, S.
• How to be an effective teacher?
  Raghavan, S. V.
• Behaviour determines technology
  Raghavan, S. V. ; Subramanian, K.
• EEG analysis of mathematical cognitive function and startle response using single channel electrode
  Gopan K, Gopika ; Reddy, S. V. R. Aditya ; Krishnan, Kumaresh ; Rao, Madhav ; Sinha, Neelam
• “Sec-KeyD” an efficient key distribution protocol for critical infrastructures
  Jain, Peeyush
• A novel sign variable step size LMS (SiVSS-LMS) algorithm for adaptive beamforming
  Jeripotula, Praneet Raj ; Kumar, C. Anil ; Naik, B. Rajendra
• Development of educational model of power compensated differential scanning calorimeter (PC-DSC)
  Parthasarathy, R. ; Prabhu, E. ; Venkatramanan, K. ; Gnanasekaran, T.
• Indigenous heat flux differential scanning calorimeter (HF-DSC)
  Gnanasekaran, T. ; Parthasarathy, R. ; Kumar, S. Shyam ; Kannan, Venkatramanan