373 search results - page 27 / 75 » Empowering Software Development Environments by Automatic So... |
139
click to vote
SIES
2007
IEEE
15 years 7 months ago
2007
IEEE
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
128
click to vote
CLEIEJ
2007
15 years 1 months ago
2007
: ‘Human factor’ is one of the most relevant and crucial aspects of software development projects management. Aiming at the performance improvement for software processes in or...
114
click to vote
ARC
2010
Springer
15 years 1 months ago
2010
Springer
Using FPGAs to accelerate High Performance Computing (HPC) applications is attractive, but has a huge associated cost: the time spent, not for developing efficient FPGA code but fo...
113
click to vote
WOSP
2010
ACM
15 years 5 months ago
2010
ACM
The architecture of a software system has a significant impact on its quality of service (QoS) as measured by several performance metrics such as execution time, availability, th...
105
click to vote
ISPASS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Developing CPU scheduling algorithms and understanding their impact in practice can be difficult and time consuming due to the need to modify and test operating system ...