8492 search results - page 170 / 1699 » Modelling and Design of Multi-Agent Systems |
147
click to vote
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification ...
142
click to vote
ENTCS
2008
15 years 4 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...
172
click to vote
ISAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper provides an overview of Proof-Based System Engineering (PBSE), which aims at improving the current practice of developing computer-based systems. PBSE is of pa...
130
click to vote
RTSS
2000
IEEE
15 years 8 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
153
click to vote
VLSID
2006
IEEE
15 years 10 months ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...