Sciweavers

13489 search results - page 266 / 2698
» Operating System
Sort
View
IWANN
2005
Springer
16 years 2 days ago
Adaptive Power System Stabilizer Using ANFIS and Genetic Algorithms
— This paper presents an adaptive Power System Stabilizer (PSS) using an Adaptive Network Based Fuzzy Inference System (ANFIS) and Genetic Algorithms (GAs). Firstly, genetic algo...
Jesús Fraile-Ardanuy, Pedro J. Zufiria
IROS
2007
IEEE
138views Robotics» more  IROS 2007»
16 years 26 days ago
Task evaluations of a compact laparoscopic surgical robot system
– Minimally invasive surgery (MIS) has become an important technique in practical surgical procedures. Compared with manually operated MIS procedures, surgical robot systems prov...
Ji Ma, Peter J. Berkelman
ASPLOS
2004
ACM
16 years 13 hour ago
HOIST: a system for automatically deriving static analyzers for embedded systems
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
John Regehr, Alastair Reid
TLCA
2007
Springer
16 years 21 days ago
A Substructural Type System for Delimited Continuations
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...
Oleg Kiselyov, Chung-chieh Shan
ASPLOS
2010
ACM
16 years 1 months ago
Dynamically replicated memory: building reliable systems from nanoscale resistive memories
DRAM is facing severe scalability challenges in sub-45nm technology nodes due to precise charge placement and sensing hurdles in deep-submicron geometries. Resistive memories, suc...
Engin Ipek, Jeremy Condit, Edmund B. Nightingale, ...