3256 search results - page 237 / 652 » Applications of Formal Methods to System Design and Verifica... |
176
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Software-defined networks (SDNs) are a new implementation architecture in which a controller machine manages a distributed collection of switches, by instructing them to install ...
160
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Recently many Automatic Face Recognition (AFR) systems were developed for applications with unspecific persons, which is different from conventional pattern recognition problems wh...
177
click to vote
WOA
2004
15 years 8 months ago
2004
Abstract-- Great emphasis has been recently given to agentoriented methodologies for the construction of complex software systems. In this paper two approaches for the construction...
154
click to vote
IEEECIT
2005
IEEE
16 years 3 days ago
2005
IEEE
This paper proposes a method of model-driven HW/SW co-design in embedded system design and discusses the key technology of model mapping, automatic generating codes and performanc...
183
click to vote
CODES
2000
IEEE
15 years 11 months ago
2000
IEEE
The automotive electronics industry is experiencing an era of unprecedented growth. Driven by emissions and safety legislation, fuel economy constraints, cost constraints, and cus...