A hybrid strategy for map** multiple throughput-constrained applications on MPSoCs

AK Singh, A Kumar, T Srikanthan - Proceedings of the 14th international …, 2011 - dl.acm.org
Modern embedded systems are based on Multiprocessor-Systems-on-Chip (MPSoCs) to
meet the strict timing deadlines of multiple applications. MPSoC resources must be utilized …

A fast simulation approach for tandem queueing systems

L Chen, CL Chen - 1990 Winter Simulation Conference Proceedings, 1990 - computer.org
This paper proposes a business process testing scenario generation based on test cases
composition. Just like path oriented testing technique in structure testing area, this testing …

A business process testing sequence generation approach based on test cases composition

L Cai - 2011 First ACIS/JNU International Conference on …, 2011 - ieeexplore.ieee.org
This paper proposes a business process testing scenario generation based on test cases
composition. Just like path oriented testing technique in structure testing area, this testing …

Animation-based validation of reactive software systems using behavioural models

ÓR Ribeiro - 2009 - repositorium.sdum.uminho.pt
During the development of software systems, validation is a crucial activity to guarantee that
the software system ful lls the users' needs and expectations. A key issue to have a …

[PDF][PDF] Towards Complementing User Stories

C Kop - 2011 - personales.upv.es
User stories are well established in agile software development processes. However, user
stories should not be seen as detailed requirements specifications. In agile processes it is …

Can Queries Help to Validate Database Design?

C Kop - 2010 Second International Conference on Advances in …, 2010 - ieeexplore.ieee.org
The design of a conceptual database schema is a critical task. The more methods a
conceptual database designer has in order to communicate with the end user, the better it is …

[การอ้างอิง][C] DISEÑO DE SUPERVISORIO INTELIGENTE DE PLANTA DE BLOQUES DE CONSTRUCCIÓN

I BENITEZ-PINA, R SICCHAR-VILCHEZ…

[การอ้างอิง][C] Las Redes de Petri como herramienta formal en el diseño de sistemas de automatización integrada

M Sanz Pérez - 2013 - Departamento de Automática …