4074 search results - page 361 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
163
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...
191
click to vote
WABI
2005
Springer
16 years 7 days ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
221
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
119
click to vote
ISCAS
2006
IEEE
16 years 23 days ago
2006
IEEE
— This work presents bidirectional transceiver for on-chip long wires. The current signals are transmitted bidirectionally on the interconnection to double the data rate. The vol...
195
click to vote
ROBOCUP
2007
Springer
16 years 26 days ago
2007
Springer
Reinforcement learning is a paradigm under which an agent seeks to improve its policy by making learning updates based on the experiences it gathers through interaction with the en...