11328 search results - page 183 / 2266 » Timed Branching Processes |
127
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
Classical methods for solving numerical CSPs are based on a branch and prune algorithm, a dichotomic enumeration process interleaved with a consistency filtering algorithm. In man...
148
Voted
CSFW
2012
IEEE
13 years 6 months ago
2012
IEEE
—Formal methods have proved their usefulness for analysing the security of protocols. In this setting, privacy-type security properties (e.g. vote-privacy, anonymity, unlinkabili...
126
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...
124
Voted
DATE
2004
IEEE
2004
IEEE
Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements
15 years 7 months ago
We show how to automatically verify that complex XScale-like pipelined machine models satisfy the same safety and liveness properties as their corresponding instruction set archit...
125
Voted
JILP
2000
15 years 3 months ago
2000
Register file access time represents one of the critical delays of current microprocessors, and it is expected to become more critical as future processors increase the instructio...