2652 search results - page 222 / 531 » Path Differentials and Applications |
184
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
Dynamic, distributed, real-time systems control an environment that varies widely without any time-invariant statistical or deterministic characteristic, are spread across multiple...
159
click to vote
JTRES
2010
ACM
15 years 6 months ago
2010
ACM
With traditional testing, the test case has no control over non-deterministic scheduling decisions, and thus errors dependent on scheduling are only found by pure chance. Java Pat...
165
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...
156
click to vote
ICCD
2002
IEEE
16 years 3 months ago
2002
IEEE
A variety of factors is making it increasingly difficult and expensive to design and manufacture traditional Application Specific Integrated Circuits (ASICs). This has started a s...
172
click to vote
PERCOM
2008
ACM
16 years 5 months ago
2008
ACM
One of the most evident characteristics of an ad hoc ubiquitous computing environment is the dynamism of connections. Due to the mobility of nodes, paths between communicating pee...