120 search results - page 12 / 24 » Generative type abstraction and type-level computation |
GREC
2009
Springer
13 years 10 months ago
2009
Springer
Two hundred web tables from ten sites were imported into Excel. The tables were edited as needed, then converted into layout independent Wang using the Table Abstraction Tool (TAT)...
TJS
2002
13 years 7 months ago
2002
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
EWC
2000
13 years 7 months ago
2000
The complexity of modern products and design tools has made the exchange of design information more complex. It is widely recognised that the seamless capture, storage, and retriev...
ECBS
2011
IEEE
12 years 7 months ago
2011
IEEE
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...