7557 search results - page 693 / 1512 » Modeling Timed Concurrent Systems |
239
click to vote
DAC
2008
ACM
16 years 8 months ago
2008
ACM
Embedded systems with heterogeneous processors extend the energy/timing trade-off flexibility and provide the opportunity to fine tune resource utilization for particular applicat...
190
click to vote
ICCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Humanity’s understanding of the Earth’s weather and climate depends critically on accurate forecasting and state-estimation technology. It is not clear how to build a...
232
click to vote
SWQD
2012
14 years 2 months ago
2012
This manuscript proposes a guiding methodology to obtain a software system that supports the execution of the business processes existing within an organization. The methodology pr...
205
click to vote
FOCI
2007
IEEE
16 years 1 months ago
2007
IEEE
Recent progress in genomics and proteomics makes it possible to understand the biological networks at the systems level. We aim to develop computational models of learning and memo...
163
click to vote
AOSD
2005
ACM
16 years 25 days ago
2005
ACM
Even when working on a well-modularized software system, programmers tend to spend more time navigating the code than working with it. This phenomenon arises because it is impossi...