5343 search results - page 760 / 1069 » Keyword programming in java |
178
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
184
click to vote
INFOCOM
2003
IEEE
15 years 12 months ago
2003
IEEE
—In this paper, we formulate an optimization problem for the design of light-tree based logical topology in Wavelength Division Multiplexing (WDM) networks. The problem is compri...
157
click to vote
DOCENG
2003
ACM
15 years 12 months ago
2003
ACM
To support the rapid growth of the web and e-commerce, W3C developed DOM as an application programming interface that the abstract, logical tree structure of an XML document. In t...
190
click to vote
ISLPED
2003
ACM
15 years 12 months ago
2003
ACM
We describe an optimization strategy for minimizing total power consumption using dual threshold voltage (Vth) technology. Significant power savings are possible by simultaneous a...
171
Voted
PPOPP
2003
ACM
15 years 12 months ago
2003
ACM
Gather and scatter are data redistribution functions of longstanding importance to high performance computing. In this paper, we present a highly-general array operator with power...