2278 search results - page 272 / 456 » Specification Techniques for Automatic Performance Analysis ... |
132
click to vote
OTM
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
150
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
Although scientific data analysis increasingly requires accessandmanipulation of large quantitiesof data,current databasetechnology fails to meet the needsof scientific processing...
163
click to vote
CI
2000
15 years 6 months ago
2000
This paper discusses a fundamental problem in natural language generation: how to organize the content of a text in a coherent and natural way. In this research, we set out to det...
262
Voted
ESORICS
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Trigger-based code (malicious in many cases, but not necessarily) only executes when specific inputs are received. Symbolic execution has been one of the most powerful t...
179
click to vote
IPPS
2006
IEEE
16 years 3 days ago
2006
IEEE
Design space exploration of multiprocessors on chip requires both automatic performance analysis techniques and efficient multiprocessors configuration performance evaluation. Pr...