1489 search results - page 135 / 298 » The First Bug Report |
141
click to vote
TCAD
2008
15 years 4 months ago
2008
Abstract--This paper presents a class of power grid analysis and optimization techniques, all of which are based on the algebraic-multigrid (AMG) method. First, a new AMG-based red...
COLING
2002
15 years 4 months ago
2002
Many recent statistical parsers rely on a preprocessing step which uses hand-written, corpus-specific rules to augment the training data with extra information. For example, head-...
118
click to vote
CONCURRENCY
2000
15 years 4 months ago
2000
Javelin is a Java-based infrastructure for global computing. This paper presents Javelin++, an extension of Javelin, intended to support a much larger set of computational hosts. ...
104
click to vote
CSUR
2000
15 years 4 months ago
2000
Not only the design of complex frameworks is hard, but also the reuse of such artefacts. Furthermore, the internal working of different frameworks is usually not compatible so that...
139
click to vote
ENTCS
2002
15 years 4 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...