2493 search results - page 335 / 499 » Tool Support for Design by Contract |
166
click to vote
ICONFERENCE
2012
13 years 5 months ago
2012
When people use visualizations of conversational archives, they typically reflect on particular events, rather than patterns of activity over time. We explore whether this is a fu...
DAC
2001
ACM
15 years 11 months ago
2001
ACM
Power-aware systems are those that must make the best use of available power. They subsume traditional low-power systems in that they must not only minimize power when the budget ...
104
click to vote
DAC
2003
ACM
15 years 11 months ago
2003
ACM
The capability of performing architectural exploration has become essential for embedded microprocessor design in System-On-Chip. While many retargetable instruction set (ISA) sim...
78
Voted
WWW
2007
ACM
15 years 11 months ago
2007
ACM
Available methodologies for developing Sematic Web applications do not fully exploit the whole potential deriving from interaction with ontological data sources. Here we introduce...
84
Voted
FPGA
2010
ACM
15 years 7 months ago
2010
ACM
Deep submicron processes have allowed FPGAs to grow in complexity and speed. However, such technology scaling has caused FPGAs to become more susceptible to the effects of process...