6171 search results - page 449 / 1235 » The FrameNet Data and Software |
181
click to vote
DRM
2007
Springer
16 years 29 days ago
2007
Springer
The goal of obfuscation is to transform a program, without affecting its functionality, such that some secret information within the program can be hidden for as long as possible...
231
Voted
SBCCI
2009
ACM
16 years 1 months ago
2009
ACM
We present an application-driven customization methodology for energy-efficient inter-core communication in embedded multiprocessors. The methodology leverages configurable cach...
191
click to vote
VSTTE
2005
Springer
16 years 8 days ago
2005
Springer
The validation of modern software systems on mobile devices needs to incorporate both functional and non-functional requirements. While some progress has been made in validating pe...
175
click to vote
SEFM
2006
IEEE
16 years 24 days ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
150
click to vote
ISSTA
2006
ACM
16 years 23 days ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...