8627 search results - page 1671 / 1726 » Software Engineering Using RATionale |
112
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
111
Voted
ASPLOS
2008
ACM
15 years 2 months ago
2008
ACM
The constant race for faster and more powerful CPUs is drawing to a close. No longer is it feasible to significantly increase the speed of the CPU without paying a crushing penalt...
128
click to vote
CF
2006
ACM
15 years 2 months ago
2006
ACM
The growing speed gap between memory and processor makes an efficient use of the cache ever more important to reach high performance. One of the most important ways to improve cac...
99
Voted
FUNGAMES
2010
15 years 1 months ago
2010
Emotional expression when performing music (singing or playing musical instruments) requires skill, but such a skill is generally difficult to learn. Computer systems that can mak...
148
Voted
TSE
2011
14 years 7 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...