Sciweavers

2523 search results - page 207 / 505
» Correct Development of Embedded Systems
Sort
View
ECRTS
2005
IEEE
15 years 8 months ago
Applying Static WCET Analysis to Automotive Communication Software
The number of embedded computers used in modern cars have increased dramatically during the last years, as they provide increased functionality to a reduced cost compared to previ...
Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, ...
RTAS
2010
IEEE
15 years 1 months ago
Approximate Bandwidth Allocation for Fixed-Priority-Scheduled Periodic Resources
Recent research in compositional real-time systems has focused on determination of a component’s real-time interface parameters. An important objective in interface-parameter de...
Farhana Dewan, Nathan Fisher
HPCA
2005
IEEE
16 years 3 months ago
Improving Multiple-CMP Systems Using Token Coherence
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
Michael R. Marty, Jesse D. Bingham, Mark D. Hill, ...
HASE
2007
IEEE
15 years 7 months ago
Model Validation using Automatically Generated Requirements-Based Tests
In current model-based development practice, validation that we are building a correct model is achieved by manually deriving requirements-based test cases for model testing. Mode...
Ajitha Rajan, Michael W. Whalen, Mats Per Erik Hei...
102
Voted
COLING
1990
15 years 4 months ago
An Interactive Japanese Parser for Machine Translation
fin this paper, we describe a working system for interactive Japanese syntactic an',dysis. A human user can intervene during parsing to hell) the system to produce a correct ...
Hiroshi Maruyama