Results 281 to 290 of about 4,294,743 (304)
Some of the next articles are maybe not open access.
ACM SIGARCH Computer Architecture News, 2008
With the introduction of highly concurrent systems in standard desktop computers, ensuring correctness of industrial-size concurrent programs is becoming increasingly important. One of the most important standards in use for developing multi-threaded programs is the POSIX Threads standard, commonly known as PThreads.
Parosh Aziz Abdulla +2 more
openaire +1 more source
With the introduction of highly concurrent systems in standard desktop computers, ensuring correctness of industrial-size concurrent programs is becoming increasingly important. One of the most important standards in use for developing multi-threaded programs is the POSIX Threads standard, commonly known as PThreads.
Parosh Aziz Abdulla +2 more
openaire +1 more source
Free fisher information and amalgamated freeness
Applied Mathematics and Mechanics, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Meng, Bin, Guo, Maozheng, Cao, Xiaohong
openaire +2 more sources
Inductive and Recursive Freeness of Localizations of Multiarrangements
, 2015The class of free multiarrangements is known to be closed under taking localizations. We extend this result to the stronger notions of inductive and recursive freeness.
Torsten Hoge +2 more
semanticscholar +1 more source
Minimal freeness and commutativity
Algebra Universalis, 1992An algebra \(A\) is called minimally free if it contains a subset \(X\), called a pseudobasis, such that every map \(X\to A\) extends uniquely to an endomorphism of \(A\). The author considers the interactions of minimal freeness with various notions of commutativity. The results are applied to Abelian groups and idempotent semigroups.
openaire +2 more sources
ON THE FREENESS OF 3-ARRANGEMENTS
Bulletin of the London Mathematical Society, 2005The author considers the freeness of hyperplane arrangements in a 3-dimensional space. A hyperplane arrangement \(A\) in an \(l\)-dimensional linear space is free, with exponents \(\exp(A) = (1=d_1, d_2, \ldots, d_l)\), if the associated module of all logarithmic vector fields is free with basis \(\delta_1, \ldots, \delta_l\), such that \(\deg \delta_i
openaire +1 more source
Envy-freeness and relaxed stability: hardness and approximation algorithms
Journal of combinatorial optimization, 2020P. Krishnaa +3 more
semanticscholar +1 more source
Residuation, Structural Rules and Context Freeness
Journal of Logic, Language and Information, 2004zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Continuity, freeness, and filtrations
Journal of Applied Non-Classical Logics, 2010The role played by continuous morphisms in propositional modal logic is investigated: it turns out that they are strictly related to filtrations and to suitable variants of the notion of a free alg...
openaire +1 more source
A critique of game-based definitions of receipt-freeness for voting
IACR Cryptology ePrint Archive, 2019Ashley Fraser +2 more
semanticscholar +1 more source