2095 search results - page 8 / 419 » Describing Groups |
FCS
2006
13 years 9 months ago
2006
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...
DM
2010
13 years 8 months ago
2010
When the standard representation of a crystallographic Coxeter group G (with string diagram) is reduced modulo the integer d 2, one obtains a finite group Gd often the automorphi...
CSAC
2004
13 years 9 months ago
2004
CoMex (Coordination Mechanism) is a system to coordinate the execution of tasks accessing coordinable entities. It uses coordination rules to describe the temporal and logical orde...
WSC
1997
13 years 9 months ago
1997
This article describes how a manufacturing system with working people can be modeled and simulated, wherein the focus is on the organizational processes of the people itself. Expl...
IPPS
1998
IEEE
14 years 21 days ago
1998
IEEE
Abstract. We describe a group membership protocol, called the timewheel group membership protocol, for a timed asynchronous distributed system. This protocol is a part of the timew...