Results 201 to 210 of about 456,346 (255)
Some of the next articles are maybe not open access.
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation, 2009
This paper describes SOC, a program slicer for CSP specifications. In order to increase the precision of program slicing, SOC uses a new data structure called Context-sensitive Synchronized Control Flow Graph (CSCFG). Given a CSP specification, SOC generates its associated CSCFG and produces from it two different kinds of slices; which correspond to ...
Michael Leuschel +4 more
openaire +3 more sources
This paper describes SOC, a program slicer for CSP specifications. In order to increase the precision of program slicing, SOC uses a new data structure called Context-sensitive Synchronized Control Flow Graph (CSCFG). Given a CSP specification, SOC generates its associated CSCFG and produces from it two different kinds of slices; which correspond to ...
Michael Leuschel +4 more
openaire +3 more sources
2018 IEEE Symposium on Visualization for Cyber Security (VizSec), 2018
This work demonstrates an ongoing effort to employ and explain machine learning model predictions for classifying alerts in Security Operations Centers (SOC). Our ultimate goal is to reduce analyst workload by automating the process of decision making for investigating alerts using the machine learning model in cases where we can completely trust the ...
Awalin Sopan +3 more
openaire +1 more source
This work demonstrates an ongoing effort to employ and explain machine learning model predictions for classifying alerts in Security Operations Centers (SOC). Our ultimate goal is to reduce analyst workload by automating the process of decision making for investigating alerts using the machine learning model in cases where we can completely trust the ...
Awalin Sopan +3 more
openaire +1 more source
Physiology, 2000
Ca2+ release from the intracellular Ca2+ stores on stimulation with physiological agonists is often followed, after a brief lag, by Ca2+ entry from the extracellular medium. This Ca2+ entry is due to activation of store-operated Ca2+ channels (SOC) of the plasma membrane, which open when ...
openaire +2 more sources
Ca2+ release from the intracellular Ca2+ stores on stimulation with physiological agonists is often followed, after a brief lag, by Ca2+ entry from the extracellular medium. This Ca2+ entry is due to activation of store-operated Ca2+ channels (SOC) of the plasma membrane, which open when ...
openaire +2 more sources
Gastroenterology and hepatology from bed to bench, 2022
The current study aimed to investigate the effect of valproic acid (VPA) on SOCS-1, SOCS-2, SOCS-3, SOCS-5, SOCS6, and SOCS-7 gene expression and cell growth inhibition in colon carcinoma IS1, IS2, and IS3 cell lines.Cancer is a process induced by the accumulation of epigenetic alterations such as DNA methylation and histone deacetylation.
Sanaei, Masumeh +2 more
openaire +2 more sources
The current study aimed to investigate the effect of valproic acid (VPA) on SOCS-1, SOCS-2, SOCS-3, SOCS-5, SOCS6, and SOCS-7 gene expression and cell growth inhibition in colon carcinoma IS1, IS2, and IS3 cell lines.Cancer is a process induced by the accumulation of epigenetic alterations such as DNA methylation and histone deacetylation.
Sanaei, Masumeh +2 more
openaire +2 more sources
2008
Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been proposed in the literature to separate messages sent to different instances of the same service. This paper presents a process calculus featuring dynamically evolving multiparty sessions to
Roberto Bruni 0001 +3 more
openaire +2 more sources
Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been proposed in the literature to separate messages sent to different instances of the same service. This paper presents a process calculus featuring dynamically evolving multiparty sessions to
Roberto Bruni 0001 +3 more
openaire +2 more sources
Proceedings of the International Symposium on Combinatorial Search, 2021
List of organizers of the Sixth International Symposium on Combinatorial Search.
Malte Helmert, Gabriele Röger
openaire +1 more source
List of organizers of the Sixth International Symposium on Combinatorial Search.
Malte Helmert, Gabriele Röger
openaire +1 more source
9th EUROMICRO Conference on Digital System Design (DSD'06), 2006
Embedded systems, ubiquitous computing and networked architectures are getting more and more important within our society. System parts are often completely implemented as integrated circuits (SoC = System on chip). Consequently, their complexity and heterogeneity have grown dramatically in the recent past.
Markus Damm, Klaus Waldschmidt
openaire +1 more source
Embedded systems, ubiquitous computing and networked architectures are getting more and more important within our society. System parts are often completely implemented as integrated circuits (SoC = System on chip). Consequently, their complexity and heterogeneity have grown dramatically in the recent past.
Markus Damm, Klaus Waldschmidt
openaire +1 more source
Proceedings of the 11th Asian Test Symposium, 2002. (ATS '02)., 2003
In this paper the solution the industry is driving towards for manufacturing test of SoCs is described. The quality of test for every core that is integrated on the chip is very important to the overall quality of the SoC. In this paper a method for evaluating the quality needs of an embedded core relative to the embedded environment is presented.
Rohit Kapur, Thomas W. Williams
openaire +1 more source
In this paper the solution the industry is driving towards for manufacturing test of SoCs is described. The quality of test for every core that is integrated on the chip is very important to the overall quality of the SoC. In this paper a method for evaluating the quality needs of an embedded core relative to the embedded environment is presented.
Rohit Kapur, Thomas W. Williams
openaire +1 more source
SOC Means and SOC Inequalities
2019In this chapter, we present some other types of applications of the aforementioned SOC-functions, SOC-convexity, and SOC-monotonicity. These include so-called SOC means, SOC weighted means, and a few SOC trace versions of Young, Holder, Minkowski inequalities, and Powers–Stormer’s inequality. We believe that these results will be helpful in convergence
openaire +1 more source
Innovations in Systems and Software Engineering, 2009
We employ the principles of model-driven engineering to assist the design of system-on-chip (SoC) architectures. As a concrete example, we look at the MICAS architecture, for which we propose a graphical specification language, defined via metamodeling techniques, that models the architecture at different abstraction levels.
Dragos Truscan +5 more
openaire +1 more source
We employ the principles of model-driven engineering to assist the design of system-on-chip (SoC) architectures. As a concrete example, we look at the MICAS architecture, for which we propose a graphical specification language, defined via metamodeling techniques, that models the architecture at different abstraction levels.
Dragos Truscan +5 more
openaire +1 more source