1158 search results - page 62 / 232 » Software is discrete mathematics |
176
click to vote
COMPSAC
2010
IEEE
15 years 3 months ago
2010
IEEE
In the long-term evolution of a Software Product Line (SPL), how to ensure the alignment between the reference and application architectures is a critical problem. Existing ad-hoc...
146
click to vote
DATE
2008
IEEE
16 years 4 days ago
2008
IEEE
This paper presents a method of dynamic voltage scaling (DVS) that tackles both switching and leakage power with combined Vdd/Vbs scaling and gives minimum average energy consumpt...
157
click to vote
AISC
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. MKM has been defined as the quest for technologies to manage mathematical knowledge. MKM “in the small” is well-studied, so the real problem is to scale up to large,...
132
click to vote
WWW
2005
ACM
16 years 6 months ago
2005
ACM
This paper shows how a corpus of instant messages can be employed to detect de facto communities of practice automatically. A novel algorithm based on the concept of Edge Stress F...
148
click to vote
MSWIM
2005
ACM
15 years 11 months ago
2005
ACM
This paper addresses a novel linear programming based approach to optimize the choice of the encoding parameters for the MPEG-4 AAC audio codec. Current techniques solve the encod...