322 search results - page 52 / 65 » An Example of an Automatic Differentiation-Based Modelling S... |
ASM
2008
ASM
14 years 12 months ago
2008
ASM
A Virtual Machine (VM) is a program running on a conventional microprocessor that emulates the binary instruction set, registers, and memory space of an idealized computing machine...
108
click to vote
CORR
2007
Springer
14 years 10 months ago
2007
Springer
This paper presents a methodology to efficiently explore the design space of communication adapters. In most digital signal processing (DSP) applications, the overall performance ...
ASM
2004
ASM
15 years 3 months ago
2004
ASM
Consider a multiple-agent transition system such that, for some basic types T1, . . . , Tn, the state of any agent can be represented as an element of the Cartesian product T1 ×·...
ACSAC
2004
IEEE
15 years 1 months ago
2004
IEEE
Worm detection systems have traditionally focused on global strategies. In the absence of a global worm detection system, we examine the effectiveness of local worm detection and ...
ACSC
2004
IEEE
15 years 1 months ago
2004
IEEE
An approach to system verification is described in which design artefacts produced during forward engineering are automatically compared to corresponding artefacts produced during...