1032 search results - page 187 / 207 » A Survey on Industrial Software Engineering |
113
click to vote
PARA
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Ahardware and software environment with performance above 1 Tera ops (teracomputing) is presently required to face the leading computational challenges not only in fundam...
129
click to vote
SIGCSE
2009
ACM
16 years 2 months ago
2009
ACM
Formal code inspections are employed by teams of professional software engineers to identify software defects and improve the quality of software. After reviewing a piece of code ...
108
click to vote
SWS
2005
ACM
15 years 7 months ago
2005
ACM
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
114
click to vote
LCTRTS
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents a tool for automatic synthesis of RTL interfaces for heterogeneous MPSoC from transaction level models (TLMs). The tool captures the communication parameters i...
ICSE
2005
IEEE-ACM
16 years 1 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...