Sciweavers

2118 search results - page 54 / 424
» Execution of A Requirement Model in Software Development
Sort
View
ISARCS
2010
240views Hardware» more  ISARCS 2010»
15 years 6 months ago
Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
J. Paul Gibson, Eric Lallet, Jean-Luc Raffy
IPPS
2008
IEEE
15 years 10 months ago
A modeling approach for estimating execution time of long-running scientific applications
In a Grid computing environment, resources are shared among a large number of applications. Brokers and schedulers find matching resources and schedule the execution of the applic...
Seyed Masoud Sadjadi, Shu Shimizu, Javier Figueroa...
DATE
1999
IEEE
172views Hardware» more  DATE 1999»
15 years 8 months ago
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
Olivier Pasquier, Jean Paul Calvez
ICCD
2006
IEEE
103views Hardware» more  ICCD 2006»
16 years 1 months ago
Requirements and Concepts for Transaction Level Assertions
— The latest development of hardware design and ation methodologies shows a trend towards abstraction levels higher than RTL, referred to as transaction level (TL). Transaction l...
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas ...
AVI
2010
15 years 5 months ago
Future development environments for computational scientists
Computational Scientists are both creators and end-users of scientific models. Different aspects to their work target different audiences and generally require different developme...
Andreas Heil, Matthew J. Smith, Alexander Brä...