2501 search results - page 127 / 501 » Logics with Rank Operators |
EUSFLAT
2009
14 years 11 months ago
2009
The Spanish National Agency for Quality Assessment and Accreditation as part of its evaluation activities has established a procedure for evaluating both teaching and institutions,...
IJAC
2006
15 years 1 months ago
2006
Abstract. We study free profinite subgroups of free profinite semigroups of the same rank using, as main tools, iterated implicit operators, subword complexity and the associated e...
135
click to vote
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
112
click to vote
SAC
2003
ACM
15 years 6 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
IPPS
1998
IEEE
15 years 5 months ago
1998
IEEE
Parallel processing networks, even full crossbars, that only implement point-to-point and multicast message passing are inefficient for collective communications because multiple ...