8190 search results - page 73 / 1638 » From Timed to Hybrid Systems |
ROBOCUP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
ICWMC
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper discusses hybrid cellular-broadcasting systems as an alternative for future delivery of wireless multimedia multicast services. A resource management framework is pr...
IFM
2010
Springer
2010
Springer
Satisfaction Meets Expectations - Computing Expected Values of Probabilistic Hybrid Systems with SMT
13 years 6 months ago
Stochastic satisfiability modulo theories (SSMT), which is an extension of satisfiability modulo theories with randomized quantification, has successfully been used as a symboli...
BMCBI
2004
13 years 7 months ago
2004
Background: Microarrays have emerged as the preferred platform for high throughput gene expression analysis. Cross-hybridization among genes with high sequence similarities can be...
ISCA
2007
IEEE
14 years 1 months ago
2007
IEEE
We propose signature-accelerated transactional memory (SigTM), a hybrid TM system that reduces the overhead of software transactions. SigTM uses hardware signatures to track the r...