695 search results - page 16 / 139 » Dynamic Software Architectures Verification using DynAlloy |
100
Voted
SIGSOFT
2010
ACM
14 years 10 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
100
Voted
ERSA
2009
14 years 10 months ago
2009
In this paper, we introduce the Woolcano reconfigurable processor architecture. The architecture is based on the Xilinx Virtex-4 FX FPGA and leverages the Auxiliary Processing Uni...
122
Voted
VLSI
2010
Springer
14 years 7 months ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
ISESE
2006
IEEE
15 years 6 months ago
2006
IEEE
In this article, we describe the results from our survey in the ITdepartment of a large Oil and Gas company in Norway (Statoil ASA), in order to characterize developers’ views o...
132
Voted
CODES
2011
IEEE
14 years 8 days ago
2011
IEEE
Today, mobile smartphones are expected to be able to run the same complex, memory-intensive applications that were originally designed and coded for general-purpose processors. Ho...