427 search results - page 27 / 86 » On the Power of Labels in Transition Systems |
HIPEAC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
INFORMATICALT
2008
14 years 11 months ago
2008
Abstract. This paper presents the application of multi-criterion approach to the analysis and comparison of reference alternatives of wind power park information system (WPPIS) whi...
ICALP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...
125
click to vote
JLP
2010
14 years 6 months ago
2010
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A pro...
CONCUR
1999
Springer
15 years 4 months ago
1999
Springer
This paper discusses the use of formal methods in testing of concurrent systems. It is argued that formal methods and testing can be mutually profitable and useful. A framework fo...