1228 search results - page 60 / 246 » Techniques for Reactive System Design: The Tools in TRADE |
101
click to vote
RTCSA
2007
IEEE
15 years 6 months ago
2007
IEEE
A lot of real-time database (RTDB) research has been done to process transactions in a timely fashion using fresh data reflecting the current real world status. However, most exi...
FPL
2000
Springer
15 years 3 months ago
2000
Springer
This paper reports on a method for extending existing VHDL design and verification software available for the Xilinx Virtex series of FPGAs. It allows the designer to apply standa...
ISMVL
2010
IEEE
15 years 5 months ago
2010
IEEE
—The purpose of secure devices such as smartcards is to protect secret information against software and hardware attacks. Implementation of the appropriate protection techniques ...
100
click to vote
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
This paper addresses issues involved when an architect explore alternative designs including non-functional requirements; in our approach, non-functional requirements are expresse...
101
click to vote
ESAW
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we present analysis and calibration techniques that exploit knowledge about a multi agent society in order to calibrate the system parameters of a corresponding socie...