2720 search results - page 517 / 544 » Design tools for emerging technologies |
208
click to vote
POPL
2008
ACM
16 years 2 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
124
click to vote
PAM
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes a new tool for gathering (performance) data from optical network devices. During the last few years many National Research and Education Networks (NRENs) have ...
119
click to vote
DATE
2009
IEEE
15 years 8 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
148
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
High-end computing is universally recognized to be a strategic tool for leadership in science and technology. A significant portion of high-end computing is conducted on clusters...
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
We present Paged Graph Visualization (PGV), a new semiautonomous tool for RDF data exploration and visualization. PGV consists of two main components: a) the “PGV explorer” an...