1288 search results - page 130 / 258 » On Analysis of Design Component Contracts: A Case Study |
109
click to vote
ICECCS
2000
IEEE
15 years 6 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
129
click to vote
SIGUCCS
2005
ACM
15 years 7 months ago
2005
ACM
This paper deals with the design of a multi-modal system for pervasive context-aware service provision and humanenvironment interaction in augmented environments by the use of Per...
105
click to vote
INFORMATICALT
2002
15 years 1 months ago
2002
Two examples of open-loop differential games are considered in the paper. Starting with simplified dynamic Duel, further it was developed to differential economic Duel modelling pr...
120
click to vote
CCGRID
2007
IEEE
15 years 8 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
124
click to vote
MICRO
2003
IEEE
15 years 7 months ago
2003
IEEE
With faster CPU clocks and wider pipelines, all relevant microarchitecture components should scale accordingly. There have been many proposals for scaling the issue queue, registe...