Sciweavers

2841 search results - page 143 / 569
» A Call to Order
Sort
View
ICCAD
2005
IEEE
106views Hardware» more  ICCAD 2005»
15 years 12 months ago
Fast balanced stochastic truncation via a quadratic extension of the alternating direction implicit iteration
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
Ngai Wong, Venkataramanan Balakrishnan
ER
2005
Springer
155views Database» more  ER 2005»
15 years 12 months ago
Applying Transformations to Model Driven Development of Web Applications
Nowadays, the maturity reached by the Web engineering research community can be assessed by the myriad of web design methods that have proven successful for the specification of th...
Santiago Meliá, Jaime Gómez
FPL
2005
Springer
139views Hardware» more  FPL 2005»
15 years 12 months ago
Mullet - A Parallel Multiplier Generator
A module generator called Mullet for producing near-optimal parallel multipliers in a technology independent manner is presented. Using this tool, a large number of candidate desi...
Kuen Hung Tsoi, Philip Heng Wai Leong
VMCAI
2005
Springer
15 years 12 months ago
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
ShengYu Shen, Ying Qin, Sikun Li
ATAL
2004
Springer
15 years 11 months ago
Agent Community Based Peer-to-Peer Information Retrieval
This paper proposes an Agent Community based Peer-toPeer information retrieval method called ACP2P method, which uses agent communities to manage and look up information related t...
Tsunenori Mine, Daisuke Matsuno, Koichiro Takaki, ...