4015 search results - page 493 / 803 » The Future of Software Performance Engineering |
185
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
More and more important data is accumulated inside social networks. Limiting the flow of private information across a social network is very important, and most social networks pr...
266
Voted
TCAD
2010
15 years 1 months ago
2010
As contemporary VLSI designs grow in complexity, design debugging has rapidly established itself as one of the largest bottlenecks in the design cycle today. Automated debug soluti...
155
click to vote
TASLP
2010
15 years 1 months ago
2010
This paper examines the performance of several source separation systems on a speech separation task for which human intelligibility has previously been measured. For anechoic mixt...
206
Voted
EMSOFT
2005
Springer
16 years 9 days ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional speciļ¬cations onto the target...
243
click to vote
APN
2010
Springer
15 years 11 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAā...