Sciweavers

2695 search results - page 341 / 539
» A Visual Approach to Validating System Level Designs
Sort
View
139
Voted
EMSOFT
2006
Springer
15 years 7 months ago
Modeling a system controller for timing analysis
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
Stephan Thesing
150
Voted
CMS
2006
175views Communications» more  CMS 2006»
15 years 5 months ago
Attack Graph Based Evaluation of Network Security
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
Igor V. Kotenko, Mikhail Stepashkin
125
Voted
WSC
2007
15 years 6 months ago
Simulation metamodels for modeling output distribution parameters
Metamodels are functions with calibrated parameters, used actions and simplifications of the simulation model. A metamodel exposes the system’s input-output relationship and ca...
Isabel R. Santos, Pedro R. Santos
110
Voted
ICPR
2004
IEEE
16 years 4 months ago
Prioritized Region of Interest Coding in JPEG2000
A method is proposed to encode multiple regions of interest in the JPEG2000 image-coding framework. The algorithm is based on the rearrangement of packets in the code-stream to pl...
Victor Sanchez, Anup Basu, Mrinal K. Mandal
111
Voted
ICAD
2004
15 years 5 months ago
Decoupled Loudness and Range Control for a Source Located Within a Small Virtual Acoustic Environment
For headphone-based spatial auditory display systems, binaural synthesis of sound localization cues typically use source reproduction level as the primary control for source range...
William L. Martens