10870 search results - page 2051 / 2174 » Model Checking Programs |
103
click to vote
MAM
2006
15 years 1 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...
131
click to vote
NETWORKS
2006
15 years 1 months ago
2006
We study capacitated network flow problems with supplies and demands defined on a countably infinite collection of nodes having finite degree. This class of network flow models in...
109
click to vote
PRL
2008
15 years 1 months ago
2008
We present a new model for detection of noun phrases in unrestricted text, whose most outstanding feature is its flexibility: the system is able to recognize noun phrases similar ...
139
click to vote
PERVASIVE
2006
Springer
15 years 1 months ago
2006
Springer
Although numerous context-aware applications have been developed and there have been technological advances for acquiring contextual information, it is still difficult to develop a...
116
Voted
SIGARCH
2008
15 years 1 months ago
2008
- Bioinformatics applications such as gene and protein sequence matching algorithms are characterized by the need to process large amounts of data. While uni-processor performance ...