878 search results - page 51 / 176 » Interacting Abstract State Machines |
DAC
2009
ACM
15 years 10 months ago
2009
ACM
Functional validation of a processor design through execution of a suite of test programs is common industrial practice. In this paper, we develop a high-level architectural speci...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
The global interaction behavior in message-based systems can be specified as a finite-state machine defining acceptable sequences of messages exchanged by a group of peers. Realiz...
SIGCSE
1999
ACM
15 years 2 months ago
1999
ACM
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
IJDMB
2011
14 years 4 months ago
2011
: Classification methods are vital for efficient access of knowledge hidden in biomedical publications. Support vector machines (SVMs) are modern non-parametric deterministic clas...
COMPLEX
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We investigate a spin model in which a ferromagnetic shortrange interaction competes with a long-range antiferromagnetic interaction decaying spatially as 1 rd+ , d being...