19587 search results - page 393 / 3918 » Systems Engineering for software Engineers |
147
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
660
click to vote
Lab
The Software Engineering Research Group (GIIS) of the University of Oviedo is composed by 9 researchers, headquartered at the University Campus of Gijón (Spain).
192
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Maintenance and evolution of complex software systems (such as large telecom embedded devices) involve activities such as reverse engineering (RE) and software visualization. Alth...
176
click to vote
CODES
2004
IEEE
15 years 10 months ago
2004
IEEE
Hardware/software (HW-SW) partitioning is a key problem in the codesign of embedded systems, studied extensively in the past. One major open challenge for traditional partitioning...