254 search results - page 27 / 51 » A Demand-Driven Algorithm for Generating Minimal Models |
SAINT
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents HotZone, an algorithm to place replicas in a wide-area network such that the client-toreplica latency is minimized. Similar to the previously proposed HotSpot ...
DEDS
2008
13 years 7 months ago
2008
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
ENTCS
2007
13 years 7 months ago
2007
Software model checkers are typically language-specific, require substantial development efforts, and are hard to reuse for other languages. Adding partial order reduction (POR)...
CGO
2003
IEEE
14 years 1 months ago
2003
IEEE
Many processor architectures provide a set of addressing modes in their address generation units. For example DSPs (digital signal processors) have powerful addressing modes for e...
ITRE
2005
IEEE
14 years 1 months ago
2005
IEEE
A Bayesian network model is a popular technique for data mining due to its intuitive interpretation. This paper presents a semantic genetic algorithm (SGA) to learn a complete qual...