643 search results - page 120 / 129 » Semantic Determinism and Functional Logic Program Properties |
125
click to vote
JSC
2010
14 years 4 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
90
Voted
MIDDLEWARE
2009
Springer
15 years 4 months ago
2009
Springer
The emergence of networked devices in the home has made it possible to develop applications that control a variety of household functions. However, current devices communicate via ...
104
click to vote
MTV
2006
IEEE
15 years 3 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
110
Voted
PASTE
2010
ACM
14 years 11 months ago
2010
ACM
Many analysis techniques have been proposed to determine when a potentially null value may be dereferenced. But we have observed in practice that not every potential null derefere...
HICSS
2003
IEEE
15 years 2 months ago
2003
IEEE
Robust and resilient interconnected structures rely on decision procedures, both under uncertainty and multicriteria. In decision under uncertainty, we aim at finding a scoring p...