1341 search results - page 142 / 269 » Unified Modeling of Complex Real-Time Control Systems |
RTSS
2007
IEEE
14 years 2 months ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
MIG
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We present a system for automatically evolving neural networks as physics-based locomotion controllers for humanoid characters. Our approach provides two key features: (a...
ICES
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Simple one- and two-bit controllable oscillators were intrinsically evolved using only four cells of Field Programmable Transistor Array (FPTA-2). These oscillators can p...
ICSE
1997
IEEE-ACM
14 years 11 days ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...
ETRICS
2006
13 years 12 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...