Sciweavers

2841 search results - page 143 / 569
» A Call to Order
Sort
View
ICCAD
2005
IEEE
106views Hardware» more  ICCAD 2005»
16 years 18 days 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
205
Voted
ER
2005
Springer
155views Database» more  ER 2005»
16 years 16 days 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
188
Voted
FPL
2005
Springer
139views Hardware» more  FPL 2005»
16 years 15 days 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
174
Voted
VMCAI
2005
Springer
16 years 14 days 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
16 years 12 days 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, ...