36 search results - page 6 / 8 » Symbolic Exploration of transition Hierarchies |
HCI
2007
13 years 9 months ago
2007
With the growing volumes of data, exploring the relationships within the huge amounts of data is difficult. Information visualization uses the human perception system to assist use...
VLSID
2007
IEEE
14 years 7 months ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
FORMATS
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
MEMBRANE
2009
Springer
14 years 2 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
DEBU
2007
13 years 7 months ago
2007
The volume of information in natural languages in electronic format is increasing exponentially. The demographics of users of information management systems are becoming increasin...