930 search results - page 13 / 186 » Advanced Engineering Informatics |
128
click to vote
VMCAI
2010
Springer
15 years 9 months ago
2010
Springer
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verificat...
101
Voted
ICSE
2007
IEEE-ACM
16 years 15 days ago
2007
IEEE-ACM
Socio-technical processes have come to the forefront of recent analysis of the open source software development (OSSD) world. Interest in making these processes explicit is mounti...
107
Voted
COMPSAC
2009
IEEE
15 years 7 months ago
2009
IEEE
The advanced electric power grid is a cyber-physical system comprised of physical components such as power generators and transmission lines, and cyber components that control the...
107
Voted
KBSE
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
98
Voted
VLSI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract— In this paper, a low-power deblocking filter architecture for H.264/AVC is proposed. A hybrid filtering order has been adopted to boost the speed of the deblocking ...