1186 search results - page 105 / 238 » State machine models of timing and circuit design |
DATE
2005
IEEE
15 years 3 months ago
2005
IEEE
UML 2.0 provides a rich set of diagrams for systems documentation and specification. Many efforts have been undertaken to employ different aspects of UML for multiple domains, mai...
130
click to vote
DISCO
1993
15 years 2 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
ICRA
2007
IEEE
15 years 4 months ago
2007
IEEE
–This paper presents a novel affect-sensitive human-robot interaction framework for rehabilitation of children with autism spectrum disorder (ASD). The overall aim is to enable t...
FORTE
2010
14 years 11 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
MICRO
2003
IEEE
15 years 3 months ago
2003
IEEE
Silicon technology will continue to provide an exponential increase in the availability of raw transistors. Effectively translating this resource into application performance, how...