2878 search results - page 566 / 576 » Analyzing the Uses of a Software Modeling Tool |
PPAM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
105
click to vote
FMSD
2007
14 years 9 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
101
click to vote
EDBT
2006
ACM
15 years 9 months ago
2006
ACM
We present a novel framework for comprehensive exploration of OLAP data by means of user-defined dynamic hierarchical visualizations. The multidimensional data model behind the OLA...
WSDM
2009
ACM
15 years 4 months ago
2009
ACM
The Web is a dynamic, ever changing collection of information. This paper explores changes in Web content by analyzing a crawl of 55,000 Web pages, selected to represent different...
ISLPED
2009
ACM
15 years 4 months ago
2009
ACM
The theoretical lower limit of subthreshold swing in MOSFETs (60 mV/decade) significantly restricts low voltage operation since it results in a low ON to OFF current ratio at low ...