2836 search results - page 551 / 568 » Model Checking for Software Architectures |
219
Voted
WWW
2003
ACM
16 years 3 months ago
2003
ACM
In the light of image retrieval evolving from text annotation to content-based and from standalone applications to web-based search engines, we foresee the need for deploying cont...
223
Voted
POPL
2009
ACM
16 years 3 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
133
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
Due to power wall, memory wall, and ILP wall, we are facing the end of ever increasing single-threaded performance. For this reason, multicore and manycore processors are arising ...
131
Voted
ICCAD
2006
IEEE
15 years 11 months ago
2006
IEEE
Soft-core microprocessors mapped onto field-programmable gate arrays (FPGAs) represent an increasingly common embedded software implementation option. Modern FPGA soft-cores are p...
168
Voted
CLOUDCOM
2009
Springer
15 years 9 months ago
2009
Springer
This keynote paper: (1) presents the 21st century vision of computing and identifies various IT paradigms promising to deliver computing as a utility; (2) defines the architecture ...