505 search results - page 63 / 101 » Universal Constructions for Large Objects |
139
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Interfaces as defined in the JAVA programming language can enhance both decoupling and comprehensibility of large code bases. Several researchers have pointed out this key role of...
130
click to vote
EUROPAR
2003
Springer
15 years 9 months ago
2003
Springer
In this paper we propose a new parallel clustering algorithm based on the incremental construction of the compact sets of a collection of objects. This parallel algorithm is portab...
140
click to vote
TPHOL
1999
IEEE
15 years 8 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
114
click to vote
DEXAW
1998
IEEE
15 years 8 months ago
1998
IEEE
Research in natural language generation promises significant advances in the ways in which we can make available the contents of underlying information sources. Most work in the f...
149
click to vote
DNA
2009
Springer
15 years 8 months ago
2009
Springer
We introduce a domain-specific language (DSL) for creating sets of tile types for simulations bstract Tile Assembly Model. The language defines objects known as tile templates, wh...