5550 search results - page 190 / 1110 » Different Approaches to Proof Systems |
171
click to vote
SBACPAD
2007
IEEE
16 years 24 days ago
2007
IEEE
One way to exploit Thread Level Parallelism (TLP) is to use architectures that implement novel multithreaded execution models, like Scheduled DataFlow (SDF). This latter model pro...
175
click to vote
WSC
1997
15 years 7 months ago
1997
This paper investigates an attempt to combine different simulation tools in order to build a simulation environment that can be used to model complex system behaviour. The compone...
154
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract—Buffer resizing and buffer insertion are two transformation techniques for the performance optimization of elastic systems. Different approaches for each technique have ...
142
click to vote
CHI
2010
ACM
15 years 9 months ago
2010
ACM
Many women find it difficult to maintain beautiful skin since different skincare approaches require different amounts of effort, time, and special knowledge. Women often ask exper...
145
click to vote
IGARSS
2010
15 years 4 months ago
2010
We investigate the potential of geospatiotemporal data mining of multi-year land surface phenology data (250 m Normalized Difference Vegetation Index (NDVI) values derived from th...