Sciweavers

3088 search results - page 199 / 618
» A Teleradiology System Design Case
Sort
View
I3E
2001
196views Business» more  I3E 2001»
15 years 8 months ago
Security Modelling for Electronic Commerce: The Common Electronic Purse Specifications
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
Jan Jürjens, Guido Wimmel
SCS
2003
15 years 8 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
Rob Weaver, Jane Fenn, Tim Kelly
165
Voted
CASES
2000
ACM
15 years 11 months ago
A first-step towards an architecture tuning methodology for low power
We describe an automated environment to assist a system-on-achip designer to tune a microprocessor core to a particular application program that will run on the microprocessor, an...
Greg Stitt, Frank Vahid, Tony Givargis, Roman L. L...
ISCAS
1994
IEEE
111views Hardware» more  ISCAS 1994»
15 years 10 months ago
Linear Phase Cosine Modulated Maximally Decimated Filter Banks with Perfect Reconstruction
In this paper a new type of maximally decimated FIR cosine modulated filter banks is proposed. Each analysis and synthesis filter in this filter bank has linear phase. We can desig...
Yuan-Pei Lin, P. P. Vaidyanathan
FPL
2007
Springer
137views Hardware» more  FPL 2007»
16 years 24 days ago
Multi-processor System-level Synthesis for Multiple Applications on Platform FPGA
Multiprocessor systems-on-chip (MPSoC) are being developed in increasing numbers to support the high number of applications running on modern embedded systems. Designing and progr...
Akash Kumar, Shakith Fernando, Yajun Ha, Bart Mesm...