Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | SEDICI | - |
| dc.contributor | Echagüe, Juan Vicente | - |
| dc.creator | Ramos, Leticia | - |
| dc.date | 1996 | - |
| dc.date.accessioned | 2019-06-19T20:04:17Z | - |
| dc.date.available | 2019-06-19T20:04:17Z | - |
| dc.date.issued | 1996 | - |
| dc.identifier | http://sedici.unlp.edu.ar/handle/10915/2142 | - |
| dc.identifier | http://hdl.handle.net/10915/2142 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/324413 | - |
| dc.description | En este trabajo se desarrolla un estudio sobre prioridades en sistemas de verdadero paralelismo mediante la introducción de operadores de prioridades en sistemas de transición que admiten la representación de ST estados. El estudio introduce dos tipos diferentes de prioridad. Uno basado en el orden entre lass acciones y otro basado en el orden entre subprocesos. Para el primer caso se dan cuatro definiciones alternativas del operador de prioridad. Se muestra que preservan ciertas propiedades importantes como que toda acción que comienza puede finalizar, y en particular que una de ellas es la extensión natural del operador de prioridades definido en modelos de interleaving. Para la prioridad basada en el orden entre subprocesos, se definen dos tipos de operadores de prioridad con objetivos diferentes. Uno permite que un subproceso que quiere comunicarse tenga prioridad sobre los demás subprocesos si la comunicación es posible. Este operador es definido sobre dos modelos: uno de verdadero paralelismo y otro de interleaving ya que su función es importante en ambos casos. El segundo operador permite que un subproceso tenga prioridad cuando no quiere comunicarse. Este es definido sólo en un modelo de verdadero paralelismo, ya que en los modelos de interleaving no resulta de interés y puede ser representado su comportamiento mediante la combinación de otros operadores. En todos los casos se muestra que los operadores definidos son compatibles con la bisimulación. | - |
| dc.description | Tesis digitalizada en SEDICI gracias a la colaboración de la Biblioteca de la Facultad de Informática. | - |
| dc.description | Facultad de Ciencias Exactas | - |
| dc.format | application/pdf | - |
| dc.format | 66 p. | - |
| dc.language | spa | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.rights | http://creativecommons.org/licenses/by/4.0/ | - |
| dc.rights | Creative Commons Attribution 4.0 International (CC BY 4.0) | - |
| dc.source | reponame:SEDICI (UNLP) | - |
| dc.source | instname:Universidad Nacional de La Plata | - |
| dc.source | instacron:UNLP | - |
| dc.source.uri | http://sedici.unlp.edu.ar/handle/10915/2142 | - |
| dc.source.uri | http://hdl.handle.net/10915/2142 | - |
| dc.subject | Ciencias Informáticas | - |
| dc.subject | simulación y modelos | - |
| dc.subject | Parallel processors | - |
| dc.title | Prioridades en un modelo de verdadero paralelismo | - |
| dc.type | info:eu-repo/semantics/bachelorThesis | - |
| dc.type | info:eu-repo/semantics/acceptedVersion | - |
| dc.type | Tesis de grado | - |
| dc.type | info:ar-repo/semantics/tesisDeGrado | - |
| Aparece en las colecciones: | Universidad Nacional de la Plata. SEDICI | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.