نتایج جستجو برای: kernel trapper gadget

تعداد نتایج: 51601  

2001
Volker Springel Naoki Yoshida Simon D. M. White

We describe the newly written code GADGET which is suitable both for cosmological simulations of structure formation and for the simulation of interacting galaxies. GADGET evolves self-gravitating collisionless fluids with the traditional N-body approach, and a collisional gas by smoothed particle hydrodynamics. Along with the serial version of the code, we discuss a parallel version that has b...

The idea of the Internet of Things (IoT) has turned out to be increasingly prominent in the cuttingedge period of innovation than at any other time. From little family unit gadgets to extensive modernmachines, the vision of IoT has made it conceivable to interface the gadgets with the physical worldaround them. This expanding prominence has likewise made the IoT gadgets and ap...

Journal: :CoRR 2016
Tim Wylie

In this paper we present an interesting gadget based on the chain pair simplification problem under the discrete Fréchet distance (CPS-3F), which allows the construction of arbitrarily long paths that must be chosen in the simplification of the two curves. A pseudopolynomial time reduction from set partition is given as an example. For clarification, CPS-3F was recently shown to be in P, and th...

2015
Wilson Lian Hovav Shacham Stefan Savage

In the face of widespread DEP and ASLR deployment, JIT spraying brings together the best of code injection and code reuse attacks to defeat both defenses. However, to date, JIT spraying has been an x86-only attack thanks to its reliance on variable-length, unaligned instructions. In this paper, we finally extend JIT spraying to a RISC architecture by introducing a novel technique called gadget ...

2011
Boyang Li Mark O. Riedl

Most computational story generation systems lack the ability to generate new types of imaginary objects that play functional roles in stories, such as lightsabers in Star Wars. We present an algorithm that generates such imaginary objects, which we call gadgets, in order to extend the ontological expressivity of existing, planning-based story generation systems. The behavior of a gadget is repr...

Journal: :Computer Physics Communications 2016
K. A. S. Croker

We discuss an extension of the massively parallel cosmological simulation code gadget-2, which now enables investigation of multiple and distinct gravitational force laws, provided they are dominated by a constant scaling of the Newtonian force. In addition to simplifying investigations of a universally modified force law, the ngravs extension provides a foundation for state-of-the-art collisio...

Journal: :Electronic Colloquium on Computational Complexity (ECCC) 2017
Xiaodi Wu Penghui Yao Henry S. Yuen

In this note we show that the Raz-McKenzie simulation algorithm which lifts deterministic query lower bounds to deterministic communication lower bounds can be implemented for functions f composed with the Inner Product gadget 1ip(x, y) = ∑ i xiyi mod 2 of logarithmic size. In other words, given a function f : {0, 1}n → {0, 1} with deterministic query complexity D( f ), we show that the determi...

2011
Manuel Caeiro Martín Llamas Nistal Juan González-Tato Javier Álvarez-Osuna

The idea of this project is to translate the principles of Web 2.0 to e-learning, enabling social participation and dynamic data exchange between users. We are working in the development of an i-Google Gadget, called Edu-GAL (Educational-Gadget Activity List), with e-learning services and its integration with other existing tools and gadgets on the i-Google platform. Edu-GAL will take advantage...

2000
Liping Zhao Elizabeth A. Kendall

Components are collections of co-operating entities [18]. New abstractions and techniques are required for component engineering so that proper emphasis can be placed on interaction, co-operation, and collaboration. In this paper, we present an approach to component design that is based on role modelling. We propose role modelling for component design because of its excellent support for many o...

1997
Christoph Michael Gary McGraw

We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully automatic and supports all C/C++ language constructs. This allows us to generate tests for larger programs than those previously reported in the literature. We address a number of issues that are encountered when auto...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید