Sciweavers

826 search results - page 82 / 166
» An Architecture for Multi-Agent COTS Software Integration Sy...
Sort
View
ISCAPDCS
2003
13 years 9 months ago
On the Scalable Computation of Large Sets of Integrals
We consider efficient strategies for the parallel and distributed computation of large sets of multivariate integrals. These arise in many applications such as computational chem...
Elise de Doncker, Ajay K. Gupta, Laurentiu Cucos
COMPSAC
1996
IEEE
14 years 9 days ago
A Logic Database System with Extended Functionality
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee
DAC
2006
ACM
14 years 2 months ago
SystemC transaction level models and RTL verification
This paper describes how systems companies are adopting SystemC transaction level models for system on chip design and verification, and how these transaction level models are bei...
Stuart Swan
MICRO
2008
IEEE
124views Hardware» more  MICRO 2008»
14 years 2 months ago
SHARK: Architectural support for autonomic protection against stealth by rootkit exploits
Rootkits have become a growing concern in cyber-security. Typically, they exploit kernel vulnerabilities to gain root privileges of a system and conceal malware’s activities fro...
Vikas R. Vasisht, Hsien-Hsin S. Lee
MODELLIERUNG
2008
13 years 9 months ago
Integrating Template-Based Code Generation into Graphical Model Transformation
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
Martin Girschick