1252 search results - page 190 / 251 » Complex Systems and Agent-Oriented Software Engineering |
ICRE
1996
IEEE
15 years 4 months ago
1996
IEEE
This paper presents a method that can be used for the elicitation and speci cation of requirements and high-level design. It supports stakeholder-based modeling, rapid feasibility...
146
Voted
ECLIPSE
2007
ACM
15 years 4 months ago
2007
ACM
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
110
Voted
CODES
2006
IEEE
15 years 4 months ago
2006
IEEE
To meet the conflicting goals of high-performance low-cost embedded systems, critical application loop nests are commonly executed on specialized hardware accelerators. These loop...
114
Voted
EMSOFT
2010
Springer
14 years 10 months ago
2010
Springer
We propose the first polynomial-time code selection algorithm for minimising the worst-case execution time of a nonnested loop executed on a fully pipelined processor that uses sc...
91
Voted
VSTTE
2010
Springer
14 years 10 months ago
2010
Springer
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing s...