107 search results - page 13 / 22 » Using Abstraction in Modular Verification of Synchronous Ada... |
PERVASIVE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Researchers have recently demonstrated display positioning using optical sensors in conjunction with temporally-coded patterns of projected light. This paper extends that...
108
click to vote
SIGSOFT
2003
ACM
15 years 10 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
76
Voted
IEEECIT
2010
IEEE
14 years 8 months ago
2010
IEEE
—The Service-Oriented Architecture (SOA) leverages ice abstraction to enable the development of modular, loose-coupled and distributed applications. In order to use such an archi...
111
click to vote
CORR
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
ENTCS
2008
14 years 9 months ago
2008
Emerging architectures such as partially reconfigurable FPGAs provide a huge potential for adaptivity in the area of embedded systems. Since many system functions are only execute...