713 search results - page 97 / 143 » Syntax and Semantics of Babel-17 |
143
Voted
TACAS
2012
Springer
13 years 8 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
131
Voted
SIGMOD
2004
ACM
16 years 28 days ago
2004
ACM
Despite the widespread and growing use of asynchronous copies to improve scalability, performance and availability, this practice still lacks a firm semantic foundation. Applicati...
109
click to vote
ICFP
2001
ACM
16 years 22 days ago
2001
ACM
With few exceptions, macros have traditionally been viewed as operations on syntax trees or even on plain strings. This view makes macros seem ad hoc, and is at odds with two desi...
135
Voted
SP
2009
IEEE
15 years 7 months ago
2009
IEEE
Malware authors have recently begun using emulation technology to obfuscate their code. They convert native malware binaries into bytecode programs written in a randomly generated...
150
Voted
IRI
2009
IEEE
15 years 7 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...