Sciweavers

2180 search results - page 251 / 436
» Self-Adaptation in Evolving Systems
Sort
View
ICCAD
2006
IEEE
138views Hardware» more  ICCAD 2006»
16 years 3 months ago
Analytical modeling of SRAM dynamic stability
In this paper, for the first time, a theory for evaluating dynamic noise margins of SRAM cells is developed analytically. The results allow predicting the transient error suscepti...
Bin Zhang, Ari Arapostathis, Sani R. Nassif, Micha...
STACS
2010
Springer
16 years 1 months ago
Revisiting the Rice Theorem of Cellular Automata
Abstract. A cellular automaton is a parallel synchronous computing model, which consists in a juxtaposition of finite automata whose state evolves according to that of their neigh...
Pierre Guillon, Gaétan Richard
ICRA
2009
IEEE
159views Robotics» more  ICRA 2009»
16 years 1 months ago
State transition, balancing, station keeping, and yaw control for a dynamically stable single spherical wheel mobile robot
— Unlike statically stable wheeled mobile robots, dynamically stable mobile robots can have higher centers of gravity, smaller bases of support and can be tall and thin resemblin...
Umashankar Nagarajan, Anish Mampetta, George Kanto...
ICSM
2009
IEEE
16 years 1 months ago
Regression model checking
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
Guowei Yang, Matthew B. Dwyer, Gregg Rothermel
IRI
2009
IEEE
16 years 1 months ago
Ontology-based Information Model Development for Science Information Reuse and Integration
Scientific digital libraries serve complex and evolving research communities. Justifications for the development of scientific digital libraries include the desire to preserve sci...
J. Steven Hughes, Daniel J. Crichton, Chris Mattma...