487 search results - page 25 / 98 » Scoping Constructs for Software Generators |
128
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
An aggregate signature scheme is a digital signature scheme where anyone given n signatures on n messages from n users can aggregate all these signatures into a single short signa...
120
Voted
KBSE
2010
IEEE
15 years 10 days ago
2010
IEEE
Software constantly undergoes changes throughout its life cycle, and thereby it evolves. As changes are introduced into a code base, we need to make sure that the effect of the ch...
124
click to vote
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Designing component-based application that meets performance requirements remains a challenging problem, and usually requires a prototype to be constructed to benchmark performanc...
122
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
246
click to vote
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...