9626 search results - page 1356 / 1926 » Invariant Based Programming |
157
click to vote
CIRA
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper describes the development and testing of control of the OmniTread OT-4 robot by the Seventh Generation (7G) Control System. Control of OT-4 was developed in the Yobot...
155
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Modern systems-on-a-chip platforms support multiple clock domains, in which different sub-circuits are driven by different clock signals. Although the frequency of each domain can...
172
click to vote
FCCM
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper provides an evaluation of SGI® RASC™ RC100 technology from a computational science software developer’s perspective. A brute force implementation of a two-point an...
203
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Fuzzy Description Logics (fuzzy DLs) have been proposed as a language to describe structured knowledge with vague concepts. It is well known that the choice of the fuzzy operat...
163
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
—This paper describes a Java-based graphical user interface to a large number of data analysis programs the first author has written in C over the years. In addition, this toolb...