Sciweavers

2278 search results - page 290 / 456
» Specification Techniques for Automatic Performance Analysis ...
Sort
View
IWPC
2002
IEEE
15 years 9 months ago
Traceability Recovery in RAD Software Systems
This paper proposes an approach and a process to recover traceability links between source code and free text documents in software system developed with extensive use of COTS, mi...
Massimiliano Di Penta, Sara Gradara, Giuliano Anto...
158
Voted
ASPDAC
2012
ACM
253views Hardware» more  ASPDAC 2012»
14 years 13 days ago
An integrated and automated memory optimization flow for FPGA behavioral synthesis
Behavioral synthesis tools have made significant progress in compiling high-level programs into register-transfer level (RTL) specifications. But manually rewriting code is still ...
Yuxin Wang, Peng Zhang, Xu Cheng, Jason Cong
IADIS
2003
15 years 6 months ago
Ontology Mapping for Interoperability in Semantic Web
Ontology mapping is the process whereby two ontologies are semantically related at conceptual level and the source ontology instances are transformed into target ontology entities...
Nuno Silva, João Rocha
153
Voted
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
15 years 11 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
CHI
2006
ACM
16 years 5 months ago
The effect of speech recognition accuracy rates on the usefulness and usability of webcast archives
The widespread availability of broadband connections has led to an increase in the use of Internet broadcasting (webcasting). Most webcasts are archived and accessed numerous time...
Cosmin Munteanu, Ronald Baecker, Gerald Penn, Elai...