3828 search results - page 727 / 766 » Proof-Based System Engineering Using a Virtual System Model |
132
Voted
SC
2009
ACM
15 years 9 months ago
2009
ACM
One of the main advantages of using a scientific workflow management system (SWfMS) to orchestrate data flows among scientific activities is to control and register the whole work...
112
Voted
EMSOFT
2007
Springer
15 years 8 months ago
2007
Springer
Most recent embedded systems use caches to improve their average performance. Current timing analyses are able to compute safe timing guarantees for these systems, if tasks are ru...
129
click to vote
SAFECOMP
2005
Springer
15 years 7 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
118
Voted
SIGGRAPH
1993
ACM
15 years 6 months ago
1993
ACM
This paper presents a method for designing the illumination in an environment using optimization techniques applied to a radiosity based image synthesis system. An optimization of...
117
Voted
GLOBECOM
2010
IEEE
15 years 5 days ago
2010
IEEE
BitTorrent is today's most influential peer-to-peer system. Currently BitTorrent has two very different operating models: (1) public trackers, and (2) private trackers (also k...