3663 search results - page 512 / 733 » Problems in the ontology of computer programs |
160
click to vote
VLSID
2002
IEEE
16 years 7 months ago
2002
IEEE
We present a mathematical model for the problem of scheduling tests for core-based system-on-chip (SOC) VLSI designs. Given a set of tests for each core in the SOC and a set of te...
159
click to vote
ICALP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We provide a new characterization of certain zero-knowledge protocols as non-interactive instance-dependent commitment-schemes (NIC). To obtain this result we consider th...
162
click to vote
ICCS
2007
Springer
16 years 22 days ago
2007
Springer
This paper discusses and compares several policies to place replicas in tree networks, subject to server capacity and QoS constraints. The client requests are known beforehand, wh...
170
click to vote
WABI
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Protein structural alignment is an indispensable tool used for many different studies in bioinformatics. Most structural alignment algorithms assume that the structural ...
185
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Wearable physiological sensors can provide a faithful record of a patient’s physiological states without constant attention of caregivers. A computer program that can infer huma...