Sciweavers

2316 search results - page 257 / 464
» The many forms of hypercomputation
Sort
View
DANCE
2002
IEEE
15 years 11 months ago
Modeling CPU Demand in Heterogeneous Active Networks
Active-network technology envisions deploying execution environments in network elements so that application-specific processing can be applied to network traffic. To provide safe...
Virginie Galtier, Kevin L. Mills, Yannick Carlinet
DATE
2002
IEEE
95views Hardware» more  DATE 2002»
15 years 11 months ago
A Polynomial Time Optimal Diode Insertion/Routing Algorithm for Fixing Antenna Problem
Abstract—Antenna problem is a phenomenon of plasma-induced gateoxide degradation. It directly affects manufacturability of very large scale integration (VLSI) circuits, especiall...
Li-Da Huang, Xiaoping Tang, Hua Xiang, D. F. Wong,...
DEXAW
2002
IEEE
145views Database» more  DEXAW 2002»
15 years 11 months ago
An Architecture for Collaboratively Assembled Moderated Information Bearing Web Sites
As originally conceived, the World Wide Web was intended for the purpose of sharing information. Many websites realise this aim by publishing pages from a data repository which su...
Richard Cooper
EDOC
2002
IEEE
15 years 11 months ago
On Expressing and Monitoring Behaviour in Contracts
This paper addresses the problem of transforming natural language descriptions of contracts into a form that is suitable for automating various contract management functions. We i...
Zoran Milosevic, R. Geoff Dromey
FOCS
2002
IEEE
15 years 11 months ago
A Dichotomy Theorem for Constraints on a Three-Element Set
The Constraint Satisfaction Problem (CSP) provides a common framework for many combinatorial problems. The general CSP is known to be NP-complete; however, certain restrictions on...
Andrei A. Bulatov