2920 search results - page 436 / 584 » Finite information logic |
155
click to vote
IPPS
2006
IEEE
16 years 17 days ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
155
click to vote
ACSC
2005
IEEE
16 years 5 days ago
2005
IEEE
Segmentation is the first step in managing data for many information retrieval tasks. Automatic audio transcriptions and digital video footage are typically continuous data sourc...
183
click to vote
HICSS
2005
IEEE
16 years 4 days ago
2005
IEEE
The goal of a Public-Key-Infrastructure (PKI) is to prove whether a cryptographic public key is authentic for a certain user. This information is crucial for the reliability of as...
119
click to vote
ISCAS
2005
IEEE
16 years 4 days ago
2005
IEEE
— In this paper, a systematic methodology for the assessment of Power/Signal Integrity effects in high-speed communication and information systems is presented. The proposed meth...
184
click to vote
IV
2005
IEEE
16 years 4 days ago
2005
IEEE
Visualising large graphs faces the challenges of both data complexity and visual complexity. This paper presents a framework for visualising large graphs that reduces data complex...