Sciweavers

5799 search results - page 593 / 1160
» Patterns Generate Architectures
Sort
View
IWDC
2001
Springer
15 years 11 months ago
A Study on QoS Provision for IP-Based Radio Access Networks
The fast adoption of IP-based communications for hand-held devices equipped with wireless interfaces is creating new challenges for the Internet evolution. Users expect flexible ac...
Alberto López Toledo, Jukka Manner, Andrej ...
DAC
2000
ACM
15 years 11 months ago
Block placement with symmetry constraints based on the O-tree non-slicing representation
The ordered tree (O-tree) representation has recently gained much interest in layout design automation. Different from previous topological representations of non-slicing floorpl...
Yingxin Pang, Florin Balasa, Koen Lampaert, Chung-...
CADE
2000
Springer
15 years 11 months ago
Machine Instruction Syntax and Semantics in Higher Order Logic
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
Neophytos G. Michael, Andrew W. Appel
DAC
1999
ACM
15 years 11 months ago
On ILP Formulations for Built-In Self-Testable Data Path Synthesis
In this paper, we present a new method to the built-in selftestable data path synthesis based on integer linear programming (ILP). Our method performs system register assignment, ...
Han Bin Kim, Dong Sam Ha, Takeshi Takahashi
ICDAR
1999
IEEE
15 years 11 months ago
Combining Classifiers based on Confidence Values
This paper describes our investigation into the neural gas (NG) network algorithm and the hierarchical overlapped architecture (HONG) which we have built by retaining the essence ...
Ajantha S. Atukorale, Ponnuthurai N. Suganthan