1199 search results - page 230 / 240 » Software Verification and Software Engineering a Practitione... |
123
click to vote
ATVA
2010
Springer
14 years 12 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
87
Voted
DAC
2005
ACM
16 years 2 months ago
2005
ACM
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over ...
115
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
118
Voted
IUI
2006
ACM
15 years 7 months ago
2006
ACM
Multilingual communities using machine translation to overcome language barriers are showing up with increasing frequency. However, when a large number of translation errors get m...
104
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...