5630 search results - page 911 / 1126 » Computability in Specification |
196
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
With the adoption of ultra regular fabric paradigms for controlling design printability at the 22nm node and beyond, there is an emerging need for a layout-driven, pattern-based p...
209
click to vote
ICTAC
2009
Springer
15 years 4 months ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
252
click to vote
JUCS
2010
15 years 1 months ago
2010
: The idea of developing software through systematic development processes to improve software quality is not new. Nevertheless, there are still many information systems such as th...
225
click to vote
TCSV
2010
15 years 1 months ago
2010
Abstract--Real-time stereo vision is attractive in many applications like robot navigation and 3D scene reconstruction. Data parallel platforms, e.g. GPU, is often used for real-ti...
158
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: A multiple sequence alignment (MSA) generated for a protein can be used to characterise residues by means of a statistical analysis of single columns. In addition to t...