3358 search results - page 457 / 672 » Dynamic Description Logics |
196
click to vote
CADE
2010
Springer
15 years 7 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
200
click to vote
ISCA
2011
IEEE
14 years 10 months ago
2011
IEEE
Conventional high-performance processors utilize register renaming and complex broadcast-based scheduling logic to steer instructions into a small number of heavily-pipelined exec...
180
click to vote
OSDI
2006
ACM
16 years 6 months ago
2006
ACM
We present the design, implementation, and evaluation of a fully distributed directory service for Farsite, a logically centralized file system that is physically implemented on a...
162
click to vote
COMPSAC
2006
IEEE
16 years 19 days ago
2006
IEEE
Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the c...
169
click to vote
ISQED
2003
IEEE
15 years 12 months ago
2003
IEEE
The amplitude of coupled noise is often used in estimating the crosstalk effect. Coupling noise-induced delay measures the impact of crosstalk on circuit performance. Efficient c...