1804 search results - page 16 / 361 » On set systems with a threshold property |
119
Voted
SPIN
2010
Springer
15 years 8 days ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
117
Voted
MFCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
102
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We introduce a natural class of cellular automata characterised by a property of the local transition law without any assumption on the states set. We investigate some al...
111
Voted
SIAMCO
2000
15 years 1 months ago
2000
We study the asymptotic behavior at infinity of solutions of a second order evolution equation with linear damping and convex potential. The differential system is defined in a rea...
DATE
2010
IEEE
15 years 7 months ago
2010
IEEE
— Today, mobile and embedded real time systems have to cope with the migration and allocation of multiple software tasks running on top of a real time operating system (RTOS) res...