Sciweavers

7393 search results - page 1114 / 1479
» Synthesis-for-testability using transformations
Sort
View
IPPS
2003
IEEE
15 years 9 months ago
Global Communication Optimization for Tensor Contraction Expressions under Memory Constraints
The accurate modeling of the electronic structure of atoms and molecules involves computationally intensive tensor contractions involving large multi-dimensional arrays. The effi...
Daniel Cociorva, Xiaoyang Gao, Sandhya Krishnan, G...
ISADS
2003
IEEE
15 years 9 months ago
Structuring Integrated Web Applications for Fault Tolerance
This paper shows how modern structuring techniques can be employed in integrating complex web applications such as Travel Agency systems. The main challenges the developers of suc...
Alexander B. Romanovsky, Panos Periorellis, Avelin...
141
Voted
ISCC
2003
IEEE
15 years 9 months ago
On the Issues of IP Traceback for IPv6 and Mobile IPv6
As the Internet becomes pervasive, the vulnerability of some fundamental design aspects of the Internet has also become significant. Among which, Denial-of-Service (DoS) and Distr...
Henry C. J. Lee, Miao Ma, Vrizlynn L. L. Thing, Yi...
ELPUB
2003
ACM
15 years 9 months ago
Ontology Driven Websites/Metamorphosis: A Framework to Specify and Manage Ontology Driven Websites
Website development has always been an hard task: it consumes time and resources. What is new today is normally taken as granted tomorrow by users. This is to say that users always...
José Carlos Ramalho, Giovani Rubert Librelo...
IUI
2003
ACM
15 years 9 months ago
A reliable natural language interface to household appliances
As household appliances grow in complexity and sophistication, they become harder and harder to use, particularly because of their tiny display screens and limited keyboards. This...
Alexander Yates, Oren Etzioni, Daniel S. Weld
« Prev « First page 1114 / 1479 Last » Next »